2584 search results - page 256 / 517 » On the Forward Checking Algorithm |
121
click to vote
SSS
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
122
click to vote
ICTAI
2005
IEEE
15 years 8 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
123
click to vote
SSS
2009
Springer
15 years 7 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...
118
click to vote
ESA
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper addresses the informational asymmetry for constructing an ultrametric evolutionary tree from upper and lower bounds on pairwise distances between n given speci...
147
click to vote
PODC
1997
ACM
15 years 7 months ago
1997
ACM
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...