356 search results - page 3 / 72 » Revisiting the Paxos Algorithm |
STOC
2006
ACM
14 years 19 days ago
2006
ACM
We revisit the general RL vs. L question, obtaining the following results.
SRDS
2003
IEEE
13 years 12 months ago
2003
IEEE
This paper presents fault-tolerant simulations of a single-writer multi-reader regular register in storage systems. One simulation tolerates fail-stop failures of storage servers ...
ICDCS
2002
IEEE
13 years 11 months ago
2002
IEEE
We present a generic module, called Fast Collect. Fast Collect is an implementation of Single-Writer Multi-Reader (SWMR) Shared-Memory in an asynchronous system in which a process...
SIGIR
2012
ACM
11 years 9 months ago
2012
ACM
We present a novel interpretation of Clarity [5], a widely used query performance predictor. While Clarity is commonly described as a measure of the “distance” between the lan...
FORTE
2010
13 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...