Runtime verification methods for MPI

Ganesh Gopalakrishnan, Robert M. Kirby. Runtime verification methods for MPI. In 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008. pages 1-5, IEEE, 2008. [doi]

Abstract

Abstract is missing.