7262 search results - page 536 / 1453 » Reversible Computer Hardware |
135
Voted
VTS
1995
IEEE
15 years 8 months ago
1995
IEEE
Optimized locally exhaustive test pattern generators based on linear sums promise a low overhead, but have an irregular structure. The paper presents a new algorithm able to compu...
123
click to vote
CARDIS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Direct Anonymous Attestation (DAA) is an anonymous digital signature scheme that aims to provide both signer authentication and privacy. One of the properties that makes ...
157
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
141
Voted
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
— Quantum-dot Cellular Automata (QCA) is a novel computing mechanism that can represent binary information based on spatial distribution of electron charge configuration in chem...
144
Voted
ASAP
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract--The growth of high-performance application in computer graphics, signal processing and scientific computing is a key driver for high performance, fixed latency, pipelined...