Sciweavers

18924 search results - page 133 / 3785
» Conformance of Distributed Systems
Sort
View
FTCS
1998
89views more  FTCS 1998»
15 years 7 months ago
The Timed Asynchronous Distributed System Model
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
Flaviu Cristian, Christof Fetzer
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 3 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...
ICDE
2008
IEEE
121views Database» more  ICDE 2008»
16 years 7 months ago
COSTA: Adaptive Indexing for Terms in a Large-scale Distributed System
Aoying Zhou, Rong Zhang, Quang Hieu Vu, Weining Qi...
IJCAI
1997
15 years 7 months ago
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation
This paper proposes a Distributed Vision System as a Perceptual Information Infrastructure for robot navigation in a dynamically changing world. The distributed vision system, con...
Hiroshi Ishiguro