TY - GEN
T1 - A numerical optimization-based methodology for application robustification
T2 - 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010
AU - Sloan, Joseph
AU - Kesler, David
AU - Kumar, Rakesh
AU - Rahimi, Ali
PY - 2010
Y1 - 2010
N2 - There have been several attempts at correcting process variation induced errors by identifying and masking these errors at the circuit and architecture level [10,27]. These approaches take up valuable die area and power on the chip. As an alternative, we explore the feasibility of an approach that allows these errors to occur freely, and handle them in software, at the algorithmic level. In this paper, we present a general approach to converting applications into an error tolerant form by recasting these applications as numerical optimization problems, which can then be solved reliably via stochastic optimization. We evaluate the potential robustness and energy benefits of the proposed approach using an FPGA-based framework that emulates timing errors in the floating point unit (FPU) of a Leon3 processor [11]. We show that stochastic versions of applications have the potential to produce good quality outputs in the face of timing errors under certain assumptions. We also show that good quality results are possible for both intrinsically robust algorithms as well as fragile applications under these assumptions.
AB - There have been several attempts at correcting process variation induced errors by identifying and masking these errors at the circuit and architecture level [10,27]. These approaches take up valuable die area and power on the chip. As an alternative, we explore the feasibility of an approach that allows these errors to occur freely, and handle them in software, at the algorithmic level. In this paper, we present a general approach to converting applications into an error tolerant form by recasting these applications as numerical optimization problems, which can then be solved reliably via stochastic optimization. We evaluate the potential robustness and energy benefits of the proposed approach using an FPGA-based framework that emulates timing errors in the floating point unit (FPU) of a Leon3 processor [11]. We show that stochastic versions of applications have the potential to produce good quality outputs in the face of timing errors under certain assumptions. We also show that good quality results are possible for both intrinsically robust algorithms as well as fragile applications under these assumptions.
UR - http://www.scopus.com/inward/record.url?scp=77956607557&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956607557&partnerID=8YFLogxK
U2 - 10.1109/DSN.2010.5544923
DO - 10.1109/DSN.2010.5544923
M3 - Conference contribution
AN - SCOPUS:77956607557
SN - 9781424475018
T3 - Proceedings of the International Conference on Dependable Systems and Networks
SP - 161
EP - 170
BT - Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010
Y2 - 28 June 2010 through 1 July 2010
ER -