{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T11:54:12Z","timestamp":1759838052127,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2014,12,3]],"date-time":"2014-12-03T00:00:00Z","timestamp":1417564800000},"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":["SIGARCH Comput. Archit. News"],"published-print":{"date-parts":[[2014,12,3]]},"abstract":"<jats:p>Today, GPUs represent an important hardware development platform for many problems in dynamical systems, where massive parallel computations are needed. Beside that, many numerical studies of chaotic dynamical systems require a computing precision higher than common oating point (FP) formats. One such application is locating invariant sets for chaotic dynamical systems. In particular, we focus on rigorously proving the existence of stable periodic orbits for the H\u00e9non map for parameter values close to the classical ones. For that, we present a multiple-precision floating-point arithmetic library in CUDA programming language for the NVIDIA GPU platform. Our library extends the precision using so-called FP expansions, where a number is represented as the unevaluated sum of standard machine precision FP numbers. This format offers the advantage of using directly available and highly optimized hardware FP operations. We generalize algorithms used by multiple-precisions libraries such as Bailey's QD, or the analogue GPU version, GQD.<\/jats:p>","DOI":"10.1145\/2693714.2693726","type":"journal-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T16:17:14Z","timestamp":1418055434000},"page":"63-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Searching for Sinks for the H\u00e9non Map using a Multipleprecision GPU Arithmetic Library"],"prefix":"10.1145","volume":"42","author":[{"given":"Mioara","family":"Joldes","sequence":"first","affiliation":[{"name":"LAAS-CNRS, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Popescu","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Warwick","family":"Tucker","sequence":"additional","affiliation":[{"name":"Uppsala University, Uppsala, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,12,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.84.016701"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2172\/817634"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.2307\/2944326"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_2_1_5_1","first-page":"2571","volume-title":"Proc. IEEE Int. Symposium on Circuits and Systems, ISCAS'13","author":"Galias Z.","year":"2013"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01608556"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/872021.872445"},{"key":"e_1_2_1_8_1","unstructured":"IEEE Computer Society. IEEE Standard for Floating-Point Arithmetic. IEEE Standard 754-2008 Aug. 2008. available at http:\/\/ieeexplore.ieee.org\/servlet\/opac?punumber=4610933.  IEEE Computer Society. IEEE Standard for Floating-Point Arithmetic. IEEE Standard 754-2008 Aug. 2008. available at http:\/\/ieeexplore.ieee.org\/servlet\/opac?punumber=4610933."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869389.1869392"},{"key":"e_1_2_1_11_1","unstructured":"R. Moore. Interval Analysis. Prentice Hall Englewood Cliffs NJ 1966.  R. Moore. Interval Analysis. Prentice Hall Englewood Cliffs NJ 1966."},{"volume-title":"Birkh\u00e4user Boston","year":"2009","author":"Muller J.-M.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2316\/P.2011.757-041"},{"volume-title":"Cambridge University Press","year":"1990","author":"Neumaier A.","key":"e_1_2_1_14_1"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJRS.2009.026839"},{"key":"e_1_2_1_16_1","unstructured":"NVIDIA. NVIDIA CUDA Programming Guide 5.5. 2013.  NVIDIA. NVIDIA CUDA Programming Guide 5.5. 2013."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1991.145549"},{"volume-title":"University of California","year":"1992","author":"Priest D. M.","key":"e_1_2_1_18_1"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/050645671"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/07068816X"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009321"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002080010018"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2008.02.002"}],"container-title":["ACM SIGARCH Computer Architecture News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2693714.2693726","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2693714.2693726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:31Z","timestamp":1750227211000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2693714.2693726"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,3]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12,3]]}},"alternative-id":["10.1145\/2693714.2693726"],"URL":"https:\/\/doi.org\/10.1145\/2693714.2693726","relation":{},"ISSN":["0163-5964"],"issn-type":[{"type":"print","value":"0163-5964"}],"subject":[],"published":{"date-parts":[[2014,12,3]]},"assertion":[{"value":"2014-12-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}