1028 search results - page 127 / 206 » Reliability Analysis using Graphical Duration Models |
100
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
120
click to vote
ICCS
1997
Springer
15 years 6 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
111
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Rapid approximation of the transient response of high-speed global interconnects is needed to estimate the time delay, crosstalk, and overshoot in a GSI multilevel wiring network....
148
click to vote
DSN
2005
IEEE
15 years 4 months ago
2005
IEEE
Soft errors are a growing concern for processor reliability. Recent work has motivated architecture-level studies of soft errors since the architecture can mask many raw errors an...
122
Voted
EOR
2008
15 years 2 months ago
2008
Passengers travelling in public transportation networks often have to use different lines to cover the trip from their origin to the desired destination. As a consequence, the rel...