800 search results - page 136 / 160 » Understanding Algorithm Performance on an Oversubscribed Sch... |
124
click to vote
CSCLP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper we present a novel approach to solving Constraint Satisfaction Problems whose constraint graphs are highly clustered and the graph of clusters is close to b...
131
click to vote
FPL
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present a full-system reconfigurable computing simulation platform intended to promote innovative new research in reconfigurable computing. Currently, reconfigur...
122
click to vote
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Low Power is an extremely important issue for future mobile radio systems. Channel decoders are essential building blocks of base-band signal processing units in mobile terminal ar...
121
click to vote
AIPS
2007
15 years 5 months ago
2007
Planning in domains with temporal and numerical properties is an important research problem. One application of this is the resource production problem in real-time strategy (RTS)...
95
Voted
AIPS
2004
15 years 4 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...