7262 search results - page 1274 / 1453 » Reversible Computer Hardware |
161
click to vote
AMAI
2004
Springer
16 years 7 days 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...
248
click to vote
CAV
2004
Springer
16 years 7 days 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...
209
click to vote
CCS
2004
ACM
16 years 7 days 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...
207
click to vote
EMSOFT
2004
Springer
16 years 7 days 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...
203
click to vote
EUROPAR
2004
Springer
16 years 7 days 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...