2108 search results - page 228 / 422 » Constrained Heuristic Search |
162
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
171
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, a novel thermal-aware dynamic placement planner for reconfigurable systems is presented, which targets transient temperature reduction. Rather than solving time-...
188
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
166
click to vote
ESTIMEDIA
2009
Springer
16 years 1 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
138
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
It is observed that there is an important query requirement missing for search engines. With the wide variation of domain knowledge and user's interest, a user would like to ...