Sciweavers

274 search results - page 33 / 55
» A stochastic approach to automated design improvement
Sort
View
DAC
2008
ACM
14 years 8 months ago
The mixed signal optimum energy point: voltage and parallelism
An energy optimization is proposed that addresses the nontrivial digital contribution to power and impact on performance in high-speed mixed-signal circuits. Parallel energy and b...
Brian P. Ginsburg, Anantha P. Chandrakasan
FMCAD
2007
Springer
13 years 11 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
SIGGRAPH
1999
ACM
14 years 3 days ago
Direct Illumination with Lazy Visibility Evaluation
In this paper we present a technique for computing the direct lighting in a three-dimensional scene containing area light sources. Our method correctly handles partial visibility ...
David Hart, Philip Dutré, Donald P. Greenbe...
ICSM
2005
IEEE
14 years 1 months ago
Isolating Idiomatic Crosscutting Concerns
This paper reports on our experience in automatically migrating the crosscutting concerns of a large-scale software system, written in C, to an aspect-oriented implementation. We ...
Magiel Bruntink, Arie van Deursen, Tom Tourw&eacut...
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
14 years 4 days ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra