{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T10:48:30Z","timestamp":1774781310705,"version":"3.50.1"},"reference-count":198,"publisher":"Emerald","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12,18]]},"abstract":"<jats:p>This survey explores the theory and practice of techniques to make computing systems faster or more energy-efficient by allowing them to make controlled errors. In the same way that systems which only use as much energy as necessary are referred to as being energy-efficient, you can think of the class of systems addressed by this survey as being error-efficient: They only prevent as many errors as they need to. The definition of what constitutes an error varies across the parts of a system. And the errors which are acceptable depend on the application at hand.<\/jats:p>\n                  <jats:p>In computing systems, making errors, when behaving correctly would be too expensive, can conserve resources. The resources conserved may be time: By making some errors, systems may be faster. The resource may also be energy: A system may use less power from its batteries or from the electrical grid by only avoiding certain errors while tolerating benign errors that are associated with reduced power consumption. The resource in question may be an even more abstract quantity such as consistency of ordering of the outputs of a system.<\/jats:p>\n                  <jats:p>This survey is for anyone interested in an end-to-end view of one set of techniques that address the theory and practice of making computing systems more efficient by trading errors for improved efficiency.<\/jats:p>","DOI":"10.1561\/1000000049","type":"journal-article","created":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T09:53:34Z","timestamp":1513590814000},"page":"362-461","source":"Crossref","is-referenced-by-count":1,"title":["Error-Efficient Computing Systems"],"prefix":"10.1561","volume":"11","author":[{"given":"Phillip","family":"Stanley-Marbell","sequence":"first","affiliation":[{"name":"University of Cambridge"}]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}]}],"member":"140","published-online":{"date-parts":[[2017,12,18]]},"reference":[{"key":"2026032901222302100_ref001","first-page":"15","volume-title":"On quantification of accuracy loss in approximate computing","author":"Akturk","year":"2015"},{"issue":"2s","key":"2026032901222302100_ref002","doi-asserted-by":"crossref","DOI":"10.1145\/2465787.2465794","article-title":"Survey of stochastic computing","volume":"12","author":"Alaghi","year":"2013","journal-title":"ACM Trans. Embed. Comput. Syst"},{"issue":"6","key":"2026032901222302100_ref003","doi-asserted-by":"crossref","first-page":"1737","DOI":"10.1109\/18.556670","article-title":"Priority encoding transmission","volume":"42","author":"Albanese","year":"1996","journal-title":"Information Theory, IEEE Transactions on"},{"issue":"2","key":"2026032901222302100_ref004","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/JSSC.2003.821774","article-title":"A micropower programmable DSP using approximate signal processing based on distributed arithmetic","volume":"39","author":"Amirtharajah","year":"2004","journal-title":"IEEE Journal of Solid-State Circuits"},{"key":"2026032901222302100_ref005","volume-title":"ADXL362 Micropower, 3-Axis, \u00b12 g \/ \u00b14 g \/ \u00b18 g Digital Output MEMS Accelerometer","author":"Devices","year":"2014"},{"key":"2026032901222302100_ref006","first-page":"57","volume-title":"Adaptive display power management for mobile games","author":"Anand","year":"2011"},{"key":"2026032901222302100_ref007","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MC.2004.1274005","article-title":"Making typical silicon matter with razor","volume":"37","author":"Austin","year":"2004","journal-title":"Computer"},{"key":"2026032901222302100_ref008","first-page":"2","volume-title":"Opportunities and challenges for better than worst-case design","author":"Austin","year":"2005"},{"key":"2026032901222302100_ref009","first-page":"1491","article-title":"The N-Version Approach to Fault-Tolerant Software","volume-title":"IEEE Transactions of Software Engineering","author":"Avizeinis","year":"1985"},{"key":"2026032901222302100_ref010","first-page":"11","article-title":"Basic concepts and taxonomy of dependable and secure computing","volume-title":"IEEE transactions on dependable and secure computing","author":"Avi\u017eienis","year":"2004"},{"key":"2026032901222302100_ref011","doi-asserted-by":"crossref","volume-title":"Incorporating Error Recovery into the Imprecise Computation Model","author":"Aydin","DOI":"10.1109\/RTCSA.1999.811278"},{"key":"2026032901222302100_ref012","first-page":"198","volume-title":"Green: a framework for supporting energy-conscious programming using controlled approximation","author":"Baek","year":"2010"},{"key":"2026032901222302100_ref013","first-page":"84","volume-title":"Energy-efficient discrete signal processing with field programmable analog arrays (fpaas)","author":"Bai","year":"2015"},{"issue":"3","key":"2026032901222302100_ref014","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/MCSE.2005.52","article-title":"High-precision floating-point arithmetic in scientific computation","volume":"7","author":"Bailey","year":"2005","journal-title":"Computing in science & engineering"},{"key":"2026032901222302100_ref015","volume-title":"Error resilient system architecture (ERSA) for probabilistic applications","author":"Bau","year":"2007"},{"issue":"3","key":"2026032901222302100_ref016","first-page":"305","volume":"5","author":"Baumann","year":"2005","journal-title":"Radiation-Induced Soft Errors in Advanced Semiconductor Technologies"},{"issue":"1","key":"2026032901222302100_ref017","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1038\/scientificamerican0785-48","article-title":"The fundamental physical limits of computation","volume":"253","author":"Bennett","year":"1985","journal-title":"Scientific American"},{"key":"2026032901222302100_ref018","first-page":"453","volume-title":"A dynamic program analysis to find floating-point accuracy problems","author":"Benz","year":"2012"},{"key":"2026032901222302100_ref019","article-title":"Rate-distortion theory","volume-title":"Encyclopedia of Telecommunications","author":"Berger","year":"1971"},{"key":"2026032901222302100_ref020","doi-asserted-by":"crossref","DOI":"10.1109\/T-C.1975.224255","article-title":"A reliability model for gracefully degrading and standby-sparing systems","volume-title":"IEEE Transactions on Computers","author":"Borgerson","year":"1975"},{"key":"2026032901222302100_ref021","first-page":"75","volume-title":"Design and reliability challenges in nanometer technologies","author":"Borkar","year":"2004"},{"issue":"1","key":"2026032901222302100_ref022","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s11265-008-0175-9","article-title":"Instruction-Level Fault Tolerance Configurability","volume":"57","author":"Borodin","year":"2009","journal-title":"Journal of Signal Processing Systems"},{"key":"2026032901222302100_ref023","volume-title":"BMX055 Small, Versatile 9-axis Sensor Module","author":"Sensortec","year":"2014"},{"issue":"2","key":"2026032901222302100_ref024","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MM.2002.997876","article-title":"Power4 system design for high reliability","volume":"22","author":"Bossen","year":"2002","journal-title":"IEEE Micro"},{"key":"2026032901222302100_ref025","first-page":"2","volume-title":"Multi-media applications and imprecise computation","author":"Breuer","year":"2005"},{"key":"2026032901222302100_ref026","first-page":"871","volume-title":"Hardware that produces bounded rather than exact results","author":"Breuer","year":"2010"},{"key":"2026032901222302100_ref027","first-page":"2","volume-title":"Multi-media applications and imprecise computation","author":"Breuer","year":"2005"},{"issue":"3","key":"2026032901222302100_ref028","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2498\/cit.2000.03.07","article-title":"Genetic algorithms in real-time imprecise computing","volume":"8","author":"Budin","year":"2004","journal-title":"Journal of Computing and Information Technology"},{"key":"2026032901222302100_ref029","volume-title":"Essentials of electronic testing for digital, memory, and mixed-signal VLSI circuits","author":"Bushnell","year":"2000"},{"key":"2026032901222302100_ref030","first-page":"31","volume-title":"Microreboot \u2014 a technique for cheap recovery","author":"Candea","year":"2004"},{"key":"2026032901222302100_ref031","first-page":"33","volume-title":"Verifying quantitative reliability for programs that execute on unreliable hardware","author":"Carbin","year":"2013"},{"key":"2026032901222302100_ref032","first-page":"865","volume-title":"Best-effort computing: re-thinking parallel software and hardware","author":"Chakradhar","year":"2010"},{"issue":"1","key":"2026032901222302100_ref033","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","article-title":"Distributed snapshots: determining global states of distributed systems","volume":"3","author":"Mani Chandy","year":"1985","journal-title":"ACM Trans. Comput. Syst"},{"issue":"8","key":"2026032901222302100_ref034","doi-asserted-by":"crossref","first-page":"837","DOI":"10.1109\/TVLSI.2004.831472","article-title":"Dls: dynamic backlight luminance scaling of liquid crystal display","volume":"12","author":"Chang","year":"2004","journal-title":"Very Large Scale Integration (VLSI) Systems, IEEE Transactions on"},{"key":"2026032901222302100_ref035","volume-title":"32-Bit RISC Processor Implementing Transient Fault-Tolerant Mechanisms and its Radiation Test Campaign Results","author":"Chardonnereau"},{"key":"2026032901222302100_ref036","doi-asserted-by":"crossref","DOI":"10.1145\/2444776.2444781","volume-title":"How is energy consumed in smartphone display applications?","author":"Chen","year":"2013"},{"key":"2026032901222302100_ref037","volume-title":"Finger-shadow: An oled power optimization based on smartphone touch interactions","author":"Chen","year":"2014"},{"key":"2026032901222302100_ref038","first-page":"10252","volume-title":"Power minimization in a backlit tft-lcd display by concurrent brightness and contrast scaling","author":"Cheng","year":"2004"},{"key":"2026032901222302100_ref039","first-page":"89","volume-title":"Temporal vision-guided energy minimization for portable displays","author":"Cheng"},{"key":"2026032901222302100_ref040","first-page":"555","volume-title":"Scalable effort hardware design: exploiting algorithmic resilience for energy efficiency","author":"Chippa","year":"2010"},{"issue":"10","key":"2026032901222302100_ref041","first-page":"1797","article-title":"Embedded transition inversion coding with low switching activity for serial links","volume":"21","author":"Chiu","year":"2013","journal-title":"IEEE TVLSI"},{"key":"2026032901222302100_ref042","first-page":"112","volume-title":"Low-power color tft lcd display for hand-held embedded systems","author":"Choi","year":"2002"},{"key":"2026032901222302100_ref043","first-page":"2046","volume-title":"Power Efficient Motion Estimation using Multiple Imprecise Metric Computations","author":"Chong","year":"2007"},{"issue":"2","key":"2026032901222302100_ref044","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1111\/j.1467-8659.2009.01359.x","article-title":"Energy aware color sets","volume":"28","author":"Chuang","year":"2009","journal-title":"Computer Graphics Forum"},{"key":"2026032901222302100_ref045","first-page":"754","volume-title":"Neutron ser characterization of microprocessors","author":"Constantinescu","year":"2005"},{"key":"2026032901222302100_ref046","volume-title":"Elements of information theory","author":"Cover","year":"1991"},{"key":"2026032901222302100_ref047","doi-asserted-by":"crossref","DOI":"10.1145\/1745438.1745446","volume-title":"Filet-o-fish: Practical and dependable domain-specific languages for os development","author":"Dagand","year":"2009"},{"issue":"5","key":"2026032901222302100_ref048","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1109\/JSSC.1974.1050511","article-title":"Design of ion-implanted mosfet\u2019s with very small physical dimensions","volume":"9","author":"Dennard","year":"1974","journal-title":"IEEE Journal of Solid-State Circuits"},{"key":"2026032901222302100_ref049","first-page":"85","volume-title":"Chameleon: A color-adaptive web browser for mobile oled displays","author":"Dong","year":"2011"},{"key":"2026032901222302100_ref050","first-page":"339","volume-title":"Power-saving color transformation of mobile graphical user interfaces on oled-based displays","author":"Dong","year":"2009"},{"key":"2026032901222302100_ref051","first-page":"652","volume-title":"Power modeling of graphical user interfaces on oled displays","author":"Dong","year":"2009"},{"key":"2026032901222302100_ref052","first-page":"301","volume-title":"Architecture support for disciplined approximate programming","author":"Esmaeilzadeh","year":"2012"},{"key":"2026032901222302100_ref053","first-page":"449","volume-title":"Neural acceleration for general-purpose approximate programs","author":"Esmaeilzadeh","year":"2012"},{"key":"2026032901222302100_ref054","volume-title":"Kinetis KL03 32 KB Flash 48 MHz Cortex-M0+ Based Microcontroller","author":"Semiconductor","year":"2014"},{"key":"2026032901222302100_ref055","volume-title":"MMA8451Q 3-Axis, 14-bit\/8-bit Digital Accelerometer","author":"Semiconductor","year":"2014"},{"key":"2026032901222302100_ref056","first-page":"158","volume-title":"Probabilistic arithmetic and energy efficient embedded signal processing","author":"George","year":"2006"},{"issue":"4","key":"2026032901222302100_ref057","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","article-title":"A general method for numerically simulating the stochastic time evolution of coupled chemical reactions","volume":"22","author":"Gillespie","year":"1976","journal-title":"Journal of computational physics"},{"issue":"25","key":"2026032901222302100_ref058","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","article-title":"Exact stochastic simulation of coupled chemical reactions","volume":"81","author":"Gillespie","year":"1977","journal-title":"The journal of physical chemistry"},{"key":"2026032901222302100_ref059","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511542985","volume-title":"Tolerance graphs","author":"Golumbic","year":"2004"},{"key":"2026032901222302100_ref060","first-page":"399","volume-title":"The principles and practice of probabilistic programming","author":"Goodman","year":"2013"},{"key":"2026032901222302100_ref061","volume-title":"Church: a language for generative models","author":"Goodman","year":"2012"},{"key":"2026032901222302100_ref062","first-page":"321","volume-title":"Tabular: A schema-driven probabilistic programming language","author":"Gordon","year":"2014"},{"key":"2026032901222302100_ref063","first-page":"167","volume-title":"Probabilistic programming","author":"Gordon","year":"2014"},{"key":"2026032901222302100_ref064","first-page":"317","volume-title":"An energy scalable computational array for sensor signal processing","author":"Guo","year":"2006"},{"issue":"2","key":"2026032901222302100_ref065","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","article-title":"Error detecting and error correcting codes","volume":"29","author":"Hamming","year":"1950","journal-title":"Bell System technical journal"},{"key":"2026032901222302100_ref066","first-page":"199","volume-title":"Energy-aware user interfaces: An evaluation of user acceptance","author":"Harter","year":"2004"},{"issue":"6","key":"2026032901222302100_ref067","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1511\/2003.38.484","article-title":"A lucid interval","volume":"91","author":"Hayes","year":"2003","journal-title":"American Scientist"},{"issue":"3","key":"2026032901222302100_ref068","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1008153532043","article-title":"Using accurate arithmetics to improve numerical reproducibility and stability in parallel applications","volume":"18","author":"He","year":"2001","journal-title":"J. Supercomput"},{"key":"2026032901222302100_ref069","first-page":"30","volume-title":"Energy-efficient signal processing via algorithmic noise-tolerance","author":"Hegde","year":"1999"},{"key":"2026032901222302100_ref070","first-page":"5","volume-title":"SEU Tolerant Device, Circuit and Processor Design","author":"Heidergott","year":"2005"},{"issue":"7","key":"2026032901222302100_ref071","first-page":"321","article-title":"Algorithm 64: Quicksort","volume":"4","author":"Hoare","year":"1961","journal-title":"Commun. ACM"},{"key":"2026032901222302100_ref072","first-page":"198","volume-title":"Jouleguard: Energy guarantees for approximate applications","author":"Hoffmann","year":"2015"},{"key":"2026032901222302100_ref073","first-page":"216","volume-title":"Multiple instruction issue in the NonStop cyclone processor","author":"Horst","year":"1990"},{"key":"2026032901222302100_ref074","volume-title":"ICS: A system for imprecise computations","author":"Hull","year":"1993"},{"key":"2026032901222302100_ref075","first-page":"612","volume-title":"Dtm: Dynamic tone mapping for backlight scaling","author":"Iranli","year":"2005"},{"key":"2026032901222302100_ref076","volume-title":"Seminar, Center for Silicon System Implementation (CSSI)","author":"Jacquet","year":"2006"},{"key":"2026032901222302100_ref077","volume-title":"Quantifying the Common Computational Problems in Contemporary Applications (Extended version)","author":"Jongerius","year":"2014"},{"key":"2026032901222302100_ref078","first-page":"59","volume-title":"Tolerating hardware device failures in software","author":"Kadav","year":"2009"},{"key":"2026032901222302100_ref079","first-page":"825","volume-title":"Recovery-driven design: a power minimization methodology for error-tolerant processor modules","author":"Kahng","year":"2010"},{"issue":"5","key":"2026032901222302100_ref080","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/2.76288","article-title":"Building flexible real-time systems using the flex language","volume":"24","author":"Kenny","year":"1991","journal-title":"Computer"},{"issue":"4722","key":"2026032901222302100_ref081","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1126\/science.230.4722.138","article-title":"What makes a good computer device?","volume":"230","author":"Keyes","year":"1985","journal-title":"Science"},{"key":"2026032901222302100_ref082","first-page":"3","article-title":"The many faces of uncertainty","volume":"17","author":"Klir","year":"1994","journal-title":"Machine Intelligence and Pattern Recognition"},{"key":"2026032901222302100_ref083","volume-title":"Fault Tolerant Systems","author":"Koren","year":"2007"},{"key":"2026032901222302100_ref084","doi-asserted-by":"crossref","DOI":"10.1515\/9783110203196","volume-title":"Computer arithmetic and validity: theory, implementation, and applications. de Gruyter","author":"Kulisch","year":"2008"},{"issue":"2","key":"2026032901222302100_ref085","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1964897.1964918","article-title":"Activity recognition using cell phone accelerometers","volume":"12","author":"Kwapisz","year":"2011","journal-title":"SIGKDD Explor. Newsl"},{"key":"2026032901222302100_ref086","first-page":"115","volume-title":"Color vision and the natural image. part i","author":"Land","year":"1959"},{"key":"2026032901222302100_ref087","first-page":"636","volume-title":"Color vision and the natural image part ii","author":"Land","year":"1959"},{"issue":"5","key":"2026032901222302100_ref088","doi-asserted-by":"crossref","DOI":"10.1038\/scientificamerican0559-84","article-title":"Experiments in color vision","volume":"200","author":"Land","year":"1959","journal-title":"Scientific American"},{"issue":"6","key":"2026032901222302100_ref089","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1038\/scientificamerican1277-108","article-title":"The retinex theory of color vision","volume":"237","author":"Land","year":"1977","journal-title":"Scientific American"},{"key":"2026032901222302100_ref090","first-page":"5163","volume-title":"Recent advances in retinex theory and some implications for cortical computations: color vision and the natural image","author":"Land","year":"1983"},{"key":"2026032901222302100_ref091","first-page":"3078","volume-title":"An alternative technique for the computation of the designator in the retinex theory of color vision","author":"Land","year":"1986"},{"key":"2026032901222302100_ref092","volume-title":"ERSA: Error Resilient System Architecture for Probabilistic Applications","author":"Leem","year":"2010"},{"key":"2026032901222302100_ref093","first-page":"527","volume-title":"Making web applications more energy efficient for oled smartphones","author":"Li","year":"2014"},{"key":"2026032901222302100_ref094","first-page":"958","volume-title":"Nyx: A display energy optimizer for mobile web apps","author":"Li","year":"2015"},{"key":"2026032901222302100_ref095","first-page":"265","volume-title":"ACM SIGARCH Computer Architecture News","author":"Li","year":"2008"},{"key":"2026032901222302100_ref096","first-page":"496","volume-title":"Softarch: an architecture-level tool for modeling and analyzing soft errors","author":"Li","year":"2005"},{"key":"2026032901222302100_ref097","first-page":"181","volume-title":"Application-level correctness and its impact on fault tolerance","author":"Li","year":"2007"},{"key":"2026032901222302100_ref098","first-page":"230","volume-title":"Towards program optimization through automated analysis of numerical precision","author":"Linderman","year":"2010"},{"key":"2026032901222302100_ref099","first-page":"3","volume-title":"Algorithmic methodologies for ultraefficient inexact architectures for sustaining technology scaling","author":"Lingamneni","year":"2012"},{"issue":"2s","key":"2026032901222302100_ref100","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/2465787.2465795","article-title":"Synthesizing parsimonious inexact circuits through probabilistic design techniques","volume":"12","author":"Lingamneni","year":"2013","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"issue":"5","key":"2026032901222302100_ref101","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/2.76287","article-title":"Algorithms for scheduling imprecise computations","volume":"24","author":"Liu","year":"1991","journal-title":"Computer"},{"key":"2026032901222302100_ref102","first-page":"83","volume-title":"Imprecise Computations","author":"Liu"},{"key":"2026032901222302100_ref103","article-title":"Flicker: Saving Refresh-Power in Mobile Devices through Critical Data Partitioning","volume-title":"Microsoft Research","author":"Liu","year":"2009"},{"key":"2026032901222302100_ref104","first-page":"21","volume-title":"Algorithms and Complexity","author":"Rabin","year":"1976"},{"key":"2026032901222302100_ref105","first-page":"109","volume-title":"Circuit models of stochastic genetic networks","author":"Mandal"},{"issue":"86","key":"2026032901222302100_ref106","article-title":"Compiling probabilistic, bio-inspired circuits on a field programmable analog array","volume":"8","author":"Bo Marr","year":"2014","journal-title":"Frontiers in Neuroscience"},{"key":"2026032901222302100_ref107","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/T-ED.1979.19370","article-title":"Alpha-particle-induced soft errors in dynamic memories","volume":"26","author":"May","year":"1979","journal-title":"IEEE Trans. Elect. Dev"},{"key":"2026032901222302100_ref108","first-page":"1","volume-title":"Low-cost protection for SER upsets and silicon defects","author":"Mehrara","year":"2007"},{"key":"2026032901222302100_ref109","first-page":"1","volume-title":"Best-effort parallel execution framework for recognition and mining applications","author":"Meng","year":"2009"},{"key":"2026032901222302100_ref110","first-page":"2","volume-title":"Devil: An idl for hardware programming","author":"M\u00e9rillon","year":"2000"},{"key":"2026032901222302100_ref111","first-page":"309","volume-title":"Chisel: reliability-and accuracy-aware optimization of approximate computational kernels","author":"Misailovic","year":"2014"},{"key":"2026032901222302100_ref112","first-page":"767","volume-title":"Mars-c: modeling and reduction of soft errors in combinational circuits","author":"Miskov-Zivanov","year":"2006"},{"key":"2026032901222302100_ref113","first-page":"317","volume-title":"Empowering developers to estimate app energy consumption","author":"Mittal","year":"2012"},{"key":"2026032901222302100_ref114","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813603","volume-title":"Probability and computing: Randomized algorithms and probabilistic analysis","author":"Mitzenmacher","year":"2005"},{"key":"2026032901222302100_ref115","first-page":"195","volume-title":"Significance driven computation: a voltage-scalable, variation-aware, quality-tuning motion estimator","author":"Mohapatra","year":"2009"},{"key":"2026032901222302100_ref116","volume-title":"Randomized algorithms","author":"Motwani","year":"2010"},{"issue":"2","key":"2026032901222302100_ref117","article-title":"Soft-Error Testing: Key Points","volume":"38","author":"Nicolaidis","year":"2005","journal-title":"Computer"},{"key":"2026032901222302100_ref118","volume-title":"UM10204, I2C-bus specification and user manual","author":"NXP Semiconductors","year":"2014"},{"issue":"2","key":"2026032901222302100_ref119","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/12.980007","article-title":"ED4I: Error detection by diverse data and duplicated instructions","volume":"51","author":"Oh","year":"2002","journal-title":"IEEE Trans. Computers"},{"issue":"1","key":"2026032901222302100_ref120","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/24.994913","article-title":"Error detection by duplicated instructions in super-scalar processors","volume":"51","author":"Oh","year":"2002","journal-title":"IEEE Transactions on Reliability"},{"key":"2026032901222302100_ref121","doi-asserted-by":"crossref","first-page":"1123","DOI":"10.1109\/TC.2005.145","article-title":"Energy aware computing through probabilistic switching: A study of limits","volume":"54","author":"Palem","year":"2005","journal-title":"IEEE Trans. Comput"},{"key":"2026032901222302100_ref122","first-page":"1","volume-title":"Automatically improving accuracy for floating point expressions","author":"Panchekha","year":"2015"},{"key":"2026032901222302100_ref123","first-page":"398","article-title":"Dynamic backlight adaptation for low-power handheld devices","volume-title":"IEEE design & test of computers","author":"Pasricha","year":"2004"},{"key":"2026032901222302100_ref124","first-page":"219","volume-title":"Samurai: protecting critical data in unsafe languages","author":"Pattabiraman","year":"2008"},{"key":"2026032901222302100_ref125","first-page":"278","volume-title":"On the extremely fair treatment of probabilistic algorithms","author":"Pnueli","year":"1983"},{"issue":"3","key":"2026032901222302100_ref126","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/MC.2006.89","article-title":"Energy-aware user interfaces and energy-adaptive displays","volume":"39","author":"Ranganathan","year":"2006","journal-title":"Computer"},{"issue":"3","key":"2026032901222302100_ref127","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1145\/177492.177724","article-title":"Reasoning about probabilistic parallel programs","volume":"16","author":"Rao","year":"1994","journal-title":"ACM Trans. Program. Lang. Syst"},{"key":"2026032901222302100_ref128","first-page":"214","volume-title":"Dual use of superscalar datapath for transient-fault detection and recovery","author":"Ray","year":"2001"},{"key":"2026032901222302100_ref129","first-page":"8","volume-title":"Logics for probabilistic programming (extended abstract)","author":"Reif","year":"1980"},{"key":"2026032901222302100_ref130","first-page":"243","volume-title":"Swift: Software implemented fault tolerance","author":"Reis","year":"2005"},{"key":"2026032901222302100_ref131","first-page":"148","volume-title":"Design and evaluation of hybrid fault-detection systems","author":"Reis","year":"2005"},{"key":"2026032901222302100_ref132","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/1113841.1113843","article-title":"Software-controlled fault tolerance","volume":"2","author":"Reis","year":"2005","journal-title":"ACM Trans. Archit. Code Optim"},{"key":"2026032901222302100_ref133","first-page":"1","volume-title":"A low-SER efficient core processor architecture for future technologies","author":"Rhod","year":"2007"},{"issue":"2","key":"2026032901222302100_ref134","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF02526038","article-title":"Classes of cost functions for string edit distance","volume":"18","author":"Rice","year":"1997","journal-title":"Algorithmica"},{"key":"2026032901222302100_ref135","first-page":"324","volume-title":"Probabilistic accuracy bounds for fault-tolerant computations that discard tasks","author":"Rinard","year":"2006"},{"key":"2026032901222302100_ref136","first-page":"806","volume-title":"Patterns and statistical analysis for understanding reduced resource computing","author":"Rinard","year":"2010"},{"key":"2026032901222302100_ref137","first-page":"661","volume-title":"User-guided device driver synthesis","author":"Ryzhyk","year":"2014"},{"key":"2026032901222302100_ref138","first-page":"760","volume-title":"Microprocessor sensitivity to failures: Control vs execution and combinational vs sequential logic","author":"Saggese","year":"2005"},{"key":"2026032901222302100_ref139","first-page":"208","volume-title":"Epsilon geometry: building robust algorithms from imprecise computations","author":"Salesin","year":"1989"},{"key":"2026032901222302100_ref140","first-page":"13","volume-title":"Sage: Self-tuning approximation for graphics engines","author":"Samadi","year":"2013"},{"key":"2026032901222302100_ref141","first-page":"164","volume-title":"Enerj: Approximate data types for safe and general low-power computation","author":"Sampson","year":"2011"},{"key":"2026032901222302100_ref142","first-page":"25","volume-title":"Approximate storage in solid-state memories","author":"Sampson","year":"2013"},{"issue":"2s","key":"2026032901222302100_ref143","doi-asserted-by":"crossref","DOI":"10.1145\/2465787.2465791","article-title":"Exploiting timing error resilience in processor architecture","volume":"12","author":"Sartori","year":"2013","journal-title":"ACM Trans. Embed. Comput. Syst"},{"key":"2026032901222302100_ref144","first-page":"11","volume-title":"Optimizing mobile display brightness by leveraging human visual perception","author":"Schuchhardt","year":"2015"},{"key":"2026032901222302100_ref145","first-page":"830","volume-title":"Reliable and energy-efficient digital signal processing","author":"Shanbhag","year":"2002"},{"key":"2026032901222302100_ref146","first-page":"859","volume-title":"Stochastic Computation","author":"Shanbhag","year":"2010"},{"issue":"4","key":"2026032901222302100_ref147","first-page":"142","article-title":"Coding theorems for a discrete source with a fidelity criterion","volume":"7","author":"Shannon","year":"1959","journal-title":"IRE National Convention Record"},{"key":"2026032901222302100_ref148","volume-title":"The Mathematical Theory of Communication","author":"Shannon","year":"1963"},{"issue":"3","key":"2026032901222302100_ref149","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1109\/12.372040","article-title":"Algorithms for scheduling imprecise computations with timing constraints to minimize maximum error","volume":"44","author":"Shih","year":"1995","journal-title":"IEEE Transactions on Computers"},{"key":"2026032901222302100_ref150","first-page":"53","volume-title":"Dynamic voltage scaling of oled displays","author":"Shin","year":"2011"},{"key":"2026032901222302100_ref151","first-page":"124","volume-title":"Managing performance vs. accuracy trade-offs with loop perforation","author":"Sidiroglou-Douskos","year":"2011"},{"key":"2026032901222302100_ref152","volume-title":"Reliable Computer Systems, Design and Evaluation","author":"Siewiorek","year":"1992","edition":"2nd"},{"key":"2026032901222302100_ref153","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/40.755464","article-title":"IBM\u2019s S\/390 G5 Microprocessor design","volume":"19","author":"Slegel","year":"1999","journal-title":"IEEE Micro"},{"issue":"1","key":"2026032901222302100_ref154","first-page":"629","article-title":"An Overview of the Tesseract OCR Engine","volume":"7","author":"Smith","year":"2007","journal-title":"ICDAR"},{"key":"2026032901222302100_ref155","first-page":"276","volume-title":"ACM SIGARCH Computer Architecture News","author":"Srinivasan","year":"2004"},{"key":"2026032901222302100_ref156","volume-title":"L3G4200D MEMS Motion Sensor: Ultra-stable Three-axis Digital Output Gyroscope","author":"ST Microelectronics","year":"2010"},{"key":"2026032901222302100_ref157","volume-title":"LPS25HMEMS Pressure Sensor: 260-1260 hPa Absolute Digital Output Barometer","author":"ST Microelectronics","year":"2014"},{"key":"2026032901222302100_ref158","volume-title":"Virtual Machines and Intermediate Languages, VMIL\u201910","author":"Stanley-Marbell","year":"2010"},{"key":"2026032901222302100_ref159","volume-title":"A Programming Model and Language Implementation for Concurrent Failure-Prone Hardware","author":"Stanley-Marbell"},{"key":"2026032901222302100_ref160","volume-title":"Lax: Driver interfaces for approximate sensor device access","author":"Stanley-Marbell"},{"key":"2026032901222302100_ref161","article-title":"Value-deviation-bounded serial data encoding for energy-efficient approximate communication","volume-title":"MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)","author":"Stanley-Marbell","year":"2015"},{"key":"2026032901222302100_ref162","first-page":"51","volume-title":"Pinned to the walls: Impact of packaging and application properties on the memory and power walls","author":"Stanley-Marbell","year":"2011"},{"key":"2026032901222302100_ref163","volume-title":"Crayon: Saving power through shape and color approximation on next-generation displays","author":"Stanley-Marbell"},{"key":"2026032901222302100_ref164","doi-asserted-by":"crossref","first-page":"571","DOI":"10.7551\/mitpress\/5641.003.0027","article-title":"A Complete Axiom System for Finite-State Probabilistic Processes","volume-title":"Proof, Language and interaction \u2014 Essays in honour of Robin Milner","author":"Stark","year":"2000"},{"key":"2026032901222302100_ref165","first-page":"108","volume-title":"Bitwidth analysis with application to silicon compilation","author":"Stephenson","year":"2000"},{"key":"2026032901222302100_ref166","first-page":"1","volume-title":"Hail: A language for easy and correct device access","author":"Sun","year":"2005"},{"key":"2026032901222302100_ref167","first-page":"257","volume-title":"Slipstream processors: improving both performance and fault tolerance","author":"Sundaramoorthy","year":"2000"},{"issue":"3","key":"2026032901222302100_ref168","first-page":"509","article-title":"Power dissipation bounds for high-speed nyquist analog-to-digital converters","volume":"56","author":"Sundstr\u00f6m","year":"2009","journal-title":"Circuits and Systems I: Regular Papers, IEEE Transactions on"},{"key":"2026032901222302100_ref169","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1109\/23.212327","volume":"40","author":"Taber","year":"1993","journal-title":"IEEE Trans. Nucl. Sci"},{"key":"2026032901222302100_ref170","first-page":"573","volume-title":"Focus: A usable & effective approach to oled display power management","author":"Tan","year":"2013"},{"key":"2026032901222302100_ref171","volume-title":"CC256x Bluetooth\u00ae and Dual-Mode Controller","author":"Texas Instruments","year":"2014"},{"key":"2026032901222302100_ref172","volume-title":"HDC1000 Low Power, High Accuracy Digital Humidity Sensor with Temperature Sensor","author":"Texas Instruments","year":"2014"},{"key":"2026032901222302100_ref173","volume-title":"TMP006\/B Infrared Thermopile Sensor in Chip-Scale Package","author":"Texas Instruments","year":"2014"},{"key":"2026032901222302100_ref174","volume-title":"TPS8267x 600-mA, High-Efficiency MicroSIP\u2122 Step-Down Converter","author":"Texas Instruments","year":"2014"},{"key":"2026032901222302100_ref175","volume-title":"TPS82740x 360nA IQ MicroSIP\u2122 Step Down Converter Module for Low Power Applications","author":"Texas Instruments","year":"2014"},{"key":"2026032901222302100_ref176","first-page":"2005","volume-title":"In quest of the \u201cnext switch\u201d: Prospects for greatly reduced power dissipation in a successor to the silicon field-effect transistor","author":"Theis"},{"key":"2026032901222302100_ref177","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/92.845894","article-title":"Reducing power by optimizing the necessary precision\/range of floating-point arithmetic","volume":"8","author":"Fai Tong","year":"2000","journal-title":"IEEE Trans. Very Large Scale Integr. Syst"},{"key":"2026032901222302100_ref178","first-page":"1","article-title":"Stochastic networked computation","volume-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","author":"Varatkar","year":"2009"},{"key":"2026032901222302100_ref179","volume-title":"Analog logic: Continuous-Time analog circuits for statistical signal processing","author":"Vigoda","year":"2003"},{"key":"2026032901222302100_ref180","first-page":"349","volume-title":"Low power logic for statistical inference","author":"Vigoda","year":"2010"},{"key":"2026032901222302100_ref181","first-page":"43","article-title":"Probabilistic logics and the synthesis of reliable organisms from unreliable components","volume-title":"Automata Studies","author":"von Neumann","year":"1956"},{"key":"2026032901222302100_ref182","volume-title":"The computer and the brain","author":"von Neumann","year":"2012"},{"key":"2026032901222302100_ref183","first-page":"140","volume-title":"Engineering trust with semantic guardians","author":"Wagner","year":"2007"},{"key":"2026032901222302100_ref184","first-page":"38","volume-title":"Static typing for a faulty lambda calculus","author":"Walker","year":"2006"},{"issue":"4","key":"2026032901222302100_ref185","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/103085.103089","article-title":"The jpeg still picture compression standard","volume":"34","author":"Wallace","year":"1991","journal-title":"Communications of the ACM"},{"key":"2026032901222302100_ref186","volume-title":"GreenVis : Energy-Saving Color Schemes for Sequential Data Visualization on OLED Displays","author":"Wang","year":"2012"},{"key":"2026032901222302100_ref187","first-page":"411","volume-title":"A fault tolerant approach to microprocessor design","author":"Weaver","year":"2001"},{"key":"2026032901222302100_ref188","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970166","volume-title":"Combinatorial algorithms: an update","author":"Wilf","year":"1989"},{"issue":"11","key":"2026032901222302100_ref189","doi-asserted-by":"crossref","first-page":"822","DOI":"10.1145\/359863.359883","article-title":"What can we do about the unnecessary diversity of notation for syntactic definitions?","volume":"20","author":"Wirth","year":"1977","journal-title":"Commun. ACM"},{"key":"2026032901222302100_ref190","article-title":"Robust word recognition dataset","volume-title":"ICDAR","author":"Wong","year":"2003"},{"key":"2026032901222302100_ref191","volume-title":"Soft error resilience of probabilistic inference applications","author":"Wong","year":"2006"},{"key":"2026032901222302100_ref192","volume-title":"Color Science: Concepts and Methods, Quantitative Data and Formulae","author":"Wyszecki","year":"2000"},{"key":"2026032901222302100_ref193","first-page":"294","volume-title":"Process impact on SRAM Alpha-particle SEU performance","author":"Xu","year":"2004"},{"issue":"2","key":"2026032901222302100_ref194","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/2518148.2518156","article-title":"Online oled dynamic voltage scaling for video streaming applications on mobile devices","volume":"10","author":"Zhao","year":"2013","journal-title":"SIGBED Rev"},{"issue":"06","key":"2026032901222302100_ref195","article-title":"Full-Featured Pedometer Design Realized with 3-Axis Digital Ac-celerometer","volume":"44","author":"Zhao","year":"2010","journal-title":"Analog Dialogue"},{"issue":"4420","key":"2026032901222302100_ref196","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1126\/science.206.4420.776","article-title":"Effect of cosmic rays on computer memories","volume":"206","author":"Ziegler","year":"1979","journal-title":"Science"},{"issue":"6","key":"2026032901222302100_ref197","doi-asserted-by":"crossref","first-page":"4305","DOI":"10.1063\/1.329243","article-title":"The effect of sea level cosmic rays on electronic devices","volume":"52","author":"Ziegler","year":"1981","journal-title":"Journal of applied physics"},{"issue":"1","key":"2026032901222302100_ref198","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1147\/rd.401.0003","article-title":"Ibm experiments in soft fails in computer electronics (1978-1994)","volume":"40","author":"Ziegler","year":"1996","journal-title":"IBM journal of research and development"}],"container-title":["Foundations and Trends\u00ae in Electronic Design Automation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/fteda\/article-pdf\/11\/4\/362\/10913286\/1000000049en.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/www.emerald.com\/fteda\/article-pdf\/11\/4\/362\/10913286\/1000000049en.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T05:22:54Z","timestamp":1774761774000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.emerald.com\/fteda\/article\/11\/4\/362\/1321571\/Error-Efficient-Computing-Systems"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,18]]},"references-count":198,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12,18]]}},"URL":"https:\/\/doi.org\/10.1561\/1000000049","relation":{},"ISSN":["1551-3939","1551-3947"],"issn-type":[{"value":"1551-3939","type":"print"},{"value":"1551-3947","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,18]]}}}