272 search results - page 6 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
PVM
2010
Springer
13 years 6 months ago
2010
Springer
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...
ENTCS
2006
13 years 8 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
FORTE
2011
13 years 1 days ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
CLUSTER
2002
IEEE
2002
IEEE
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
14 years 1 months ago
We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large cl...