7262 search results - page 491 / 1453 » Reversible Computer Hardware |
178
click to vote
ISSS
2000
IEEE
15 years 8 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
131
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
154
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
184
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
140
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...