Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium 1999
DOI: 10.1109/eurmic.1999.794768
|View full text |Cite
|
Sign up to set email alerts
|

Error recovery using forced validity assisted by executable assertions for error detection: an experimental evaluation

Abstract: Abstract

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2010
2010
2017
2017

Publication Types

Select...
3
1
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(3 citation statements)
references
References 10 publications
0
3
0
Order By: Relevance
“…Experimental approaches for the design of EDMs have often focused on evaluating existing EDMs, typically with respect to measures such as coverage and latency [18], [19]. This is typically done with a view to the evaluation informing EDM design.…”
Section: B Experimental Evaluationmentioning
confidence: 99%
“…Experimental approaches for the design of EDMs have often focused on evaluating existing EDMs, typically with respect to measures such as coverage and latency [18], [19]. This is typically done with a view to the evaluation informing EDM design.…”
Section: B Experimental Evaluationmentioning
confidence: 99%
“…Although Rate of Change (ROC) based plausibility checks for error detection and recovery have been addressed by [1,2], unfortunately none of the previous studies propose the separation of these error handling concerns from true functionality to avoid complexity.…”
Section: Introductionmentioning
confidence: 99%
“…In [8] a monitoring technique has been developed which supports detection and handling of timing errors. Another approach is called forced validity [9]. Upon the detection of constraint violation, the faulty data value is reset to a valid value.…”
Section: Constraint Checkingmentioning
confidence: 99%