14 search results - page 2 / 3 » A Fault Primitive Based Analysis of Linked Faults in RAMs |
ENTCS
2007
13 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
PLDI
1997
ACM
13 years 10 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
ATS
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
IPCCC
2006
IEEE
14 years 9 days ago
2006
IEEE
— This paper presents an investment strategy to reduce the risk associated with failures in Wavelength Division Multiplexing (WDM) optical networks. The investment strategy deter...
TC
2010
13 years 1 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...