TO
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael II | Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API | We describe the rst formal speci cation of a non-trivial subset of MPI, the dominant communication API in high performance computing. Engineering a formal speci cation for a non-trivial concurrency API requires the right combination of rigor, executability, and traceability, while also serving a... | MPI 2.0 | 2009 |
1 - 25 of 1