317 search results - page 25 / 64 » Snap-Stabilization in Message-Passing Systems |
TPDS
2002
13 years 9 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
RTSS
1995
IEEE
14 years 1 months ago
1995
IEEE
A distributed protocol is proposed for the synchronization of real-time tasks that have variable resource requirements. The protocol is simple to implement and is intended for lar...
CLUSTER
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...
CONCUR
2006
Springer
14 years 1 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...
ENTCS
2006
13 years 10 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...