7820 search results - page 1494 / 1564 » Formalization of Time and Space |
164
click to vote
CP
2007
Springer
16 years 8 days ago
2007
Springer
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
143
click to vote
EMSOFT
2007
Springer
16 years 8 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
152
click to vote
EMSOFT
2007
Springer
16 years 8 days ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
158
click to vote
GECCO
2007
Springer
16 years 8 days ago
2007
Springer
This paper describes the application of evolutionary search to the problem of Flash memory wear-out. The operating parameters of Flash memory are notoriously difficult to determin...
167
click to vote
GI
2007
Springer
16 years 7 days ago
2007
Springer
: Mixed Reality Auto Racing is game for two to four players. The track is built from tangible objects (e. g. little cardboard houses) by the players and can be changed and rebuilt ...