Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API-Reference-Cited by-同舟云学术

Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API

Published:2011-02 Issue:2 Volume:76 Page:65-81
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Li Guodong,Palmer Robert,DeLisi Michael,Gopalakrishnan Ganesh,Kirby Robert M.

Publisher

Elsevier BV

Subject

Software

Reference53 articles.

1. MPI: A Message-Passing Interface Standard Version 2.1, June 23, 2008, with revisions that appeared since then. Up to date specifications are at http://www.mpi-forum.org.

2. W.D. Gropp, Learning from the success of MPI, in: 8th International Conference High Performance Computing, HiPC 2001, 2001, pp. 81–92.

3. A. Geist, MPI must evolve or die, invited Talk Given at EuroPVM/MPI 2008, 2008.

4. The message passing interface forum, MPI: a Message-Passing Interface Standard, http://www.mpi-forum.org/docs/, 1995.

5. A high-performance, portable implementation of the MPI message passing interface standard;Gropp;Parallel Computing,1996

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Security requirements specification by formal methods: a research metadata analysis;Multimedia Tools and Applications;2023-10-13

2. A review on security requirements specification by formal methods;Concurrency and Computation: Practice and Experience;2021-11-17

3. Exposition, clarification, and expansion of MPI semantic terms and conventions;Proceedings of the 26th European MPI Users' Group Meeting on - EuroMPI '19;2019

4. Merged Requests for Better Performance and Productivity in Multithreaded OpenSHMEM;Lecture Notes in Computer Science;2018

5. Modeling and analysis of remote memory access programming;ACM SIGPLAN Notices;2016-12-05