342 search results - page 58 / 69 » The Foundations and Architecture of Autotutor |
DAC
2008
ACM
16 years 20 days ago
2008
ACM
Scenario-based design exploits the time-varying execution behavior of applications by dynamically adapting the system on which they run. This is a particularly interesting design ...
117
click to vote
DAC
2003
ACM
16 years 19 days ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
121
click to vote
DAC
2004
ACM
16 years 19 days ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
100
click to vote
DAC
2005
ACM
16 years 19 days ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
184
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...