1268 search results - page 194 / 254 » Verifying distributed systems: the operational approach |
PODC
2000
ACM
14 years 1 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
ESANN
2000
13 years 11 months ago
2000
Planing the operation in modern power systems requires suitable anticipation of load evolution at different levels of distribution network. Under this perspective, load forecasting...
IJRR
2008
13 years 10 months ago
2008
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
The user experience for networked applications is becoming a key benchmark for customers and network providers. Perceived user experience is largely determined by the frequency, d...
SRDS
2008
IEEE
14 years 4 months ago
2008
IEEE
Existing clock synchronization algorithms assume a bounded clock reading error. This, in turn, results in an inflexible design that typically requires node crashes whenever the g...