Sciweavers

13041 search results - page 2432 / 2609
» Simulating space and time
Sort
View
CP
2007
Springer
16 years 22 days ago
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
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...
Miquel Ramírez, Hector Geffner
EMSOFT
2007
Springer
16 years 22 days ago
Methods for multi-dimensional robustness optimization in complex embedded systems
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...
Arne Hamann, Razvan Racu, Rolf Ernst
GECCO
2007
Springer
179views Optimization» more  GECCO 2007»
16 years 22 days ago
A destructive evolutionary process: a pilot implementation
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...
Joe Sullivan, Conor Ryan
GI
2007
Springer
16 years 22 days ago
MR Auto Racing Mixed Reality Game for Public Installation
: 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 ...
Daniel Cermak-Sassenrath
ICCSA
2007
Springer
16 years 22 days ago
FRASH: Hierarchical File System for FRAM and Flash
Abstract. In this work, we develop novel file system, FRASH, for byteaddressable NVRAM (FRAM[1]) and NAND Flash device. Byte addressable NVRAM and NAND Flash is typified by the DRA...
Eun-ki Kim, Hyungjong Shin, Byung-gil Jeon, Seokhe...
« Prev « First page 2432 / 2609 Last » Next »