10909 search results - page 612 / 2182 » Evaluating Backup Algorithms |
190
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
198
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an FPGA-based implementation of a syntactic parser that can process languages generated by almost unrestricted real-life context-free grammars (CFGs). More prec...
174
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
— Typically, placement algorithms attempt to minimize the total net length of a printed circuit board (PCB). However, an MCM’s increased throughput and dense circuitry can easi...
195
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
This paper presents the PLANMINE sequence mining algorithm to extract patterns of events that predict failures in databases of plan executions. New techniques were needed because ...
167
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...