7262 search results - page 465 / 1453 » Reversible Computer Hardware |
148
click to vote
VTS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a new technique for on-line consistency checking of embedded DRAMs. The basic idea is to use the periodic refresh operation for concurrently computing a test c...
151
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
129
click to vote
FPL
1994
Springer
15 years 8 months ago
1994
Springer
The implementation of larger digital neural networks has not been possible due to the real-estate requirements of single neurons. We present an expandable digital architecture whic...
126
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Abstract-- The increasing processing power of embedded devices have created the scope for certain applications that could previously be executed in desktop environments only, to mi...
178
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...