PVM
2007
Springer
13 years 10 months ago
2007
Springer
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...
PVM
2007
Springer
13 years 10 months ago
2007
Springer
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...
PVM
2007
Springer
13 years 10 months ago
2007
Springer
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...
PVM
2007
Springer
13 years 10 months ago
2007
Springer
PVM
2007
Springer
13 years 10 months ago
2007
Springer
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...
PVM
2007
Springer
13 years 10 months ago
2007
Springer
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...
PVM
2007
Springer
13 years 10 months ago
2007
Springer
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...
PVM
2007
Springer
13 years 10 months ago
2007
Springer
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 ...
PVM
2007
Springer
13 years 10 months ago
2007
Springer
PVM
2007
Springer
13 years 10 months ago
2007
Springer