Bibliographic Details
| Title: |
Formal analysis of MPI-based parallel programs. |
| Authors: |
Gopalakrishnan, Ganesh, Kirby, Robert M., Siegel, Stephen, Thakur, Rajeev, Gropp, William, Lusk, Ewing, De Supinski, Bronis R., Schulz, Martin, Bronevetsky, Greg |
| Source: |
Communications of the ACM. Dec2011, Vol. 54 Issue 12, p82-91. 10p. |
| Subject Terms: |
*MESSAGE passing (Computer science), *PARALLEL processing, *APPLICATION program interfaces, *HIGH performance computing, *DEBUGGING, *PARALLEL programming |
| Abstract: |
The article analyzes parallel computer programs which were developed using the Message Passing Interface (MPI) application programming interface (API). The article examines the importance of MPI in high-performance computing (HPC) and looks at methods of debugging applications. Other topics include dynamic verification, symbolic execution, and static analysis. The author examines the ISP Formal Verification Tool, the Graphical Explorer of Message passaging (GEM) tool, and the Distributed Analyzer of MPI (DAMPI). |
| Database: |
Academic Search Index |
Full Text Finder 
Nájsť tento článok vo Web of Science