53 search results - page 4 / 11 » A Flexible Library for Dependable Master-Worker Parallel Pro... |
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
The MPI standard provides tool builders with an efficient profiling interface, PMPI. Although many tools have successfully used this interface, it has three major drawbacks: a n...
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
HICSS
1997
IEEE
15 years 1 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
MPI provides a portable message passing interface for many parallel execution platforms but may lead to inefficiencies for some platforms and applications. In this article we sho...