5171 search results - page 475 / 1035 » Deterministic Parallel Processing |
112
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
The buffer pool manager is a central component of ADABAS, a high performance scaleable database system for OLTP processing. High efficiency and scalability of the buffer pool mana...
135
click to vote
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, we propose a novel deadlock resolution algorithm. In the presence of global deadlocks in a multidatabase system, this algorithm always selects an optimal set of vic...
136
click to vote
ECOOPW
1997
Springer
15 years 8 months ago
1997
Springer
In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techni...
116
click to vote
CONCUR
1993
Springer
15 years 8 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
132
click to vote
ECOOPW
1994
Springer
15 years 8 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....