{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T20:19:40Z","timestamp":1783541980921,"version":"3.55.0"},"reference-count":59,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T00:00:00Z","timestamp":1454284800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100002920","name":"Research Grants Council University Grants Committee","doi-asserted-by":"publisher","award":["418112"],"award-info":[{"award-number":["418112"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61432017"],"award-info":[{"award-number":["61432017"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1109\/mdat.2015.2505723","type":"journal-article","created":{"date-parts":[[2015,12,8]],"date-time":"2015-12-08T14:18:54Z","timestamp":1449584334000},"page":"8-22","source":"Crossref","is-referenced-by-count":487,"title":["Approximate Computing: A Survey"],"prefix":"10.1109","volume":"33","author":[{"given":"Qiang","family":"Xu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Todd","family":"Mytkowicz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nam Sung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594294"},{"key":"ref33","article-title":"Infer.NET 2.5","author":"minka","year":"2012"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-16612-9_11","article-title":"Statistical model checking: An overview","author":"legay","year":"2010"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","article-title":"Probabilistic symbolic model checking with PRISM: A hybrid approach","volume":"6","author":"kwiatkowska","year":"2004","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541948"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1183401.1183447"},{"key":"ref35","article-title":"Expectation-oriented framework for automating approximate programming","author":"park","year":"2014"},{"key":"ref34","first-page":"309","article-title":"Chisel: Reliability- and accuracy-aware optimization of approximate computational kernels","author":"misailovic","year":"0","journal-title":"Proc ACM Int Conf Object Oriented Programm Syst Lang Appl"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"ref27","first-page":"220","article-title":"Church: A language for generative models","author":"goodman","year":"0","journal-title":"Proc Uncertainty Artif Intell"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488873"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2008.917729"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540710"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806620"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694365"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19718-5_5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750371"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025131"},{"key":"ref25","first-page":"33","article-title":"Verifying quantitative reliability for programs that execute on unreliable hardware","author":"carbin","year":"0","journal-title":"Proc ACM SIGPLAN Int Conf Object Oriented Programm Syst Lang Appl"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691108"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691096"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744863"},{"key":"ref58","article-title":"ABACUS: A technique for automated behavioral synthesis of approximate computing circuits","author":"nepal","year":"0","journal-title":"Proc IEEE\/ACM Design Autom Test Eur"},{"key":"ref57","article-title":"ASLAN: Synthesis of approximate sequential circuits","author":"ranjan","year":"0","journal-title":"Proc IEEE\/ACM Design Autom Test Eur"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228504"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691202"},{"key":"ref54","first-page":"957","article-title":"Approximate logic synthesis for error tolerant applications","author":"shin","year":"0","journal-title":"Proc IEEE\/ACM Design Autom Test Eur"},{"key":"ref53","article-title":"A low-power, high-performance approximate multiplier with configurable partial error recovery","author":"liu","year":"0","journal-title":"Proc IEEE\/ACM Design Autom Test Eur"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2011.51"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593092"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540711"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2742060.2743760"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.48"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853213"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2445741"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.119"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2742060.2743759"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540712"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2013.6569370"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996588"},{"key":"ref6","article-title":"Using code perforation to improve performance, reduce energy consumption, respond to failures","author":"hoffmann","year":"2009"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806808"},{"key":"ref8","first-page":"51","article-title":"Uncertain $\\langle{\\rm T}\\rangle$: A first-order type for uncertain data","author":"bornholt","year":"0","journal-title":"Proc 6th Int Conf Archit Support Program Lang Oper Syst"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993518"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ISLPED.2011.5993675"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"812","DOI":"10.7873\/DATE.2015.0513","article-title":"Axilog: Language Support for Approximate Hardware Design","author":"amir yazdanbakhsh","year":"2015","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540712"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950391"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763154"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2370816.2370864"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2014.6835977"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322279"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2014.6835966"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763158"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/7386744\/07348659.pdf?arnumber=7348659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:46:41Z","timestamp":1641988001000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7348659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2]]},"references-count":59,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2015.2505723","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"value":"2168-2356","type":"print"},{"value":"2168-2364","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2]]}}}