1268 search results - page 68 / 254 » Verifying distributed systems: the operational approach |
187
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Traditionally, tracking systems require dedicated hardware to handle the computational demands and input/output rates imposed by real-time video sources. An alternative presented i...
160
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
To address the limitations of centralized shared storage for cloud computing, we are building Lithium, a distributed storage system designed specifically for virtualization workl...
165
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
123
click to vote
AROBOTS
2000
15 years 6 months ago
2000
A new means of action selection via utility fusion is introduced as an alternative to both sensor fusion and command fusion. Distributed asynchronous behaviors indicate the utility...
137
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
We present CRF-Gradient, a self-healing gradient algorithm that provably reconfigures in O(diameter) time. Selfhealing gradients are a frequently used building block for distribut...