165 search results - page 11 / 33 » Safety-Liveness Exclusion in Distributed Computing |
COLCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
— Computer supported collaborative applications on overlay networks are gaining popularity among users who are geographically dispersed. Examples of these kinds of applications i...
ICDCS
2008
IEEE
15 years 6 months ago
2008
IEEE
In today’s networked storage environment, it is common to have a hierarchy of caches where the lower levels of the hierarchy are accessed by multiple clients. This sharing can h...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Reconfigurable computing applications have traditionally had the exclusive use of the field programmable gate array, primarily because the logic densities of the available devices...
100
click to vote
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
PODC
1990
ACM
15 years 3 months ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...