7262 search results - page 578 / 1453 » Reversible Computer Hardware |
108
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
159
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
Run-time reconfigurable logic is a very attractive alterative in the design of SoC. However, configuration overhead can largely decrease the system performance. In this work, we p...
158
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
Algebraic torus-based cryptosystems are an alternative for Public-Key Cryptography (PKC). It maintains the security of a larger group while the actual computations are performed i...
156
click to vote
ETFA
2008
IEEE
16 years 25 days ago
2008
IEEE
Service-oriented Architectures become more and more important in connecting devices with each other. The main advantages of Service-oriented architectures er abstraction level and...
161
click to vote
ICCAD
2008
IEEE
16 years 24 days ago
2008
IEEE
— Coupled oscillator networks occur in various domains such as biology, astrophysics and electronics. In this paper, we present a comprehensive procedure for rapid and accurate s...