195
click to vote
CASES
13 years 10 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...
104
click to vote
CASES
13 years 10 months ago
2011 ACM
Escalating variations in modern CMOS designs have become a threat to Moore’s law. While previous works have proposed techniques for tolerating variations by trading reliability ...
117
click to vote
CASES
13 years 10 months ago
2011 ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
|
System Software