A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs

Publication
In the Proceedings of Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008.

Related