262 search results - page 19 / 53 » State Space Reduction Techniques for Component Interfaces |
101
click to vote
FAST
2011
14 years 3 months ago
2011
Reliably erasing data from storage media (sanitizing the media) is a critical component of secure data management. While sanitizing entire disks and individual files is well-unde...
ICCD
2007
IEEE
15 years 6 months ago
2007
IEEE
Leakage power has grown significantly and is a major challenge in microprocessor design. Leakage is the dominant power component in second-level (L2) caches. This paper presents t...
IFM
2009
Springer
15 years 6 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
206
click to vote
CASES
2011
ACM
13 years 11 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
IHM
2004
ACM
15 years 5 months ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...