7262 search results - page 665 / 1453 » Reversible Computer Hardware |
208
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
197
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...
130
click to vote
ACMACE
2008
ACM
15 years 9 months ago
2008
ACM
Loop-R is a real-time video performance tool, based in the exploration of low-tech, used technology and human engineering research. With this tool its author is giving a shout to ...
157
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
Die-to-die and within-die variations impact the frequency and power of fabricated dies, affecting functionality, performance, and revenue. Variation-tolerant circuits and post-sil...
191
click to vote
ITICSE
2010
ACM
15 years 7 months ago
2010
ACM
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...