5149 search results - page 74 / 1030 » Timed Asynchronous Distributed Systems |
111
click to vote
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
121
click to vote
TRIDENTCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
– This paper presents a reliable decentralized mutual exclusion algorithm for distributed systems in which processes communicate by asynchronous message passing. When any failure...
112
click to vote
SPAA
1997
ACM
15 years 6 months ago
1997
ACM
Pipelining has been used in the design of many PRAM algorithms to reduce their asymptotic running time. Paul, Vishkin, and Wagener (PVW) used the approach in a parallel implementat...
105
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
The problem of scheduling independent tasks on heterogeneous trees is considered. The nodes of the tree may have different processing times, and links different communication time...
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE