{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T21:06:42Z","timestamp":1726002402531},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319993218"},{"type":"electronic","value":"9783319993225"}],"license":[{"start":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T00:00:00Z","timestamp":1544054400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-99322-5_22","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T12:56:24Z","timestamp":1544014584000},"page":"443-463","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Compilation and Other Software Techniques Enabling Approximate Computing"],"prefix":"10.1007","author":[{"given":"Weng-Fai","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pooja","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajashi","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nhut-Minh","family":"Ho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"issue":"7","key":"22_CR1","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1109\/TC.2005.119","volume":"54","author":"C Alvarez","year":"2005","unstructured":"Alvarez C, Corbal J, Valero M (2005) Fuzzy memoization for floating-point multimedia applications. IEEE Trans Comput 54(7):922\u2013927","journal-title":"IEEE Trans Comput"},{"key":"22_CR2","unstructured":"Brown AW, Kelly PH, Luk W (2007) Profiling floating point value ranges for reconfigurable implementation. In: Proceedings of the 1st HiPEAC workshop on reconfigurable computing, pp 6\u201316"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Cantin M-A, Savaria Y, Lavoie P (2002) A comparison of automatic word length optimization procedures. In: IEEE international symposium on circuits and systems (ISCAS), vol 2. IEEE, Piscataway, pp II-612\u2013II-615","DOI":"10.1109\/ISCAS.2002.1011427"},{"issue":"10","key":"22_CR4","doi-asserted-by":"publisher","first-page":"1432","DOI":"10.1109\/TCAD.2003.818119","volume":"22","author":"GA Constantinides","year":"2003","unstructured":"Constantinides GA, Cheung PY, Luk W (2003) Wordlength optimization for linear digital signal processing. IEEE Trans Comput Aided Des Integr Circuits Syst 22(10):1432\u20131442","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"issue":"2","key":"22_CR5","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TC.2010.128","volume":"60","author":"F Dinechin De","year":"2011","unstructured":"De Dinechin F, Lauter C, Melquiond G (2011) Certifying the floating-point implementation of an elementary function using gappa. IEEE Trans Comput 60(2):242\u2013253","journal-title":"IEEE Trans Comput"},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1236463.1236468","volume":"33","author":"L Fousse","year":"2007","unstructured":"Fousse L, Hanrot G, Lef\u00e8vre V, P\u00e9lissier P, Zimmermann P (2007) MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Trans Math Softw 33(2), 13","journal-title":"ACM Trans Math Softw"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/FCCM.2004.59","volume-title":"12th annual ieee symposium on field-programmable custom computing machines","author":"AA Gaffar","year":"2004","unstructured":"Gaffar AA, Mencer O, Luk W (2004) Unifying bit-width optimisation for fixed-point and floating-point designs. In: 12th annual ieee symposium on field-programmable custom computing machines. IEEE, Piscataway, pp. 79\u201388"},{"key":"22_CR8","unstructured":"GCC, the GNU compiler collection. https:\/\/gcc.gnu.org"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D Goldberg","year":"1991","unstructured":"Goldberg D (1991) What every computer scientist should know about floating-point arithmetic. ACM Comput Surv 23(1):5\u201348","journal-title":"ACM Comput Surv"},{"key":"22_CR10","first-page":"3","volume-title":"Proceedings of the IEEE international workshop on workload characterization","author":"MR Guthaus","year":"2001","unstructured":"Guthaus MR, Ringenberg JS, Ernst D, Austin TM, Mudge T, Brown RB (2001) Mibench: a free, commercially representative embedded benchmark suite. In: Proceedings of the IEEE international workshop on workload characterization. IEEE, Piscataway, pp 3\u201314"},{"key":"22_CR11","doi-asserted-by":"publisher","unstructured":"Han K, Evans BL (2006) Optimum wordlength search using sensitivity information. EURASIP J Adv Signal Process https:\/\/doi.org\/10.1155\/ASP\/2006\/92849","DOI":"10.1155\/ASP\/2006\/92849"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Ho N-M, Manogaran E, Wong W-F, Anoosheh A (2017) Efficient floating point precision tuning for approximate computing. In: Proceedings of the 22nd Asia and South Pacific design automation conference (ASP-DAC), pp 63\u201368","DOI":"10.1109\/ASPDAC.2017.7858297"},{"key":"22_CR13","unstructured":"Hubara I, Courbariaux M, Soudry D, El-Yaniv R, Bengio Y (2016) Quantized neural networks: training neural networks with low precision weights and activations. CoRR, abs\/1609.07061"},{"issue":"5","key":"22_CR14","doi-asserted-by":"publisher","first-page":"1472","DOI":"10.1145\/186025.186043","volume":"16","author":"UP Khedker","year":"1994","unstructured":"Khedker UP, Dhamdhere DM (1994) A generalized theory of bit vector data flow analysis. ACM Trans Program Lang Syst (TOPLAS) 16(5):1472\u20131511","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"key":"22_CR15","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1145\/2464996.2465018","volume-title":"Proceedings of the 27th international ACM conference on international conference on supercomputing","author":"MO Lam","year":"2013","unstructured":"Lam MO, Hollingsworth JK, de Supinski BR, LeGendre MP (2013) Automatically adapting programs for mixed-precision floating-point computation. In: Proceedings of the 27th international ACM conference on international conference on supercomputing. ACM, New York, pp 369\u2013378"},{"key":"22_CR16","first-page":"837","volume-title":"Proceedings of the 42nd annual design automation conference","author":"D-U Lee","year":"2005","unstructured":"Lee D-U, Gaffar AA, Mencer O, Luk W (2005) Minibit: bit-width optimization via affine arithmetic. In: Proceedings of the 42nd annual design automation conference. ACM, New York, pp 837\u2013840"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/1176760.1176810","volume-title":"Proceedings of the 2006 international conference on compilers, architecture and synthesis for embedded systems, CASES \u201906","author":"K Lee","year":"2006","unstructured":"Lee K, Shrivastava A, Issenin I, Dutt N, Venkatasubramanian N (2006) Mitigating soft error failures for multimedia applications by selective data protection. In: Proceedings of the 2006 international conference on compilers, architecture and synthesis for embedded systems, CASES \u201906. ACM, New York, pp 411\u2013420"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Li C, Luo W, Sapatnekar SS, Hu J (2015) Joint precision optimization and high level synthesis for approximate computing. In: Proceedings of the 52nd annual design automation conference. ACM, New York, p 104","DOI":"10.1145\/2744769.2744863"},{"issue":"1","key":"22_CR19","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1080\/00401706.2000.10485979","volume":"42","author":"MD McKay","year":"2000","unstructured":"McKay MD, Beckman RJ, Conover WJ (2000) A comparison of three methods for selecting values of input variables in the analysis of output from a computer code. Technometrics 42(1):55\u201361","journal-title":"Technometrics"},{"key":"22_CR20","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-642-23702-7_24","volume-title":"Static analysis","author":"S Misailovic","year":"2011","unstructured":"Misailovic S, Roy DM, Rinard MC (2011) Probabilistically accurate program transformations. In: Yahav E (ed) Static analysis. Springer, Berlin, pp 316\u2013333"},{"key":"22_CR21","unstructured":"Nepal K, Li Y, Bahar R, Reda S (2014) Abacus: a technique for automated behavioral synthesis of approximate computing circuits. In: Proceedings of the conference on design, automation and test in Europe. European Design and Automation Association, Leuven, p 361"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1109\/FPL.2007.4380730","volume-title":"Proceedings of the 2007 international conference on field programmable logic and applications (FPL)","author":"WG Osborne","year":"2007","unstructured":"Osborne WG, Cheung RC, Coutinho J, Luk W, Mencer O (2007) Automatic accuracy-guaranteed bit-width optimization for fixed and floating-point systems. In: Proceedings of the 2007 international conference on field programmable logic and applications (FPL). IEEE, Piscataway, pp 617\u2013620"},{"key":"22_CR23","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-40708-6_10","volume-title":"Computational methods in systems biology","author":"SK Palaniappan","year":"2013","unstructured":"Palaniappan SK, Gyori BM, Liu B, Hsu D, Thiagarajan P (2013) Statistical model checking based calibration and analysis of bio-pathway models. In: Gupta A, Henzinger, T (eds) Computational methods in systems biology. Lecture notes in computer science, vol 8130. Springer, Berlin, pp 120\u2013134"},{"key":"22_CR24","first-page":"1","volume-title":"Proceedings of the IEEE\/ACM international symposium on code generation and optimization (CGO)","author":"FM Quintao Pereira","year":"2013","unstructured":"Quintao Pereira FM, Rodrigues RE, Sperle Campos VH (2013) A fast and low-overhead technique to secure programs against integer overflows. In: Proceedings of the IEEE\/ACM international symposium on code generation and optimization (CGO). IEEE Computer Society, Washington, DC, pp 1\u201311"},{"key":"22_CR25","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/1183401.1183447","volume-title":"Proceedings of the 20th annual international conference on supercomputing (ICS)","author":"M Rinard","year":"2006","unstructured":"Rinard M (2006) Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In: Proceedings of the 20th annual international conference on supercomputing (ICS). ACM, New York, pp 324\u2013334"},{"issue":"10","key":"22_CR26","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1145\/1297105.1297055","volume":"42","author":"MC Rinard","year":"2007","unstructured":"Rinard MC (2007) Using early phase termination to eliminate load imbalances at barrier synchronization points. SIGPLAN Not 42(10):369\u2013386","journal-title":"SIGPLAN Not"},{"key":"22_CR27","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/2597809.2597812","volume-title":"Proceedings of the 2014 SIGPLAN\/SIGBED conference on languages, compilers and tools for embedded systems (LTCES)","author":"P Roy","year":"2014","unstructured":"Roy P, Ray R, Wang C, Wong W-F (2014) Asac: automatic sensitivity analysis for approximate computing. In Proceedings of the 2014 SIGPLAN\/SIGBED conference on languages, compilers and tools for embedded systems (LTCES). ACM, New York, pp 95\u2013104"},{"key":"22_CR28","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/CASES.2015.7324547","volume-title":"2015 International conference on compilers, architecture and synthesis for embedded systems (CASES)","author":"P Roy","year":"2015","unstructured":"Roy P, Wang J, Wong W-F (2015) Pac: program analysis for approximation-aware compilation. In: 2015 International conference on compilers, architecture and synthesis for embedded systems (CASES). ACM, New York, pp 69\u201378"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Rubio-Gonz\u00e1lez C, Nguyen C, Nguyen HD, Demmel J, Kahan W, Sen K, Bailey DH, Iancu C, Hough D (2013) Precimonious: tuning assistant for floating-point precision. In: Proceedings of the international conference on high performance computing, networking, storage and analysis. ACM, New York, p 27","DOI":"10.1145\/2503210.2503296"},{"key":"22_CR30","doi-asserted-by":"crossref","first-page":"1074","DOI":"10.1145\/2884781.2884850","volume-title":"Proceedings of the 38th international conference on software engineering","author":"C Rubio-Gonz\u00e1lez","year":"2016","unstructured":"Rubio-Gonz\u00e1lez C, Nguyen C, Mehne B, Sen K, Demmel J, Kahan W, Iancu C, Lavrijsen W, Bailey DH, Hough D (2016) Floating-point precision tuning using blame analysis. In: Proceedings of the 38th international conference on software engineering. ACM, New York, pp 1074\u20131085"},{"key":"22_CR31","first-page":"164","volume-title":"ACM SIGPLAN Notices","author":"A Sampson","year":"2011","unstructured":"Sampson A, Dietl W, Fortuna E, Gnanapragasam D, Ceze L, Grossman D (2011) EnerJ: approximate data types for safe and general low-power computation. In: ACM SIGPLAN Notices, vol 46. ACM, New York, pp 164\u2013174"},{"issue":"6","key":"22_CR32","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/2666356.2594302","volume":"49","author":"E Schkufza","year":"2014","unstructured":"Schkufza E, Sharma R, Aiken A (2014) Stochastic optimization of floating-point programs with tunable precision. ACM SIGPLAN Not 49(6):53\u201364","journal-title":"ACM SIGPLAN Not"},{"key":"22_CR33","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1145\/996566.996700","volume-title":"Proceedings of the 41st design automation conference","author":"C Shi","year":"2004","unstructured":"Shi C, Brodersen RW (2004) Automated fixed-point data-type optimization tool for signal processing and communication systems. In: Proceedings of the 41st design automation conference. IEEE, Piscataway, pp 478\u2013483"},{"key":"22_CR34","first-page":"124","volume-title":"Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on foundations of software engineering, ESEC\/FSE \u201911","author":"S Sidiroglou-Douskos","year":"2011","unstructured":"Sidiroglou-Douskos S, Misailovic S, Hoffmann H, Rinard M (2011) Managing performance vs. accuracy trade-offs with loop perforation. In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on foundations of software engineering, ESEC\/FSE \u201911. ACM, New York, pp 124\u2013134"},{"key":"22_CR35","unstructured":"SPEC CPU 2017. https:\/\/www.spec.org\/cpu2017\/"},{"key":"22_CR36","unstructured":"The MPFR library (2012) Algorithms and proofs. http:\/\/www.mpfr.org\/algorithms.pdf"},{"issue":"12","key":"22_CR37","doi-asserted-by":"publisher","first-page":"1853","DOI":"10.1109\/TCAD.2013.2277978","volume":"32","author":"S Vakili","year":"2013","unstructured":"Vakili S, Langlois J, Bois G (2013) Enhanced precision analysis for accuracy-aware bit-width optimization using affine arithmetic. IEEE Trans Comput Aided Des Integr Circuits Syst 32(12):1853\u20131865","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"22_CR38","unstructured":"Xu Q, Mytkowicz T, Kim NS (2018) Approximate computing: a survey. IEEE Des Test PP(99):1\u20131"},{"key":"22_CR39","volume-title":"IEEE standard 754-2008 for floating-point arithmetic","author":"D Zuras","year":"2008","unstructured":"Zuras D, Cowlishaw M, Aiken A, Applegate M, Bailey D, Bass S, Bhandarkar D, Bhat M, Bindel D, Boldo S, et al (2008) IEEE standard 754-2008 for floating-point arithmetic. IEEE, Piscataway"}],"container-title":["Approximate Circuits"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99322-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,7]],"date-time":"2022-09-07T13:55:46Z","timestamp":1662558946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99322-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,6]]},"ISBN":["9783319993218","9783319993225"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99322-5_22","relation":{},"subject":[],"published":{"date-parts":[[2018,12,6]]}}}