945 search results - page 21 / 189 » Incremental Branching Programs |
SIGADA
1998
Springer
15 years 4 months ago
1998
Springer
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
107
click to vote
CP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
114
click to vote
COLOGNETWENTE
2009
15 years 27 days ago
2009
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...
HPCA
2006
IEEE
16 years 5 days ago
2006
IEEE
Hardware counters are a fundamental building block of modern high-performance processors. This paper explores two applications of probabilistic counter updates, in which the outpu...