Exploiting Errors for Efficiency: A Survey from Circuits to Applications
When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, system software, and programming language compilers or their runtime systems can trade deviations from correct behavior for lower resource usage. We p...
Main Authors: | Stanley-Marbell, Phillip, Alaghi, Armin, Carbin, Michael James, Darulova, Eva, Dolecek, Lara, Gerstlauer, Andreas, Gillani, Ghayoor, Jevdjic, Djordje, Moreau, Thierry, Cacciotti, Mattia, Daglis, Alexandros, Jerger, Natalie Enright, Falsafi, Babak, Misailovic, Sasa, Sampson, Adrian, Zufferey, Damien |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM)
2022
|
Online Access: | https://hdl.handle.net/1721.1/129955.2 |
Similar Items
-
Exploiting Errors for Efficiency: A Survey from Circuits to Applications
by: Stanley-Marbell, Phillip, et al.
Published: (2021) -
Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
by: Carbin, Michael, et al.
Published: (2013) -
Verifying quantitative reliability for programs that execute on unreliable hardware
by: Misailovic, Sasa, et al.
Published: (2015) -
Reasoning about Relaxed Programs
by: Carbin, Michael, et al.
Published: (2011) -
Verified integrity properties for safe approximate program transformations
by: Kim, Deokhwan, et al.
Published: (2014)