Title
Formal analysis of MPI-based parallel programs
Abstract
The goal is reliable parallel simulations, helping scientists understand nature, from how foams compress to how ribosomes construct proteins.
Year
DOI
Venue
2011
10.1145/2043174.2043194
Commun. ACM
Keywords
Field
DocType
reliable parallel simulation,mpi-based parallel program,formal analysis,foams compress
Programming language,Computer science,Theoretical computer science
Journal
Volume
Issue
ISSN
54
12
0001-0782
Citations 
PageRank 
References 
35
1.33
21
Authors
9
Name
Order
Citations
PageRank
Ganesh Gopalakrishnan11619130.11
Robert M. Kirby21443115.55
Stephen F. Siegel337327.01
Rajeev Thakur43773251.09
William D. Gropp55547548.31
Ewing L. Lusk63080472.23
de Supinski, Bronis R.72667154.44
Martin Schulz82227129.64
Greg Bronevetsky994944.91