{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:28:25Z","timestamp":1725686905856},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/cases.2015.7324543","type":"proceedings-article","created":{"date-parts":[[2015,11,12]],"date-time":"2015-11-12T18:05:25Z","timestamp":1447351525000},"page":"37-38","source":"Crossref","is-referenced-by-count":4,"title":["Accuracy-aware optimization of approximate programs"],"prefix":"10.1109","author":[{"given":"Sasa","family":"Misailovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457059"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950391"},{"key":"ref12","article-title":"Exploiting the forgiving nature of applications for scalable parallel execution","author":"meng","year":"2010","journal-title":"IPDPS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660231"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465790"},{"key":"ref15","article-title":"Probabilistically accurate program transformations","author":"misailovic","year":"2011","journal-title":"SAS"},{"journal-title":"Quality of service profiling ICSE","year":"2010","author":"misailovic","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.145"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786807"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1183401.1183447"},{"key":"ref4","article-title":"Verifying quantitative reliability for programs that execute on unreliable hardware","author":"carbin","year":"2013","journal-title":"OOPSLA"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254086"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151008"},{"journal-title":"Proving programs robust FSE","year":"2011","author":"chaudhuri","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950390"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.48"},{"journal-title":"Uncertain A first-order type for uncertain data ASPLOS '14","year":"2014","author":"bornholt","key":"ref2"},{"journal-title":"Green A framework for supporting energy-conscious programming using controlled approximation PLDI","year":"2010","author":"baek","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384648"},{"key":"ref20","article-title":"Enhancing server availability and security through failure-oblivious computing","author":"rinard","year":"2004","journal-title":"OSDI"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993518"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541948"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103710"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025133"}],"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\/07324543.pdf?arnumber=7324543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T00:35:02Z","timestamp":1490402102000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7324543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cases.2015.7324543","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}