Sciweavers

311 search results - page 12 / 63
» Open Issues in MPI Implementation
Sort
View
IPPS
2007
IEEE
15 years 3 months ago
Nonuniformly Communicating Noncontiguous Data: A Case Study with PETSc and MPI
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
Pavan Balaji, Darius Buntinas, Satish Balay, Barry...
IPPS
2009
IEEE
15 years 4 months ago
Sparse collective operations for MPI
Abstract—We discuss issues in designing sparse (nearest neighbor) collective operations for communication and reduction operations in small neighborhoods for the Message Passing ...
Torsten Hoefler, Jesper Larsson Träff
IPPS
2008
IEEE
15 years 3 months ago
On synthesizing workloads emulating MPI applications
Evaluation of high performance parallel systems is a delicate issue, due to the difficulty of generating workloads that represent, with fidelity, those that will run on actual sys...
Javier Navaridas, José Miguel-Alonso, Franc...
PPOPP
2009
ACM
15 years 10 months ago
Formal verification of practical MPI programs
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Gan...
80
Voted
ECOOP
2006
Springer
15 years 1 months ago
Implementing Bounded Aspect Quantification in AspectJ
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...
Christian Kästner, Sven Apel, Gunter Saake