Formal verification of programs that use MPI one-sided communication (2006)

by Salman Pervez , Ganesh Gopalakrishnan , Robert M. Kirby , Rajeev Thakur
Venue:In EuroPVM/MPI
Citations:12 - 6 self