Exploiting Redundancy and Asynchrony in Forward Exact Recoveries for Iterative Solvers
This report presents a method to recover from faults detected by hardware in numerical iterative solvers. By exploiting redundancy inherent to an iterative solver instead of adding redundancy, we can interpolate lost data and thus devise an exact recovery scheme, which does not compromise mathematic...
Main Author: | Jaulmes, Luc |
---|---|
Format: | Others |
Language: | English |
Published: |
KTH, Skolan för informations- och kommunikationsteknik (ICT)
2014
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177387 |
Similar Items
-
On the Structure of Resolution Refutations Generated by Modern CDCL Solvers
by: Lindblad, Johan
Published: (2019) -
The Essence of Similarity in Redundancy-based Program Repair
by: Chen, Zimin
Published: (2018) -
Hybrid Parallel Computation of OpenFOAM Solver on Multi-Core Cluster Systems
by: Liu, Yuan
Published: (2011) -
Identification and Exploitation of Vulnerabilities in a Large-Scale ITSystem
by: Skeppstedt, David
Published: (2019) -
Acoustic-Inertial Forward-Scan Sonar Simultaneous Localization and Mapping
by: Teran Espinoza, Aldo
Published: (2020)