Sciweavers

15614 search results - page 6 / 3123
» The State of State
Sort
View
CONCUR
2004
Springer
13 years 11 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
DATE
2004
IEEE
111views Hardware» more  DATE 2004»
13 years 11 months ago
State-Preserving vs. Non-State-Preserving Leakage Control in Caches
This paper compares the effectiveness of statepreserving and non-state-preserving techniques for leakage control in caches by comparing drowsy cache and gated-V
Yingmin Li, Dharmesh Parikh, Yan Zhang, Karthik Sa...