9110 search results - page 391 / 1822 » Formally-Based Design Evaluation |
154
click to vote
SSDBM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce AdaptPD, an automated physical design tool that improves database performance by continuously monitoring changes in the workload and adapting the physical de...
183
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Determining the optimal topology of a graph is pertinent to many domains, as graphs can be used to model a variety of systems. Evolutionary algorithms constitute a popular opti...
146
click to vote
MICRO
2006
IEEE
16 years 22 days ago
2006
IEEE
Although processor design verification consumes ever-increasing resources, many design defects still slip into production silicon. In a few cases, such bugs have caused expensive...
160
click to vote
HRI
2006
ACM
16 years 20 days ago
2006
ACM
There is growing interest in mining the world of video games to find inspiration for human-robot interaction (HRI) design. This paper segments video game interaction into domain-i...
175
click to vote
EH
2003
IEEE
16 years 7 hour ago
2003
IEEE
This paper describes a multi-objective Evolutionary Algorithm (EA) system for the synthesis of efficient non-linear VLSI circuit modules. The EA takes the specification for a no...