426 search results - page 71 / 86 » SAT-Based Techniques in System Synthesis |
152
Voted
ICES
2005
Springer
15 years 11 months ago
2005
Springer
Evolvable Hardware arises as a promising solution for automatic digital synthesis of digital and analog circuits. During the last decade, a special interest has been focused on evo...
179
click to vote
EH
2002
IEEE
15 years 10 months ago
2002
IEEE
Fuzzy Logic has proved to be a very powerful technique in the discipline of system control. A Fuzzy Logic Controller is defined by a collection of fuzzy if-then rules and a set of...
179
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
2010
Eurographics
We present a novel method for the synthesis and animation of realistic traffic flows on large-scale road networks. Our technique is based on a continuum model of traffic flow we e...
128
click to vote
TASLP
2010
15 years 4 months ago
2010
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
180
click to vote
ASPDAC
2010
ACM
15 years 3 months ago
2010
ACM
Modern digital IC designs have a critical operating point, or "wall of slack", that limits voltage scaling. Even with an errortolerance mechanism, scaling voltage below a...