Sciweavers

15644 search results - page 137 / 3129
» Brittle System Analysis
Sort
View
HASE
1999
IEEE
15 years 10 months ago
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems
Diego Del Gobbo, Bojan Cukic, Marcello R. Napolita...
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 10 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
LCTRTS
1995
Springer
15 years 10 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
TC
2002
15 years 6 months ago
A Design Diversity Metric and Analysis of Redundant Systems
Subhasish Mitra, Nirmal R. Saxena, Edward J. McClu...
DATE
2009
IEEE
148views Hardware» more  DATE 2009»
16 years 1 months ago
Visual quality analysis for dynamic backlight scaling in LCD systems
—With the trend toward high-quality large form factor displays on high-end handhelds, LCD backlight accounts for a significant and increasing percentage of the total energy budg...
Andrea Bartolini, Martino Ruggiero, Luca Benini