Sciweavers

5831 search results - page 4 / 1167
» Distributed Dynamic Backtracking
Sort
View
IEEEPACT
2000
IEEE
15 years 1 months ago
Efficient Backtracking Instruction Schedulers
Santosh G. Abraham, Waleed Meleis, Ivan D. Baev
REX
1993
15 years 1 months ago
Process Algebra with Backtracking
Jan A. Bergstra, Alban Ponse, Jos van Wamel
CP
2000
Springer
15 years 1 months ago
Maintaining Arc-Consistency within Dynamic Backtracking
Most of complete search algorithms over Constraint Satisfaction Problems (csp) are based on Standard Backtracking. Two main enhancements of this basic scheme have been proposed : r...
Narendra Jussien, Romuald Debruyne, Patrice Boizum...
AADEBUG
2005
Springer
14 years 11 months ago
Backtracking and dynamic patching for free
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...
Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koe...
COCO
2005
Springer
72views Algorithms» more  COCO 2005»
15 years 3 months ago
Toward a Model for Backtracking and Dynamic Programming
We propose a model called priority branching trees (pBT ) for backtracking and dynamic programming algorithms. Our model generalizes both the priority model of Borodin, Nielson an...
Michael Alekhnovich, Allan Borodin, Joshua Buresh-...