DMCA

Formal verification of programs that use MPI one-sided communication

by Salman Pervez , Ganesh Gopalakrishnan , Robert M. Kirby , Rajeev Thakur
Venue:Recent Advances in Parallel Virtual Machine and Message Passing Interface (EuroPVM/MPI), LNCS 4192, 2006, Outstanding Paper
Citations:11 - 5 self