149
click to vote
SSS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...