{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T11:19:02Z","timestamp":1794482342365,"version":"4.9.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319111964","type":"print"},{"value":"9783319111971","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11197-1_37","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T10:54:29Z","timestamp":1407927269000},"page":"483-496","source":"Crossref","is-referenced-by-count":1,"title":["GPU-Accelerated Verification of the Collatz Conjecture"],"prefix":"10.1007","author":[{"given":"Takumi","family":"Honda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yasuaki","family":"Ito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Koji","family":"Nakano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"An, F., Nakano, K.: An architecture for verifying Collatz conjecture using an FPGA. In: Proc. of the International Conference on Applications and Principles of Information Science, pp. 375\u2013378 (2009)"},{"issue":"8","key":"37_CR2","doi-asserted-by":"publisher","first-page":"1369","DOI":"10.1109\/TPDS.2011.308","volume":"23","author":"J. Diaz","year":"2012","unstructured":"Diaz, J., Mu\u00f1oz-Caro, C., Ni\u00f1o, A.: A survey of parallel programming models and tools in the multi and many-core era. IEEE Transactions on Parallel and Distributed Systems\u00a023(8), 1369\u20131386 (2012)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Ichikawa, S., Kobayashi, N.: Preliminary study of custom computing hardware for the 3x+1 problem. In: Proc. of IEEE TENCON 2004, pp. 387\u2013390 (2004)","DOI":"10.1109\/TENCON.2004.1414951"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Ito, Y., Nakano, K.: A hardware-software cooperative approach for the exhaustive verification of the Collatz conjecture. In: Proc. of International Symposium on Parallel and Distributed Processing with Applications, pp. 63\u201370 (2009)","DOI":"10.1109\/ISPA.2009.35"},{"issue":"1","key":"37_CR5","doi-asserted-by":"crossref","first-page":"49","DOI":"10.15803\/ijnc.1.1_49","volume":"1","author":"Y. Ito","year":"2011","unstructured":"Ito, Y., Nakano, K.: Efficient exhaustive verification of the Collatz conjecture using DSP blocks of Xilinx FPGAs. International Journal of Networking and Computing\u00a01(1), 49\u201362 (2011)","journal-title":"International Journal of Networking and Computing"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Ito, Y., Nakano, K.: A GPU implementation of dynamic programming for the optimal polygon triangulation. IEICE Transactions on Information and Systems\u00a0E96-D(12), 2596\u20132603 (2013)","DOI":"10.1587\/transinf.E96.D.2596"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Ito, Y., Ogawa, K., Nakano, K.: Fast ellipse detection algorithm using Hough transform on the GPU. In: Proc. of International Conference on Networking and Computing, pp. 313\u2013319 (December 2011)","DOI":"10.1109\/ICNC.2011.61"},{"issue":"1","key":"37_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2307\/2322189","volume":"92","author":"J.C. Lagarias","year":"1985","unstructured":"Lagarias, J.C.: The 3x+1 problem and its generalizations. The American Mathematical Monthly\u00a092(1), 3\u201323 (1985)","journal-title":"The American Mathematical Monthly"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Man, D., Nakano, K., Ito, Y.: The approximate string matching on the hierarchical memory machine, with performance evaluation. In: Proc. of the IEEE 7th International Symposium on Embedded Multicore SoCs, pp. 79\u201394 (2013)","DOI":"10.1109\/MCSoC.2013.22"},{"issue":"5","key":"37_CR10","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1080\/17445760.2012.703195","volume":"28","author":"D. Man","year":"2013","unstructured":"Man, D., Uda, K., Ito, Y., Nakano, K.: Accelerating computation of Euclidean distance map using the GPU with efficient memory access. International Journal of Parallel, Emergent and Distributed Systems\u00a028(5), 383\u2013406 (2013)","journal-title":"International Journal of Parallel, Emergent and Distributed Systems"},{"issue":"2","key":"37_CR11","doi-asserted-by":"crossref","first-page":"260","DOI":"10.15803\/ijnc.1.2_260","volume":"1","author":"D. Man","year":"2011","unstructured":"Man, D., Uda, K., Ueyama, H., Ito, Y., Nakano, K.: Implementations of a parallel algorithm for computing Euclidean distance map in multicore processors and GPUs. International Journal of Networking and Computing\u00a01(2), 260\u2013276 (2011)","journal-title":"International Journal of Networking and Computing"},{"key":"37_CR12","unstructured":"NVIDIA Corp.: CUDA ZONE, https:\/\/developer.nvidia.com\/cuda-zone"},{"key":"37_CR13","unstructured":"NVIDIA Corp.: CUDA C Best Practice Guide Version 5.5 (2013)"},{"key":"37_CR14","unstructured":"NVIDIA Corp.: CUDA C Programming Guide Version 5.5 (2013)"},{"key":"37_CR15","unstructured":"NVIDIA Corp.: Parallel Thread Execution ISA Version 3.2 (2013)"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Ogawa, K., Ito, Y., Nakano, K.: Efficient Canny edge detection using a GPU. In: International Workshop on Advances in Networking and Computing, pp. 279\u2013280 (November 2010)","DOI":"10.1109\/IC-NC.2010.13"},{"key":"37_CR17","unstructured":"Roosendaal, E.: On the 3x + 1 problem, http:\/\/www.ericr.nl\/wondrous\/index.html"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Ryoo, S., Rodrigues, C.I., Baghsorkhi, S.S., Stone, S.S., Kirk, D.B., Hwu, W.-M.W.: Optimization principles and application performance evaluation of a multithreaded GPU using CUDA. In: Proc. of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 73\u201382 (2008)","DOI":"10.1145\/1345206.1345220"},{"issue":"225","key":"37_CR19","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1090\/S0025-5718-99-01031-5","volume":"68","author":"T.O. Silva","year":"1999","unstructured":"Silva, T.O.: Maximum excursion and stopping time record-holders for the 3x\u2009+\u20091 problem: Computational results. Mathematics of Computation\u00a068(225), 371\u2013384 (1999)","journal-title":"Mathematics of Computation"},{"key":"37_CR20","doi-asserted-by":"crossref","unstructured":"Takeuchi, Y., Takafuji, D., Ito, Y., Nakano, K.: ASCII art generation using the local exhaustive search on the GPU. In: Proc. of International Symposium on Computing and Networking, pp. 194\u2013200 (2013)","DOI":"10.1109\/CANDAR.2013.35"},{"issue":"4","key":"37_CR21","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1080\/17445760.2013.842568","volume":"29","author":"A. Uchida","year":"2014","unstructured":"Uchida, A., Ito, Y., Nakano, K.: Accelerating ant colony optimisation for the travelling salesman problem on the GPU. International Journal of Parallel, Emergent and Distributed Systems\u00a029(4), 401\u2013420 (2014)","journal-title":"International Journal of Parallel, Emergent and Distributed Systems"},{"key":"37_CR22","unstructured":"Weisstein, E.W.: Collatz problem. From MathWorld\u2013A Wolfram Web Resource, http:\/\/mathworld.wolfram.com\/CollatzProblem.html"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11197-1_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T18:36:59Z","timestamp":1689446219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11197-1_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111964","9783319111971"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11197-1_37","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-11197-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}