Scalable verification of MPI programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anh Vo, Ganesh Gopalakrishnan. Scalable verification of MPI programs. In 24th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings. pages 1-4, IEEE, 2010. [doi]

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

runs on WebDSL