6808 search results - page 26 / 1362 » Distributed Concurrency Control |
RTDB
1996
13 years 10 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...
LPAR
2005
Springer
14 years 2 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 ...
COMPSAC
1997
IEEE
14 years 1 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...
ICDE
2005
IEEE
14 years 10 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...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE