7262 search results - page 545 / 1453 » Reversible Computer Hardware |
144
click to vote
SPIN
2007
Springer
16 years 7 days ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
140
Voted
IMSCCS
2006
IEEE
16 years 5 days ago
2006
IEEE
The computer architecture of Single-chip multiprocessor (SCMP) is one of important research topics in developing the next-generation of computer hardware. A verification environme...
125
Voted
ISCAS
2006
IEEE
16 years 5 days ago
2006
IEEE
— a form-preserving 2D z-domain helix transform is proposed for the synthesis of computable practical-BIBO stable 2D recursive filters computed over uniformly-spaced circular inp...
149
click to vote
ASPDAC
2006
ACM
16 years 3 days ago
2006
ACM
- We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the comp...
134
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...