Formal analysis of MPI-based parallel programs.

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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 54; no. 12; pp. 82 - 92
Autores principales:	Gopalakrishnan, Ganesh, Kirby, Robert M., Siegel, Stephen, Thakur, Rajeev, Gropp, William, Lusk, Ewing, De Supinski, Bronis R., Schulz, Martin, Bronevetsky, Greg
Formato:	Artículo
Publicado:	Association for Computing Machinery Dec2011
Materias:	Message passing (Computer science) Parallel processing Application program interfaces High performance computing Debugging Parallel programming
Acceso en línea:	Ver este registro en EBSCOhost