7262 search results - page 610 / 1453 » Reversible Computer Hardware |
155
click to vote
CARDIS
2006
Springer
15 years 10 months ago
2006
Springer
Smartcards are being used as secure endpoints in computer transactions. Recently, the connectivity of smartcards has increased and future smartcards will be able to communicate ove...
157
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...
151
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
180
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
149
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Dynamic fault-tolerance management (DFTM) was previously introduced as a means of providing environmentand workload-driven adaptation for failure-prone battery powered systems. Th...