1028 search results - page 97 / 206 » Reliability Analysis using Graphical Duration Models |
149
Voted
CG
2007
Springer
15 years 2 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
91
Voted
CAIP
2007
Springer
15 years 8 months ago
2007
Springer
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
ICCD
2007
IEEE
15 years 9 months ago
2007
IEEE
A methodology for constructing circuit-level mismatch models and performing yield optimization is presented for CMOS analog circuits. The methodology combines statistical techniqu...
103
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
130
click to vote
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...