5165 search results - page 744 / 1033 » Consistency of the Neighbor-Net Algorithm |
140
click to vote
VLDB
1993
ACM
15 years 9 months ago
1993
ACM
Recovery activities, like logging, checkpointing and restart, are used to restore a database to a consistent state after a system crash has occurred. Recovery related overhead is ...
173
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
153
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
Strict consistency of replicated data is infeasible or not required by many distributed applications, so current systems often permit stale replication, in which cached copies of ...
142
click to vote
SC
1995
ACM
15 years 8 months ago
1995
ACM
The problem of determining the evolutionary history of species in the form of phylogenetic trees is known as the phylogeny problem. We present a parallelization of the character c...
131
Voted
AIPS
2008
15 years 7 months ago
2008
The current evaluation functions for heuristic planning are expensive to compute. In numerous domains these functions give good guidance on the solution, so it worths the computat...