A Verification Guided Approach for Selective Program Transformations for Approximate Computing

2016 ◽  
Author(s):  
Sayandeep Mitra ◽  
Moumita Das ◽  
Ansuman Banerjee ◽  
Kausik Datta ◽  
Tsung-Yi Ho
Keyword(s):  
Approximate Computing ◽  
Program Transformations ◽  
Selective Program

On Using Approximate Computing to Build an Error Detection Scheme for Arithmetic Circuits

2020 ◽  
Vol 36 (1) ◽  
pp. 33-46
Author(s):  
B. Deveautour ◽  
A. Virazel ◽  
P. Girard ◽  
V. Gherman
Keyword(s):  
Error Detection ◽  
Arithmetic Circuits ◽  
Approximate Computing ◽  
Detection Scheme

Security Threat Analyses and Attack Models for Approximate Computing Systems

2021 ◽  
Vol 26 (4) ◽  
pp. 1-31
Author(s):  
Pruthvy Yellu ◽  
Landon Buell ◽  
Miguel Mark ◽  
Michel A. Kinsy ◽  
Dongpeng Xu ◽  
...  
Keyword(s):  
Error Resilience ◽  
Security Threats ◽  
Approximate Computing ◽  
Security Threat ◽  
Security Vulnerabilities ◽  
Computing Systems ◽  
Quantitative Analyses ◽  
Resilience Mechanisms ◽  
The Impact ◽  
Attack Models

Approximate computing (AC) represents a paradigm shift from conventional precise processing to inexact computation but still satisfying the system requirement on accuracy. The rapid progress on the development of diverse AC techniques allows us to apply approximate computing to many computation-intensive applications. However, the utilization of AC techniques could bring in new unique security threats to computing systems. This work does a survey on existing circuit-, architecture-, and compiler-level approximate mechanisms/algorithms, with special emphasis on potential security vulnerabilities. Qualitative and quantitative analyses are performed to assess the impact of the new security threats on AC systems. Moreover, this work proposes four unique visionary attack models, which systematically cover the attacks that build covert channels, compensate approximation errors, terminate normal error resilience mechanisms, and propagate additional errors. To thwart those attacks, this work further offers the guideline of countermeasure designs. Several case studies are provided to illustrate the implementation of the suggested countermeasures.

Efficient AI System Design With Cross-Layer Approximate Computing

2020 ◽  
Vol 108 (12) ◽  
pp. 2232-2250
Author(s):  
Swagath Venkataramani ◽  
Xiao Sun ◽  
Naigang Wang ◽  
Chia-Yu Chen ◽  
Jungwook Choi ◽  
...  
Keyword(s):  
System Design ◽  
Cross Layer ◽  
Approximate Computing

scholarly journals On the generalizability of Neural Program Models with respect to semantic-preserving program transformations

2021 ◽  
pp. 106552
Author(s):  
Md Rafiqul Islam Rabin ◽  
Nghi D.Q. Bui ◽  
Ke Wang ◽  
Yijun Yu ◽  
Lingxiao Jiang ◽  
...  
Keyword(s):  
Program Transformations

Self-compensating accelerators for efficient approximate computing

2019 ◽  
Vol 88 ◽  
pp. 9-17 ◽  
Author(s):  
Sana Mazahir ◽  
Osman Hasan ◽  
Muhammad Shafique
Keyword(s):  
Approximate Computing

Design of Analyzers for Selective Program Analysis

1981 ◽  
Vol SE-7 (1) ◽  
pp. 39-51 ◽  
Author(s):  
J. Arthur ◽  
J. Ramanathan
Keyword(s):  
Program Analysis ◽  
Selective Program
Sign in / Sign up

Export Citation Format

Share Document