272 search results - page 3 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
PADS
2005
ACM
13 years 11 months ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
STOC
2001
ACM
14 years 6 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
CCGRID
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents a high-performance Distributed Shared Memory system called VODCA, which supports a novel View-Oriented Parallel Programming on cluster computers. One advantage...
SIGSOFT
2008
ACM
14 years 6 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...