7262 search results - page 1274 / 1453 » Reversible Computer Hardware |
149
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
227
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
196
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the direct anonymous attestation scheme (DAA). This scheme was adopted by the Trusted Computing Group as the method for remote authentication of a hardware mo...
198
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
188
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Address correlation is a technique that links the addresses that reference the same data values. Using a detailed source-code level analysis, a recent study [1] revealed that diffe...