{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T05:27:56Z","timestamp":1745386076950,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/asap.2010.5540948","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T11:51:40Z","timestamp":1281441100000},"page":"200-207","source":"Crossref","is-referenced-by-count":12,"title":["Newton-Raphson algorithms for floating-point division using an FMA"],"prefix":"10.1109","author":[{"given":"Nicolas","family":"Louvet","sequence":"first","affiliation":[]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[]},{"given":"Adrien","family":"Panhaleux","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Applications of division by convergence","year":"1964","author":"goldschmidt","key":"ref4"},{"key":"ref3","article-title":"Proving the IEEE correctness of iterative floating-point square root, divide, and remainder algorithms","volume":"11","author":"cornea-hasegan","year":"1998","journal-title":"Intel Technology Journal"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/050645671"},{"journal-title":"IEEE Computer Society IEEE Standard for Floating-Point Arithmetic","year":"2008","key":"ref6"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s11265-007-0058-5","article-title":"A decimal floating-point divider using Newton-Raphson iteration","author":"wang","year":"2007","journal-title":"J VLSI Signal Process Syst"},{"key":"ref5","first-page":"234","article-title":"Formal verification of IA-64 division algorithms","volume":"1869","author":"harrison","year":"2000","journal-title":"13th International Conference TPHOLs 2000"},{"article-title":"IA-64 and elementary functions: speed and precision","year":"2000","author":"markstein","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1147\/rd.341.0111"},{"article-title":"Scientific Computing on Itanium-Based Systems","year":"2002","author":"cornea","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2003.1207663"}],"event":{"name":"2010 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)","start":{"date-parts":[[2010,7,7]]},"location":"Rennes, France","end":{"date-parts":[[2010,7,9]]}},"container-title":["ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5523683\/5540749\/05540948.pdf?arnumber=5540948","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T08:22:38Z","timestamp":1497860558000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5540948\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/asap.2010.5540948","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}