{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T11:48:37Z","timestamp":1763466517344},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/cases.2015.7324547","type":"proceedings-article","created":{"date-parts":[[2015,11,12]],"date-time":"2015-11-12T23:05:25Z","timestamp":1447369525000},"page":"69-78","source":"Crossref","is-referenced-by-count":4,"title":["PAC: Program Analysis for Approximation-aware Compilation"],"prefix":"10.1109","author":[{"given":"Pooja","family":"Roy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianxing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weng Fai","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691108"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228581"},{"key":"ref12","article-title":"Mitigating soft error failures for multimedia applications by selective data protection","author":"lee","year":"0","journal-title":"CASES '06"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950391"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660231"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465790"},{"key":"ref16","first-page":"316","article-title":"Probabilistically accurate program transformations","author":"misailovic","year":"0","journal-title":"Proceedings of the 18th International Conference on Static Analysis SAS'11"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2414729.2414738"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01568.x"},{"journal-title":"SciMark 2 0","year":"0","author":"pozo","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593092"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691096"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105319"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISLPED.2011.5993675"},{"key":"ref5","article-title":"Drowsy caches: Simple techniques for reducing leakage power","author":"flautner","year":"0","journal-title":"ISCA '02"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1878921.1878955"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WWC.2001.990739"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024863"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228509"},{"key":"ref1","article-title":"Verifying quantitative reliability for programs that execute on unreliable hardware","author":"carbin","year":"0","journal-title":"OOPSLA '13"},{"key":"ref20","article-title":"Aslan: Synthesis of approximate sequential circuits","author":"ranjan","year":"0","journal-title":"DATE '14"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993518"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2597809.2597812"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488755"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540712"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349317"},{"key":"ref25","article-title":"Managing performance vs. accuracy trade-offs with loop nerforation","author":"sidiroglou-douskos","year":"0","journal-title":"ESEC\/FSE '11"}],"event":{"name":"2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","start":{"date-parts":[[2015,10,4]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313573\/7324531\/07324547.pdf?arnumber=7324547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T04:35:03Z","timestamp":1490416503000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7324547\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cases.2015.7324547","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}