2519 search results - page 344 / 504 » Martingales and Locality in Distributed Computing |
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
GRID
2004
Springer
14 years 3 months ago
2004
Springer
— A large and diverse consortium of grid clusters, as can be found in a university setting, requires a flexible authorization model that is scalable, extensible and easy to admi...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
- A new motion planning framework is presented that enables multiple mobile robots with limited ranges of sensing and communication to maneuver and achieve goals safely in dynamic ...
IEEEPACT
2003
IEEE
14 years 3 months ago
2003
IEEE
Improving cache performance requires understanding cache behavior. However, measuring cache performance for one or two data input sets provides little insight into how cache behav...
ISCC
2003
IEEE
14 years 3 months ago
2003
IEEE
The efficient use of network capacity strongly depends upon the path selection procedure. In this paper we propose and evaluate efficient path selection algorithms for survivable ...