Sciweavers

26 search results - page 6 / 6
» Empirical mechanism design: methods, with application to a s...
Sort
View
FMICS
2007
Springer
13 years 11 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...