Formal analysis of MPI-based parallel programs.
Saved in:
| 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 |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 00010782 |
|---|---|
| DOI: | 10.1145/2043174.2043194 |
