paper-with-me

홈 › Papers

A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction

2020-03-30 · Zitao Chen, Guanpeng Li, Karthik Pattabiraman

The adoption of deep neural networks (DNNs) in safety-critical domains has engendered serious reliability concerns. A prominent example is hardware transient faults that are growing in frequency due to the progressive technology scaling, and can lead to failures in DNNs. This work proposes Ranger, a low-cost fault corrector, which directly rectifies the faulty output due to transient faults without re-computation. DNNs are inherently resilient to benign faults (which will not cause output corruption), but not to critical faults (which can result in erroneous output). Ranger is an automated transformation to selectively restrict the value ranges in DNNs, which reduces the large deviations caused by critical faults and transforms them to benign faults that can be tolerated by the inherent resilience of the DNNs. Our evaluation on 8 DNNs demonstrates Ranger significantly increases the error resilience of the DNNs (by 3x to 50x), with no loss in accuracy, and with negligible overheads.

📄 PDF Abstract BibTeX arXiv:2003.13874

Code (1)

hamidmousavi0/reliable-relu-toolbox pytorch

Tasks

Autonomous Vehicles

Similar Papers 제목 키워드 기반

Rethinking Automated Program Repair: The Impact of Bug Complexity, Fault Localization, and LLM Cost-efficiency

2026-08-14 · Junchi Liu, Ali Bigdeli, Roya Daneshi, Atu Ambala 외 arxiv

Background: Software bugs remain a critical challenge in development, necessitating effective Automated Program Repair (APR) techniques. While Large Language Model (LLM)-based APR systems have shown promise, prior studie…

Program Repair

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

2016-11-28 · Peter Baumgartner, Renate A. Schmidt

Model generation is a problem complementary to theorem proving and is important for fault analysis and debugging of formal specifications of security protocols, programs and terminological definitions. This paper discuss…

Automated Theorem ProvingBlocking

Enhancing Neural Network Robustness Against Fault Injection Through Non-linear Weight Transformations

2024-11-28 · Ninnart Fuengfusin, Hakaru Tamukoh

Deploying deep neural networks (DNNs) in real-world environments poses challenges due to faults that can manifest in physical hardware from radiation, aging, and temperature fluctuations. To address this, previous works …

Informed Correctors for Discrete Diffusion Models

2024-07-30 · Yixiu Zhao, Jiaxin Shi, Lester Mackey, Scott Linderman

Discrete diffusion modeling is a promising framework for modeling and generating data in discrete spaces. To sample from these models, different strategies present trade-offs between computation and sample quality. A pre…

Safe and Human-Like Autonomous Driving: A Predictor-Corrector Potential Game Approach

2022-08-04 · Mushuang Liu, H. Eric Tseng, Dimitar Filev, Anouck Girard 외

This paper proposes a novel decision-making framework for autonomous vehicles (AVs), called predictor-corrector potential game (PCPG), composed of a Predictor and a Corrector. To enable human-like reasoning and character…

Autonomous DrivingAutonomous VehiclesDecision Making