{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:28Z","timestamp":1750307428946,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T00:00:00Z","timestamp":1279670400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,7,21]]},"DOI":"10.1145\/1837210.1837212","type":"proceedings-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T18:52:26Z","timestamp":1279824746000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors"],"prefix":"10.1145","author":[{"given":"Claude-Pierre","family":"Jeannerod","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Lyon, France"}]},{"given":"Christophe","family":"Mouilleron","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lyon, France"}]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lyon, France"}]},{"given":"Guillaume","family":"Revy","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lyon, France"}]},{"given":"Christian","family":"Bertin","sequence":"additional","affiliation":[{"name":"STMicroelectronics Compilation Expertise Center, Grenoble, France"}]},{"given":"Jingyan","family":"Jourdan-Lu","sequence":"additional","affiliation":[{"name":"STMicroelectronics Compilation Expertise Center, Grenoble, France"}]},{"given":"Herv\u00e9","family":"Knochel","sequence":"additional","affiliation":[{"name":"STMicroelectronics Compilation Expertise Center, Grenoble, France"}]},{"given":"Christophe","family":"Monat","sequence":"additional","affiliation":[{"name":"STMicroelectronics Compilation Expertise Center, Grenoble, France"}]}],"member":"320","published-online":{"date-parts":[[2010,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1985","author":"IEEE","year":"1985","unstructured":"IEEE standard for floating-point arithmetic. IEEE Std. 754-- 1985 , 1985 . IEEE standard for floating-point arithmetic. IEEE Std. 754--1985, 1985.","journal-title":"IEEE Std. 754--"},{"key":"e_1_3_2_1_2_1","first-page":"1","author":"IEEE","year":"2008","unstructured":"IEEE standard for floating-point arithmetic. IEEE Std. 754-- 2008 , pp. 1 -- 58 , August 2008. IEEE standard for floating-point arithmetic. IEEE Std. 754--2008, pp. 1--58, August 2008.","journal-title":"IEEE Std. 754--"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1212870"},{"key":"e_1_3_2_1_4_1","first-page":"101","volume-title":"Proceedings of SPIE 49th Annual Meeting International Symposium on Optical Science and Technology","volume":"5559","author":"Bertin C.","year":"2004","unstructured":"C. Bertin , N. Brisebarre , B. D. de Dinechin , C.-P. Jeannerod , C. Monat , J.-M. Muller , S. K. Raina , and A. Tisserand . A Floating-point Library for Integer Processors . In Proceedings of SPIE 49th Annual Meeting International Symposium on Optical Science and Technology , Denver , volume 5559 , pages 101 -- 111 . SPIE, Aug. 2004 . C. Bertin, N. Brisebarre, B. D. de Dinechin, C.-P. Jeannerod, C. Monat, J.-M. Muller, S. K. Raina, and A. Tisserand. A Floating-point Library for Integer Processors. In Proceedings of SPIE 49th Annual Meeting International Symposium on Optical Science and Technology, Denver, volume 5559, pages 101--111. SPIE, Aug. 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.19"},{"key":"e_1_3_2_1_6_1","first-page":"0","author":"Brent R.","year":"2010","unstructured":"R. Brent and P. Zimmermann . Modern Computer Arithmetic. Mar. 2010 . Version 0 .5.1. R. Brent and P. Zimmermann. Modern Computer Arithmetic. Mar. 2010. Version 0.5.1.","journal-title":"Modern Computer Arithmetic."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2009.027236"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03338-8"},{"key":"e_1_3_2_1_9_1","unstructured":"S. Chevillard and C. Lauter. Sollya. Available at http:\/\/sollya.gforge.inria.fr\/.  S. Chevillard and C. Lauter. Sollya. Available at http:\/\/sollya.gforge.inria.fr\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644001.1644003"},{"key":"e_1_3_2_1_11_1","volume-title":"3rd Multidisciplinary International Scheduling conference: Theory and Applications (MISTA)","author":"de Dinechin B. Dupont","year":"2007","unstructured":"B. Dupont de Dinechin . Time-Indexed Formulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Problem. In P. Baptiste, G. Kendall, A. Munier-Kordon, and F. Sourd, editors , 3rd Multidisciplinary International Scheduling conference: Theory and Applications (MISTA) , 2007 . http:\/\/www.cri.ensmp.fr\/classement\/2007.html. B. Dupont de Dinechin. Time-Indexed Formulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Problem. In P. Baptiste, G. Kendall, A. Munier-Kordon, and F. Sourd, editors, 3rd Multidisciplinary International Scheduling conference: Theory and Applications (MISTA), 2007. http:\/\/www.cri.ensmp.fr\/classement\/2007.html."},{"key":"e_1_3_2_1_12_1","volume-title":"Morgan Kaufmann","author":"Ercegovac M. D.","year":"2004","unstructured":"M. D. Ercegovac and T. Lang . Digital Arithmetic . Morgan Kaufmann , 2004 . M. D. Ercegovac and T. Lang. Digital Arithmetic. Morgan Kaufmann, 2004."},{"key":"e_1_3_2_1_13_1","volume-title":"Compilers and Tools. Morgan Kaufmann","author":"Fisher J. A.","year":"2005","unstructured":"J. A. Fisher , P. Faraboschi , and C. Young . Embedded Computing: A VLIW Approach to Architecture , Compilers and Tools. Morgan Kaufmann , 2005 . J. A. Fisher, P. Faraboschi, and C. Young. Embedded Computing: A VLIW Approach to Architecture, Compilers and Tools. Morgan Kaufmann, 2005."},{"key":"e_1_3_2_1_14_1","unstructured":"FLIP (Floating-point Library for Integer Processors). Available at http:\/\/flip.gforge.inria.fr\/.  FLIP (Floating-point Library for Integer Processors). Available at http:\/\/flip.gforge.inria.fr\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1233791.1233793"},{"key":"e_1_3_2_1_16_1","unstructured":"J. Hauser. The SoftFloat and TestFloat Packages. Available at http:\/\/www.jhauser.us\/arithmetic\/.  J. Hauser. The SoftFloat and TestFloat Packages. Available at http:\/\/www.jhauser.us\/arithmetic\/."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/579525"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/786449.786587"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297353"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2009.19"},{"key":"e_1_3_2_1_23_1","volume-title":"17th World Congress on Scientific Computation, Applied Mathematics and Simulation IMACS","author":"Jeannerod C.-P.","year":"2005","unstructured":"C.-P. Jeannerod , S. K. Raina , and A. Tisserand . High-radix floating-point division algorithms for embedded VLIW integer processors . In 17th World Congress on Scientific Computation, Applied Mathematics and Simulation IMACS , Paris, France , July 2005 . C.-P. Jeannerod, S. K. Raina, and A. Tisserand. High-radix floating-point division algorithms for embedded VLIW integer processors. In 17th World Congress on Scientific Computation, Applied Mathematics and Simulation IMACS, Paris, France, July 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1843565.1843726"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1998.660194"},{"key":"e_1_3_2_1_26_1","volume-title":"July","author":"Kahan W.","year":"2005","unstructured":"W. Kahan . A brief tutorial on gradual underflow. Available as a PDF file at http:\/\/www.cs.berkeley.edu\/~wkahan\/ARITH_17U.pdf , July 2005 . W. Kahan. A brief tutorial on gradual underflow. Available as a PDF file at http:\/\/www.cs.berkeley.edu\/~wkahan\/ARITH_17U.pdf, July 2005."},{"key":"e_1_3_2_1_27_1","volume-title":"Speed and Precision","author":"Markstein P.","year":"2000","unstructured":"P. Markstein . IA-64 and Elementary Functions : Speed and Precision . Hewlett-Packard Professional Books. Prentice-Hall , Englewood Cliffs, NJ, 2000 . P. Markstein. IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books. Prentice-Hall, Englewood Cliffs, NJ, 2000."},{"key":"e_1_3_2_1_28_1","unstructured":"D. W. Matula and L. D. McFearin. Extremal rounding test sets. Available at http:\/\/engr.smu.edu\/~matula\/extremal.html.  D. W. Matula and L. D. McFearin. Extremal rounding test sets. Available at http:\/\/engr.smu.edu\/~matula\/extremal.html."},{"key":"e_1_3_2_1_29_1","unstructured":"G. Melquiond. Gappa - g\u00e9n\u00e9ration automatique de preuves de propri\u00e9t\u00e9s arithm\u00e9tiques. Available at http:\/\/lipforge.ens-lyon.fr\/www\/gappa\/.  G. Melquiond. Gappa - g\u00e9n\u00e9ration automatique de preuves de propri\u00e9t\u00e9s arithm\u00e9tiques. Available at http:\/\/lipforge.ens-lyon.fr\/www\/gappa\/."},{"key":"e_1_3_2_1_31_1","volume-title":"February","author":"Mouilleron C.","year":"2010","unstructured":"C. Mouilleron . Sequences A173157 and A169608. The On-line Encyclopedia of Integer Sequences (OEIS) , February 2010 . Available at http:\/\/www.research.att.com\/~njas\/sequences\/A173157. C. Mouilleron. Sequences A173157 and A169608. The On-line Encyclopedia of Integer Sequences (OEIS), February 2010. Available at http:\/\/www.research.att.com\/~njas\/sequences\/A173157."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/286076"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1201314"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1823389"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/376366"},{"key":"e_1_3_2_1_37_1","unstructured":"G. Revy. CGPE - Code Generation for Polynomial Evaluation. Available at http:\/\/cgpe.gforge.inria.fr\/.  G. Revy. CGPE - Code Generation for Polynomial Evaluation. Available at http:\/\/cgpe.gforge.inria.fr\/."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"}],"event":{"name":"PASCO '10: 4th International Workshop on Parallel and Symbolic Computation","sponsor":["Grenoble University Grenoble University","Grenoble INP \/ ENSIMAG","INRIA Institut Natl de Recherche en Info et en Automatique","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Grenoble France","acronym":"PASCO '10"},"container-title":["Proceedings of the 4th International Workshop on Parallel and Symbolic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837210.1837212","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1837210.1837212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:51Z","timestamp":1750246791000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837210.1837212"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,21]]},"references-count":34,"alternative-id":["10.1145\/1837210.1837212","10.1145\/1837210"],"URL":"https:\/\/doi.org\/10.1145\/1837210.1837212","relation":{},"subject":[],"published":{"date-parts":[[2010,7,21]]},"assertion":[{"value":"2010-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}