{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T22:32:17Z","timestamp":1783981937173,"version":"3.55.0"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/P020720\/1"],"award-info":[{"award-number":["EP\/P020720\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Exascale Computing Project","award":["17-SC-20-SC"],"award-info":[{"award-number":["17-SC-20-SC"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1109\/tc.2024.3371783","type":"journal-article","created":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T18:53:20Z","timestamp":1709232800000},"page":"1531-1543","source":"Crossref","is-referenced-by-count":8,"title":["Monotonicity of Multi-term Floating-Point Adders"],"prefix":"10.1109","volume":"73","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8706-1436","authenticated-orcid":false,"given":"Mantas","family":"Mikaitis","sequence":"first","affiliation":[{"name":"School of Computing, University of Leeds, Leeds, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"IEEE Standard for Floating-Point Arithmetic, IEEE Std 754-2019 (Revision of IEEE Std 754-2008)","year":"2019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1958.5222657"},{"key":"ref5","article-title":"NVIDIA A100 Tensor Core GPU architecture","volume-title":"NVIDIA whitepaper v1.0","year":"2020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.330"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1515\/9783110301793"},{"key":"ref8","article-title":"Design-space exploration for the Kulisch accumulator","volume-title":"Working paper or Preprint","author":"Uguen","year":"2017"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2017.38"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2017.29"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IEEECONF51394.2020.9443541"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2855729"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2009.27"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2013.26"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2014.2333680"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2016.2525042"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2013.6567600"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.271"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1049\/el.2015.0342"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH48897.2020.00011"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/tc.2008.210"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2019.00021"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12133-3_16"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH48897.2020.00029"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH54963.2022.00010"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2021.3120113"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM53951.2022.9786164"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00010"},{"key":"ref29","article-title":"AMD Instinct\u2122 MI200 Series Accelerator.","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527405"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC42614.2022.9731673"},{"key":"ref32","article-title":"Intel architecture instruction set extensions and future features programming reference","year":"2023"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2023.3258906"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2019.00031"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1137\/21M1465032"},{"issue":"1","key":"ref36","first-page":"131","article-title":"Innocuous double rounding of basic arithmetic operations","volume":"7","author":"Roux","year":"2014","journal-title":"J. Formalized Reasoning"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2785965"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/320986.320996"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1137\/0914050"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3585515"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1137\/1009071"},{"key":"ref42","first-page":"116","article-title":"On the correctness of some bisection-like parallel eigenvalue algorithms in floating point arithmetic","volume":"3","author":"Demmel","year":"1995","journal-title":"Electron. Trans. Numer. Anal."},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-7983-4"},{"key":"ref44","first-page":"117","article-title":"The UNIX system math library, a status report","volume-title":"Proc. USENIX \u2014Winter\u201990","author":"Silverstein","year":"1990"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_7"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/10527219\/10454250.pdf?arnumber=10454250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,10]],"date-time":"2024-05-10T04:56:55Z","timestamp":1715317015000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10454250\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":45,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tc.2024.3371783","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6]]}}}