1124 search results - page 5 / 225 » Refined quorum systems |
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we present two protocols for asynchronous Byzantine Quorum Systems (BQS) built on top of reliable channels—one for self-verifying data and the other for any data. ...
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
WDAG
2005
Springer
15 years 5 months ago
2005
Springer
We investigate issues related to the probe complexity of the And-Or quorum system and its implementation in a dynamic environment. Our contribution is twofold: We first analyze th...
115
click to vote
ICPADS
1998
IEEE
15 years 4 months ago
1998
IEEE
We extend a torus-based coterie structure for distributed mutual exclusion to allow k multiple entries in a critical section. In the original coterie, the system nodes are logical...
CP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...