880 search results - page 100 / 176 » Semantics-Based Concurrency Control |
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
WDAG
2009
Springer
14 years 3 months ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
Website capacity determination is crucial to measurement-based access control, because it determines when to turn away excessive client requests to guarantee consistent service qu...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...