2015
DOI: 10.1007/s00453-015-0073-z
|View full text |Cite
|
Sign up to set email alerts
|

Resilient Dynamic Programming

Abstract: We investigate the design of dynamic programming algorithms in unreliable memories, i.e., in the presence of errors that lead the logical state of some bits to be read differently from how they were last written. Assuming that a limited number of memory faults can be inserted at run-time by an adversary with unbounded computational power, we obtain the first resilient algorithms for a broad range of dynamic programming problems, devising a general framework that can be applied to both iterative and recursive i… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2018
2018
2024
2024

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 47 publications
0
1
0
Order By: Relevance
“…Conversely, a number of works study algorithms that are resilient to errors but do not in general produce a correctness proof. For example, Caminiti, Finocchi, Fusco, and Silvetri [30] study resilient dynamic programming, Chen, Grigorescy, and de Wolf [33] study error-correcting data structures for membership queries and polynomial evaluation, Cicalese [37] studies fault-tolerant search algorithms, and Finocchi, Grandoni, and Italiano [48] present sorting and searching algorithms robust against memory errors. Herault and Robert [62] review fault-tolerance techniques in high-performance computing, including work on algorithm-based fault tolerance introduced by Huang and Abraham [66].…”
Section: Verifiable or Error-tolerant Algorithmsmentioning
confidence: 99%
“…Conversely, a number of works study algorithms that are resilient to errors but do not in general produce a correctness proof. For example, Caminiti, Finocchi, Fusco, and Silvetri [30] study resilient dynamic programming, Chen, Grigorescy, and de Wolf [33] study error-correcting data structures for membership queries and polynomial evaluation, Cicalese [37] studies fault-tolerant search algorithms, and Finocchi, Grandoni, and Italiano [48] present sorting and searching algorithms robust against memory errors. Herault and Robert [62] review fault-tolerance techniques in high-performance computing, including work on algorithm-based fault tolerance introduced by Huang and Abraham [66].…”
Section: Verifiable or Error-tolerant Algorithmsmentioning
confidence: 99%