{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T17:08:37Z","timestamp":1774631317216,"version":"3.50.1"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/arith.2018.8464813","type":"proceedings-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T22:06:04Z","timestamp":1537221964000},"page":"45-52","source":"Crossref","is-referenced-by-count":13,"title":["Augmented Arithmetic Operations Proposed for IEEE-754 2018"],"prefix":"10.1109","author":[{"given":"Jason","family":"Riedy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Demmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"FPgen - a test generation framework for datapath floating-point verification","author":"aharoni","year":"0","journal-title":"Eighth IEEE International High-level Design Validation and Test Workshop"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3054947"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58943-5_49"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1109\/ARITH.2017.20","article-title":"High-precision anchored accumulators for reproducible floating-point summation","author":"lutz","year":"2017","journal-title":"IEE Computer Arithmetic (ARITH) 2017 IEEE 24th Symposium"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1109\/ARITH.2017.38","article-title":"A hardware accelerator for computing an exact dot product","author":"koenig","year":"2017","journal-title":"IEE Computer Arithmetic (ARITH) 2017 IEEE 24th Symposium"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/1028001"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1587\/nolta.1.2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009321"},{"key":"ref35","author":"priest","year":"1992","journal-title":"On Properties of Floating Point Arithmetics Numerical Stability and the Cost of Accurate Computations"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/030601818"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/0914050"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/335231.335253"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/14M0973773"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/030601818"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/080738490"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/567806.567808"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1462173.1462177"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1141885.1141894"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1587\/nolta.4.2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"ref4","article-title":"Algorithms for quad-double precision floating point arithmetic","author":"hida","year":"2001","journal-title":"Proc 15th IEEE Symp on Comp Arithmetic ARITH"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2172\/817634"},{"key":"ref3","article-title":"Doubledouble floating point arithmetic","author":"briggs","year":"1998","journal-title":"World-Wide Web document Downing Street Cambridge CB2 3EA UK"},{"key":"ref6","article-title":"ASCR\/HEP exascale requirements review report","author":"habib","year":"2016","journal-title":"CoRR"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2005.52"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/363707.363723"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"ref7","article-title":"Efficient reproducible floating point summation and BLAS","author":"demmel","year":"2016","journal-title":"EECS Department University of California Berkeley Tech Rep UCB\/EECS-2016-17"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01975722"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/512274.512287"},{"key":"ref1","first-page":"1","year":"2008"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"ref22","article-title":"Reproducible climate and weather simulations: An application to the cosmo model","author":"charpilloz","year":"2017","journal-title":"Platform for Advanced Scientific Computing (PASC) Conference"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.5194\/gmdd-8-4375-2015"},{"key":"ref24","article-title":"ExBLAS: Reproducible and Accurate BLAS Library","author":"iakymchuk","year":"2015","journal-title":"NRE Numerical Reproducibility at Exascale Austin TX United States"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2013.43"},{"key":"ref26","article-title":"Wanted: Floating-point add round-off error instruction","author":"dukhan","year":"2016","journal-title":"The 2nd International Workshop on Performance Modeling Methods and Applications (PMMA16)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.127"}],"event":{"name":"2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)","location":"Amherst, MA, USA","start":{"date-parts":[[2018,6,25]]},"end":{"date-parts":[[2018,6,27]]}},"container-title":["2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8452530\/8464686\/08464813.pdf?arnumber=8464813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T11:35:11Z","timestamp":1643196911000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8464813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/arith.2018.8464813","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}