1589 search results - page 218 / 318 » Multiple-Goal Heuristic Search |
140
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a technique for fast estimation of the power consumed by the cache and bus sub-system of a parameterized system-on-a-chip design for a given application. The technique ...
131
click to vote
NOMS
2000
IEEE
15 years 10 months ago
2000
IEEE
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...
148
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
176
click to vote
DARS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we address the issue of motion planning for a bipartite class of modular self-reconfiguring robotic system (I-Cubes) that is a collection of active elements providin...
175
click to vote
EPS
1998
Springer
15 years 9 months ago
1998
Springer
This paper reports work investigating various evolutionary approaches to vertex cover (VC), a well-known NP-Hard optimization problem. Central to each of the algorithms is a novel ...