2494 search results - page 215 / 499 » Dependable Distributed Computing Using Free Databases |
ICDCS
1993
IEEE
14 years 7 days ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
ICPPW
2002
IEEE
14 years 1 months ago
2002
IEEE
Different parallelization methods vary in their system requirements, programming styles, efficiency of exploring parallelism, and the application characteristics they can handle....
PODC
1999
ACM
14 years 13 days ago
1999
ACM
Various timing-based mutualexclusion algorithms have been proposed that guarantee mutual exclusion if certain timing assumptions hold. In this paper, we examine how these algorith...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
DSN
2004
IEEE
13 years 12 months ago
2004
IEEE
In this paper we present a data dissemination protocol for efficiently distributing data through a sensor network in the face of node and link failures. Our work is motivated by t...