Sciweavers

2 search results - page 1 / 1
» Optimization of a Real-Time Primary-Backup Replication Servi...
Sort
View
SRDS
1998
IEEE
13 years 9 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
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
13 years 10 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...