Sciweavers

706 search results - page 20 / 142
» View-Based Consistency and Its Implementation
Sort
View
SRDS
1998
IEEE
14 years 2 months ago
Optimization of a Real-Time Primary-Backup Replication Service
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
Hengming Zou, Farnam Jahanian
HPCA
1999
IEEE
14 years 2 months ago
Using Lamport Clocks to Reason about Relaxed Memory Models
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J....
CLEF
2000
Springer
14 years 2 months ago
Bilingual Information Retrieval with HyREX and Internet Translation Services
HyREX is the Hypermedia Retrieval Engine for XML. Its extensibility is based on the implementation of physical data independence; its query interface on the conceptual level consis...
Norbert Gövert
CORR
2011
Springer
183views Education» more  CORR 2011»
13 years 4 months ago
Detecting Separation in Robotic and Sensor Networks
In this paper we consider the problem of monitoring detecting separation of agents from a base station in robotic and sensor networks. Such separation can be caused by mobility an...
Chenda Liao, Harshavardhan Chenji, Prabir Barooah,...
NSDI
2010
13 years 11 months ago
Prophecy: Using History for High-Throughput Fault Tolerance
Byzantine fault-tolerant (BFT) replication has enjoyed a series of performance improvements, but remains costly due to its replicated work. We eliminate this cost for read-mostly ...
Siddhartha Sen, Wyatt Lloyd, Michael J. Freedman