{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:04:52Z","timestamp":1729620292703,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/ipdpsw.2010.5470837","type":"proceedings-article","created":{"date-parts":[[2010,5,28]],"date-time":"2010-05-28T14:25:42Z","timestamp":1275056742000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Efficient exhaustive verification of the Collatz conjecture using DSP48E blocks of Xilinx Virtex-5 FPGAs"],"prefix":"10.1109","author":[{"given":"Yasuaki","family":"Ito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Nakano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Computational verification of the 3x+1 conjecture","year":"0","author":"oliveira e silva","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2009.35"},{"key":"ref12","first-page":"375","article-title":"An architecture for veryfing collatz conjecture using an fpga","author":"an","year":"2009","journal-title":"Proc of the International Conference on Applications and Principles of Informatin Science"},{"key":"ref13","first-page":"387","article-title":"Preliminary study of custom computing hardware for the $3{\\rm x}+1$ problem","author":"ichikawa","year":"2004","journal-title":"Proc of IEEE TENCON 2004"},{"journal-title":"Vertex-5 FPGA User Guide","year":"2009","key":"ref14"},{"journal-title":"Virtex-5 DSP48E Users Guide","year":"2007","author":"ichikawa","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00007-8"},{"key":"ref3","first-page":"811","article-title":"An image retrieval system using FPGAs","volume":"e86 d","author":"nakano","year":"2003","journal-title":"IEICE Transactions on Information and Systems"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1090\/S0025-5718-99-01031-5","article-title":"Maximum excursion and stopping time record-holders for the $3x+1$ problem: Computational results","volume":"68","author":"oliveira e silv","year":"1999","journal-title":"Mathematics of Computation"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1093\/ietisy\/e88-d.7.1350"},{"key":"ref8","article-title":"Collatz problem","author":"weisstein","year":"0","journal-title":"From MathWorld-A Wolfram Web Resource"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2322189"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054104002492"},{"key":"ref1","first-page":"803","article-title":"Accelerating the CKY parsing using FPGAs","volume":"e86 d","author":"bordim","year":"2003","journal-title":"IEICE Transactions on Information and Systems"},{"article-title":"On the $3{\\rm x} + 1$ problem","year":"0","author":"roosendaal","key":"ref9"}],"event":{"name":"Distributed Processing, Workshops and Phd Forum (IPDPSW)","start":{"date-parts":[[2010,4,19]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,4,23]]}},"container-title":["2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5465895\/5470678\/05470837.pdf?arnumber=5470837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T04:48:48Z","timestamp":1497847728000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5470837\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ipdpsw.2010.5470837","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}