{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T20:59:47Z","timestamp":1769115587238,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,5,11]],"date-time":"2020-05-11T00:00:00Z","timestamp":1589155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["732631"],"award-info":[{"award-number":["732631"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,5,11]]},"DOI":"10.1145\/3387902.3392615","type":"proceedings-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T22:41:17Z","timestamp":1590446477000},"page":"10-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Combining learning and optimization for transprecision computing"],"prefix":"10.1145","author":[{"given":"Andrea","family":"Borghesi","sequence":"first","affiliation":[{"name":"DEI\/DISI University of Bologna, Italy"}]},{"given":"Giuseppe","family":"Tagliavini","sequence":"additional","affiliation":[{"name":"DEI\/DISI University of Bologna, Italy"}]},{"given":"Michele","family":"Lombardi","sequence":"additional","affiliation":[{"name":"DEI\/DISI University of Bologna, Italy"}]},{"given":"Luca","family":"Benini","sequence":"additional","affiliation":[{"name":"DEI\/DISI University of Bologna, Italy"}]},{"given":"Michela","family":"Milano","sequence":"additional","affiliation":[{"name":"DEI\/DISI University of Bologna, Italy"}]}],"member":"320","published-online":{"date-parts":[[2020,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. OPRECOMP - Open Transprecision Computing. http:\/\/oprecomp.eu\/. Online; accessed 15 May 2019.  [n.d.]. OPRECOMP - Open Transprecision Computing. http:\/\/oprecomp.eu\/. Online; accessed 15 May 2019."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23786-7_11"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings AAAI.","author":"Bartolini Andrea","year":"2012","unstructured":"Andrea Bartolini , Michele Lombardi , Michela Milano , and Luca Benini . 2012 . Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching . In Proceedings AAAI. Andrea Bartolini, Michele Lombardi, Michela Milano, and Luca Benini. 2012. Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching. In Proceedings AAAI."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-18008-3_6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009846"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-018-0144-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3014426"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN). 98--99","author":"Graillat Stef","unstructured":"Stef Graillat , Fabienne J\u00e9z\u00e9quel , and et al. 2016. PROMISE: floating-point precision tuning with stochastic arithmetic . In Proceedings of the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN). 98--99 . Stef Graillat, Fabienne J\u00e9z\u00e9quel, and et al. 2016. PROMISE: floating-point precision tuning with stochastic arithmetic. In Proceedings of the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN). 98--99."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213862"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858297"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25566-3_40"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062210"},{"key":"e_1_3_2_1_13_1","volume-title":"Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980","author":"Kingma Diederik P","year":"2014","unstructured":"Diederik P Kingma and Jimmy Ba . 2014 . Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014). Diederik P Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2013.0278"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2018.043191124"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40627-0_35"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-015-9234-6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.01.005"},{"key":"e_1_3_2_1_19_1","volume-title":"2018 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 1--5.","author":"Mach S.","unstructured":"S. Mach , D. Rossi , G. Tagliavini , A. Marongiu , and L. Benini . 2018. A Transprecision Floating-Point Architecture for Energy-Efficient Embedded Computing . In 2018 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 1--5. S. Mach, D. Rossi, G. Tagliavini, A. Marongiu, and L. Benini. 2018. A Transprecision Floating-Point Architecture for Energy-Efficient Embedded Computing. In 2018 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 1--5."},{"key":"e_1_3_2_1_20_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Malossi A Cristiano I","year":"2018","unstructured":"A Cristiano I Malossi , Michael Schaffner , and et al. 2018. The transprecision computing paradigm: Concept, design, and applications. In Design , Automation & Test in Europe Conference & Exhibition (DATE) , 2018 . IEEE, 1105--1110. A Cristiano I Malossi, Michael Schaffner, and et al. 2018. The transprecision computing paradigm: Concept, design, and applications. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018. IEEE, 1105--1110."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893356"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66266-4_14"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Mariano Moscato Laura Titolo and etal 2017. Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. In Computer Safety Reliability and Security Stefano Tonetta Erwin Schoitsch and Friedemann Bitsch (Eds.). Springer International Publishing Cham 213--229.  Mariano Moscato Laura Titolo and et al. 2017. Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. In Computer Safety Reliability and Security Stefano Tonetta Erwin Schoitsch and Friedemann Bitsch (Eds.). Springer International Publishing Cham 213--229.","DOI":"10.1007\/978-3-319-66266-4_14"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 38th International Conference on Software Engineering. ACM, 1074--1085","author":"Rubio-Gonz\u00e1lez Cindy","unstructured":"Cindy Rubio-Gonz\u00e1lez , Cuong Nguyen , and et al. 2016. Floating-point precision tuning using blame analysis . In Proceedings of the 38th International Conference on Software Engineering. ACM, 1074--1085 . Cindy Rubio-Gonz\u00e1lez, Cuong Nguyen, and et al. 2016. Floating-point precision tuning using blame analysis. In Proceedings of the 38th International Conference on Software Engineering. ACM, 1074--1085."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.2307\/1269769"},{"key":"e_1_3_2_1_26_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Tagliavini Giuseppe","year":"2018","unstructured":"Giuseppe Tagliavini , Stefan Mach , and et al. 2018. A transprecision floating-point platform for ultra-low power computing. In Design , Automation & Test in Europe Conference & Exhibition (DATE) , 2018 . IEEE, 1051--1056. Giuseppe Tagliavini, Stefan Mach, and et al. 2018. A transprecision floating-point platform for ultra-low power computing. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018. IEEE, 1051--1056."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2505723"}],"event":{"name":"CF '20: Computing Frontiers Conference","location":"Catania Sicily Italy","acronym":"CF '20","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 17th ACM International Conference on Computing Frontiers"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387902.3392615","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387902.3392615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:36Z","timestamp":1750200096000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387902.3392615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,11]]},"references-count":27,"alternative-id":["10.1145\/3387902.3392615","10.1145\/3387902"],"URL":"https:\/\/doi.org\/10.1145\/3387902.3392615","relation":{},"subject":[],"published":{"date-parts":[[2020,5,11]]},"assertion":[{"value":"2020-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}