{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:32:56Z","timestamp":1742380376150},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1109\/arith.2007.33","type":"proceedings-article","created":{"date-parts":[[2007,7,23]],"date-time":"2007-07-23T16:36:40Z","timestamp":1185208600000},"page":"38-45","source":"Crossref","is-referenced-by-count":6,"title":["Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations"],"prefix":"10.1109","author":[{"given":"Merav","family":"Aharoni","sequence":"first","affiliation":[]},{"given":"Ron","family":"Maharik","sequence":"additional","affiliation":[]},{"given":"Abraham","family":"Ziv","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/382043.382404"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1998.724458"},{"journal-title":"Cryptography Theory and Practice","year":"1996","author":"stinson","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2001.930111"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1999.762850"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00224-4"},{"journal-title":"POWER Roadmap","year":"0","author":"mccredie","key":"14"},{"journal-title":"A Test for Correctly Rounded SQRT","year":"0","author":"kahan","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.38"},{"year":"2006","key":"3","article-title":"Draft Standard for Floating Point Arithmetic - P754"},{"year":"1985","key":"2","article-title":"IEEE Standard for Binary Floating Point Arithmetic"},{"year":"0","key":"1","article-title":"Floating-Point Test Suite for IEEE 754R Standard"},{"key":"10","first-page":"21","article-title":"Decimal Multiplication with Efficient Partial Product Generation","author":"erie","year":"2005","journal-title":"Proc 17th IEEE Symp Computer Arithmetic (ARITH'05)"},{"journal-title":"The decNumber C library","year":"2005","author":"cowlishaw","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2003.1207666"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70621-2_9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252469"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1147\/rd.511.0217"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2001.930114"}],"event":{"name":"18th IEEE Symposium on Computer Arithmetic (ARITH '07)","start":{"date-parts":[[2007,6,25]]},"location":"Montpellier, France","end":{"date-parts":[[2007,6,27]]}},"container-title":["18th IEEE Symposium on Computer Arithmetic (ARITH '07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4272835\/4272836\/04272849.pdf?arnumber=4272849","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:56:47Z","timestamp":1489690607000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4272849\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/arith.2007.33","relation":{},"ISSN":["1063-6889"],"issn-type":[{"type":"print","value":"1063-6889"}],"subject":[],"published":{"date-parts":[[2007,6]]}}}