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]

Authors

Ganesh Gopalakrishnan

This author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

Robert M. Kirby

This author has not been identified. Look up 'Robert M. Kirby' in Google