9110 search results - page 1553 / 1822 » Formally-Based Design Evaluation |
126
click to vote
RTSS
1997
IEEE
15 years 8 months ago
1997
IEEE
In [6], we proposed a new commit protocol, OPT, specially designed for use in distributed firm-deadline real-time database systems. OPT allows transactions to “optimistically...
136
click to vote
ASPLOS
1992
ACM
15 years 8 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
136
click to vote
ERSHOV
1989
Springer
15 years 8 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
114
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
124
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Selecting the right parties to interact with is a fundamental problem in open and dynamic environments. The problem is exemplified when the number of interacting parties is high a...