Sciweavers

PVM
2007
Springer
14 years 5 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
2007
Springer
14 years 5 months ago
(Sync|Async)+ MPI Search Engines
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...
Mauricio Marín, Veronica Gil Costa
PVM
2007
Springer
14 years 5 months ago
Optimization of Collective Communications in HeteroMPI
Abstract. HeteroMPI is an extension of MPI designed for high performance computing on heterogeneous networks of computers. The recent new feature of HeteroMPI is the optimized vers...
Alexey L. Lastovetsky, Maureen O'Flynn, Vladimir R...
PVM
2007
Springer
14 years 5 months ago
Advanced MPI Programming
Julien Langou, George Bosilca
PVM
2007
Springer
14 years 5 months ago
An Extensible Framework for Distributed Testing of MPI Implementations
Complex code bases require continual testing to ensure that both new development and routine maintenance do not create unintended side effects. Automation of regression testing is...
Joshua Hursey, Ethan Mallove, Jeffrey M. Squyres, ...
PVM
2007
Springer
14 years 5 months ago
A Case for Standard Non-blocking Collective Operations
Abstract. In this paper we make the case for adding standard nonblocking collective operations to the MPI standard. The non-blocking point-to-point and blocking collective operatio...
Torsten Hoefler, Prabhanjan Kambadur, Richard L. G...
PVM
2007
Springer
14 years 5 months ago
Revealing the Performance of MPI RMA Implementations
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
William D. Gropp, Rajeev Thakur
PVM
2007
Springer
14 years 5 months ago
An Evaluation of Open MPI's Matching Transport Layer on the Cray XT
Open MPI was initially designed to support a wide variety of high-performance networks and network programming interfaces. Recently, Open MPI was enhanced to support networks that ...
Richard L. Graham, Ron Brightwell, Brian Barrett, ...
PVM
2007
Springer
14 years 5 months ago
Multithreaded and Distributed Simulation of Large Biological Neuronal Networks
Jochen M. Eppler, Hans E. Plesser, Abigail Morriso...