7262 search results - page 436 / 1453 » Reversible Computer Hardware |
150
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
108
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
A new numerical technique for periodic small signal analysis based on harmonic balance method is proposed. Special-purpose numerical procedures based on Krylov subspace methods ar...
122
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
112
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
: In this work, the problem of the computation of the minimum energy per bit required for communicating through deep sub-micron buses at a given bit rate is solved with an explicit...
143
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This work presents an overview of the principles that underlie the speed-up achievable by dynamic hardware reconfiguration, proposes a more precise taxonomy for the execution mode...