Sciweavers

6 search results - page 2 / 2
» Improving Spin's Partial-Order Reduction for Breadth-First S...
Sort
View
IPPS
2007
IEEE
13 years 11 months ago
Formal Analysis for Debugging and Performance Optimization of MPI
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Ganesh Gopalakrishnan, Robert M. Kirby