13895 search results - page 463 / 2779 » Exploring |
187
click to vote
ATVA
2004
Springer
15 years 11 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
165
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
: Given is the following "creature's exploration problem": n creatures are moving around in an unknown environment in order to visit all cells in shortest time. This...
197
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
197
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
180
click to vote
AAAI
2007
15 years 9 months ago
2007
In this paper, a state-based approach for the Constraint Satisfaction Problem (CSP) is proposed. The key novelty is an original use of state memorization during search to prevent ...