{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:06:21Z","timestamp":1759147581240},"reference-count":17,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/arith.2003.1207665","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T14:24:01Z","timestamp":1075818241000},"page":"95-102","source":"Crossref","is-referenced-by-count":21,"title":["The case for a redundant format in floating point arithmetic"],"prefix":"10.1109","author":[{"given":"H.A.H.","family":"Fahmy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.J.","family":"Flynn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1997.614889"},{"article-title":"CMOS Technology Scaling and Its Impact on Cache Delay","year":"1997","author":"mcfarland","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/12.822562"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/12.46283"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/12.210182"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/12.295850"},{"key":"ref16","article-title":"Leading one prediction-implementation, generalization, and application","author":"quach","year":"1991","journal-title":"Technical Report No CSL-TR-91-463 Computer Systems Laboratory Stanford University"},{"article-title":"Reducing the latency of floating-point arithmetic operations","year":"1993","author":"quach","key":"ref17"},{"key":"ref4","article-title":"Further reducing the redundancy of a notation over a minimally redundant digit set","author":"daumas","year":"2000","journal-title":"Research Report No RR 2000-09 Laboratoire de l'Informatique du Parallélisme Ecole Normale Supérieure de Lyon"},{"key":"ref3","article-title":"Recoders for partial compression and rounding","author":"daumas","year":"1997","journal-title":"Research Report No RR 97-01 Laboratoire de I'Informatique du Parallélisme Ecole Normale Supérieure de Lyon"},{"key":"ref6","article-title":"Parametric time delay modeling for floating point units","author":"fahmy","year":"2002","journal-title":"The International Symposium on Optical Science and Technology SPIE's 47th annual meeting (Arithmetic session)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2001.987049"},{"article-title":"High-Performance Arithmetic for Division and The Elementary Functions","year":"2002","author":"liddicoat","key":"ref8"},{"article-title":"On the Design of High Performance Digital Arithmetic Units","year":"1981","author":"farmwald","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/12.805157"},{"journal-title":"ANSI\/IEEE Std 754-1985","year":"1985","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2001.952327"}],"event":{"name":"16th IEEE Symposium on Computer Arithmetic","acronym":"ARITH-03","location":"Santiago de Compostela, Spain"},"container-title":["16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8582\/27181\/01207665.pdf?arnumber=1207665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T12:50:46Z","timestamp":1489409446000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/arith.2003.1207665","relation":{},"subject":[]}}