Creator | Title | Description | Subject | Date | ||
---|---|---|---|---|---|---|
1 |
![]() | Gopalakrishnan, Ganesh; Kirby, Robert Michael II | The communication semantics of the message passing interface | The Message Passing Interface (MPI) standard is a natural language document that describes a software library for interprocess communication. Automatic reasoning about the reactive nature of programs communicating via MPI libraries is not possible without also analizing the library being used. Ma... | communication semantics; Message Passing Interface; MPI; natural language | 2006-10-31 |