6808 search results - page 10 / 1362 » Distributed Concurrency Control |
HICSS
1994
IEEE
13 years 11 months ago
1994
IEEE
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
CONCURRENCY
2010
13 years 5 months ago
2010
CONCURRENCY
2010
13 years 4 months ago
2010
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper we investigate feedback-directed dynamic selection between different implementations of atomic blocks. We initially execute atomic blocks using STM with optimistic c...