Sciweavers

SOSP
1993
ACM
14 years 1 months ago
Understanding the Limitations of Causally and Totally Ordered Communication
Causally and totally ordered communication support (CATOCS) has been proposed as important to provide as part of the basic building blocks for constructing reliable distributed sy...
David R. Cheriton, Dale Skeen
WORDS
2005
IEEE
14 years 5 months ago
Deterministic Scheduling for Multithreaded Replicas
Replication of objects, processes and components is essential for building reliable distributed systems. However, maintaining replica consistency in the presence of nondeterminism...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 9 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...