6808 search results - page 26 / 1362 » Distributed Concurrency Control |
145
click to vote
RTDB
1996
15 years 7 months ago
1996
This paper shows how priority ceiling techniques can be added to object-based real-time semantic concurrency control. The resulting protocol provides more potential concurrency fo...
154
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
160
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
271
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
Replicating data over a cluster of workstations is a powerful tool to increase performance, and provide faulttolerance for demanding database applications. The big challenge in su...