80 search results - page 10 / 16 » Message-Passing Program Development by Ensemble |
GCC
2007
Springer
14 years 2 months ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
The Parallel-Horus framework, developed at the University of Amsterdam, is a unique software architecture that allows non-expert parallel programmers to develop fully sequential m...
EUROPAR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
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...