Author of the publication

Practical Model-Checking Method for Verifying Correctness of MPI Programs.

, , , , , and . PVM/MPI, volume 4757 of Lecture Notes in Computer Science, page 344-353. Springer, (2007)

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.

 

Other publications of authors with the same name

On the efficacy of GPU-integrated MPI for scientific applications., , , , , , , , , and 2 other author(s). HPDC, page 191-202. ACM, (2013)Runtime Support for Out-of-Core Parallel Programs., and . Input/Output in Parallel and Distributed Computer Systems, Kluwer/Springer, (1996)An implementation and evaluation of the MPI 3.0 one-sided communication interface., , , , , and . Concurr. Comput. Pract. Exp., 28 (17): 4385-4404 (2016)Self-Consistent MPI Performance Guidelines., , and . IEEE Trans. Parallel Distributed Syst., 21 (5): 698-709 (2010)The International Exascale Software Project roadmap., , , , , , , , , and 55 other author(s). Int. J. High Perform. Comput. Appl., 25 (1): 3-60 (2011)Evaluation of Collective I/O Implementations on Parallel Architectures., and . J. Parallel Distributed Comput., 61 (8): 1052-1076 (2001)Optimizing noncontiguous accesses in MPI-IO., , and . Parallel Comput., 28 (1): 83-105 (2002)Experimental Performance Evaluation of the CM-5., , , , , and . J. Parallel Distributed Comput., 19 (3): 192-202 (1993)High-performance scientific data management system., , and . J. Parallel Distributed Comput., 63 (4): 434-447 (2003)Frustrated with MPI+Threads? Try MPIxThreads!, , , , and . CoRR, (2024)