880 search results - page 119 / 176 » Semantics-Based Concurrency Control |
110
click to vote
ICDE
2000
IEEE
15 years 6 months ago
2000
IEEE
Commercial databases support different isolation levels to allow programmers to trade off consistency for a potential gain in performance. The isolation levels are defined in the ...
105
click to vote
ROBOCUP
2000
Springer
15 years 6 months ago
2000
Springer
In this paper the hardware and software design of the CMU Hammerhead middle-size robot team are presented. The team consists of 4 fully autonomous robots with wireless communicatio...
118
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
107
Voted
USENIX
2007
15 years 4 months ago
2007
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...
121
Voted
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by referenc...