5054 search results - page 667 / 1011 » How designers design and program interactive behaviors |
172
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Hybrid Vehicle fuel economy performance is highly sensitive to the energy management strategy used to select among multiple energy sources. Optimal solutions are easy to specif...
180
click to vote
ISPASS
2006
IEEE
16 years 25 days ago
2006
IEEE
Detailed microarchitectural simulators are not well suited for exploring large design spaces due to their excessive simulation times. We introduce AXCIS, a framework for fast and ...
186
click to vote
CASES
2006
ACM
16 years 23 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
170
click to vote
ISQED
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
256
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Biometrics is an emerging field via the automated use of unique and measurable physiological or behavioral characteristics to determine or verify identity. Biometrics has a variet...