{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:04Z","timestamp":1750308664481,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":10,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1145\/1275571.1275594","type":"proceedings-article","created":{"date-parts":[[2016,3,25]],"date-time":"2016-03-25T12:48:51Z","timestamp":1458910131000},"page":"17-es","source":"Crossref","is-referenced-by-count":0,"title":["Software implementations of division and square root operations for Intel\u00ae Itanium\u00ae processors"],"prefix":"10.1145","author":[{"given":"Marius","family":"Cornea","sequence":"first","affiliation":[{"name":"Intel Corporation"}]}],"member":"320","reference":[{"key":"key-10.1145\/1275571.1275594-1","unstructured":"ANSI\/IEEE Standard 754--1985, IEEE Standard for Binary Floating-Point Arithmetic, NY, 1985"},{"key":"key-10.1145\/1275571.1275594-2","doi-asserted-by":"crossref","unstructured":"Markstein P., Computation of Elementary functions on the IBM RISC System\/6000 Processor,IBM Journal, 1990","DOI":"10.1147\/rd.341.0111"},{"key":"key-10.1145\/1275571.1275594-3","unstructured":"Intel(R) Itanium(TM) Architecture Software Developer's Manual, Vol 1--4, Intel Corp., 2003"},{"key":"key-10.1145\/1275571.1275594-4","unstructured":"Cornea, M., Harrison, J., Tang, P, Scientific and Engineering Computation on Itanium#8482; Processors, Intel Press, 2002"},{"key":"key-10.1145\/1275571.1275594-5","doi-asserted-by":"crossref","unstructured":"Cornea, M., Harrison, J., Tang, P, Intel Itanium#8482; Floating-Point Architecture, WCAE 2003, San Diego","DOI":"10.1145\/1275521.1275526"},{"key":"key-10.1145\/1275571.1275594-6","unstructured":"Divide, Square Root, and Remainder Algorithms for the Itanium Architecture, Intel Corporation, Dec. 2003, http:\/\/www.intel.com\/software\/products\/opensource\/libraries\/numnote2.htm"},{"key":"key-10.1145\/1275571.1275594-7","doi-asserted-by":"crossref","unstructured":"Cornea-Hasegan, M. and Golliver, R., Markstein, P. Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms, Proceedings of the 14th IEEE Symposium on Computer Arithmetic, Adelaide, 1999","DOI":"10.1109\/ARITH.1999.762834"},{"key":"key-10.1145\/1275571.1275594-8","doi-asserted-by":"crossref","unstructured":"Harrison, J. Formal Verification of IA-64 Division Algorithms, Proceedings of the 13h International Conference TPHOLs 2000, Springer-Verlag, pp 234--251","DOI":"10.1007\/3-540-44659-1_15"},{"key":"key-10.1145\/1275571.1275594-9","unstructured":"Non-IEEE Division, Square Root, Reciprocal, and Reciprocal Square Root Algorithms for the Intel Itanium Architecture, Intel Corporation, Dec. 2003, http:\/\/www.intel.com\/software\/products\/opensource\/libraries\/numnote3.htm"},{"key":"key-10.1145\/1275571.1275594-10","doi-asserted-by":"crossref","unstructured":"Harrison, J. Formal Verification of Square Root Algorithms, Formal Methods in System Design, Vol. 22, 2003, pp 143--153","DOI":"10.1023\/A:1022973506233"}],"event":{"name":"the 2004 workshop","start":{"date-parts":[[2004,6,19]]},"number":"WCAE 2004","theme":"held in conjunction with the 31st International Symposium on Computer Architecture","location":"Munich, Germany","acronym":"WCAE '04"},"container-title":["Proceedings of the 2004 workshop on Computer architecture education held in conjunction with the 31st International Symposium on Computer Architecture - WCAE '04"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1275571.1275594","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=1275594&ftid=435908&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:00:31Z","timestamp":1750276831000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=1275571.1275594"}},"subtitle":[],"proceedings-subject":"Computer architecture education","short-title":[],"issued":{"date-parts":[[2004]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1145\/1275571.1275594","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}