( en | de | ru )

 

Disambiguation of "Corbett, James"

Author of the publication

copydeleteadd this publication to your clipboard
ExaWorks: Workflows for Exascale.

, , , , , , , , , , , , , , , and . WORKS, page 50-57. IEEE, (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. You can also use the button next to the name to display some publications already assigned to the person.

Christopher Corbett

Michael James

Audrein James

Katherine James

Rojin James

 

Other publications of authors with the same name

ExaWorks: Workflows for Exascale., , , , , , , , , and 6 other author(s). WORKS, page 50-57. IEEE, (2021)An analytical performance model of generalized hierarchical scheduling., , , , , , , , , and 1 other author(s). Int. J. High Perform. Comput. Appl., 36 (3): 289-306 (2022)ExaWorks: Workflows for Exascale., , , , , , , , , and 5 other author(s). CoRR, (2021)Using Integer Programming to Verify General Safety and Liveness Properties., and . Formal Methods Syst. Des., 6 (1): 97-123 (1995)Benchmarking Finite-State Verifiers., , and . Int. J. Softw. Tools Technol. Transf., 2 (4): 317-320 (2000)Integer Programming in the Analysis of Concurrent Systems., , and . CAV, volume 575 of Lecture Notes in Computer Science, page 92-102. Springer, (1991)A Note on Some Languages in Uniform ACC0., and . Theor. Comput. Sci., 78 (2): 357-362 (1991)Bandera: extracting finite-state models from Java source code., , , , , , and . ICSE, page 439-448. ACM, (2000)Bandera: a source-level interface for model checking Java programs., , , and . ICSE, page 762-765. ACM, (2000)Modeling and Analysis of Real-Time Ada Tasking Programs.. RTSS, page 132-141. IEEE Computer Society, (1994)