Sciweavers

3836 search results - page 22 / 768
» Dynamic Communicators in MPI
Sort
View
IPPS
2009
IEEE
14 years 2 months ago
Accurate analytical performance model of communications in MPI applications
This paper presents a new LogP-based model, called LoOgGP, which allows an accurate characterization of MPI applications based on microbenchmark measurements. This new model is an...
Diego Rodriguez Martínez, José Carlo...
PVM
2005
Springer
14 years 1 months ago
Implementing Byte-Range Locks Using MPI One-Sided Communication
We present an algorithm for implementing byte-range locks using MPI passive-target one-sided communication. This algorithm is useful in any scenario in which multiple processes of ...
Rajeev Thakur, Robert B. Ross, Robert Latham
PVM
2007
Springer
14 years 2 months ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
PVM
2005
Springer
14 years 1 months ago
Benchmarking One-Sided Communication with SKaMPI 5
Werner Augustin, Marc-Oliver Straub, Thomas Worsch