( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ExaWorks: Workflows for Exascale.

, , , , , , , , , , , , , , и . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Christopher Corbett

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

 

Другие публикации лиц с тем же именем

ExaWorks: Workflows for Exascale., , , , , , , , , и 6 other автор(ы). WORKS, стр. 50-57. IEEE, (2021)An analytical performance model of generalized hierarchical scheduling., , , , , , , , , и 1 other автор(ы). Int. J. High Perform. Comput. Appl., 36 (3): 289-306 (2022)ExaWorks: Workflows for Exascale., , , , , , , , , и 5 other автор(ы). CoRR, (2021)Integer Programming in the Analysis of Concurrent Systems., , и . CAV, том 575 из Lecture Notes in Computer Science, стр. 92-102. Springer, (1991)A Note on Some Languages in Uniform ACC0., и . Theor. Comput. Sci., 78 (2): 357-362 (1991)Using Integer Programming to Verify General Safety and Liveness Properties., и . Formal Methods Syst. Des., 6 (1): 97-123 (1995)Benchmarking Finite-State Verifiers., , и . Int. J. Softw. Tools Technol. Transf., 2 (4): 317-320 (2000)Bandera: extracting finite-state models from Java source code., , , , , , и . ICSE, стр. 439-448. ACM, (2000)Bandera: a source-level interface for model checking Java programs., , , и . ICSE, стр. 762-765. ACM, (2000)Property specification patterns for finite-state verification., , и . FMSP, стр. 7-15. ACM, (1998)