Sciweavers

306 search results - page 62 / 62
» Performance Evaluation of Memory Consistency Models for Shar...
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 1 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...