1268 search results - page 36 / 254 » Verifying distributed systems: the operational approach |
WMRD
1990
14 years 1 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
VOSS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
SRDS
2006
IEEE
14 years 3 months ago
2006
IEEE
Today’s large-scale distributed systems consist of collections of nodes that have highly variable availability — a phenomenon sometimes called churn. This availability variati...
DEBU
2000
13 years 9 months ago
2000
Wide-area distribution raises significant performance problems for traditional query processing techniques as data access becomes less predictable due to link congestion, load imb...