7262 search results - page 260 / 1453 » Reversible Computer Hardware |
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
113
click to vote
SIGMETRICS
1998
ACM
15 years 7 months ago
1998
ACM
While much work has been devoted to the study of cache behavior during the execution of codes with regular access patterns, little attention has been paid to irregular codes. An i...
122
click to vote
ATS
1997
IEEE
15 years 7 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
121
click to vote
ICCD
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a new approach to the automated generation of an initialization sequence for synchronous sequential circuits. Finding an initialization sequence is a hard task...
110
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...