Sciweavers

400 search results - page 24 / 80
» Backtracking
Sort
View
CP
2005
Springer
14 years 3 months ago
Search Heuristics and Heavy-Tailed Behaviour
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...
Tudor Hulubei, Barry O'Sullivan
SAS
2005
Springer
127views Formal Methods» more  SAS 2005»
14 years 3 months ago
Banshee: A Scalable Constraint-Based Analysis Toolkit
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
John Kodumal, Alexander Aiken
ECAIW
2000
Springer
14 years 2 months ago
Board-Laying Techniques Improve Local Search in Mixed Planning and Scheduling
When searching the space of possible plans for combined planning and scheduling problems we often reach a local maximum and must either backtrack or otherwise modify the plan to m...
Russell Knight, Gregg Rabideau, Steve A. Chien
ISCAS
1999
IEEE
66views Hardware» more  ISCAS 1999»
14 years 2 months ago
Low energy register allocation beyond basic blocks
An approach of doing register allocation beyond basic blocks for low energy is presented in this paper. With careful analysis of boundary conditions between consecutive blocks, ou...
Yumin Zhang, Xiaobo Hu, Danny Z. Chen
ATAL
2006
Springer
14 years 1 months ago
Examining DCSP coordination tradeoffs
Distributed Constraint Satisfaction Problems (DCSPs) provide a model to capture a broad range of cooperative multiagent problem solving settings. Researchers have generally propos...
Michael Benisch, Norman M. Sadeh