1192 search results - page 69 / 239 » Variation-Aware Fault Modeling |
105
Voted
ESEC
1991
Springer
15 years 7 months ago
1991
Springer
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...
116
Voted
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
127
Voted
EH
2005
IEEE
15 years 9 months ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
125
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
124
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...