7262 search results - page 490 / 1453 » Reversible Computer Hardware |
131
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
An improved FPGA implementation of an electronic cochlea filter is presented. We show that by using decimation, the computations of the electronic cochlea can be reduced. Furtherm...
149
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
128
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract- Traditional state-traversal-basedmethods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if...
157
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
140
click to vote
IMS
2000
15 years 8 months ago
2000
The performance of a computer system is highly dependent on the performance of the cache memory system. The traditional cache memory system has an organization with a line size tha...