Formal analysis of MPI-based parallel programs
Gopalakrishnan, Ganesh, Kirby, Robert M., Siegel, Stephen, Thakur, Rajeev, Gropp, William, Lusk, Ewing, De Supinski, Bronis R., Schulz, Martin, Bronevetsky, GregVolume:
54
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/2043174.2043194
Date:
December, 2011
File:
PDF, 2.65 MB
english, 2011