{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:56:19Z","timestamp":1755838579552,"version":"3.41.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s11390-017-1721-3","type":"journal-article","created":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T09:52:04Z","timestamp":1489053124000},"page":"269-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Parallel Turing Machine, a Proposal"],"prefix":"10.1007","volume":"32","author":[{"given":"Peng","family":"Qu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"You-Hui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guang R.","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,13]]},"reference":[{"issue":"4","key":"1721_CR1","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/PROC.1972.8647","volume":"60","author":"WJ Bouknight","year":"1972","unstructured":"Bouknight W J, Denenberg S A, McIntyre D E, Randall J M, Sameh A H, Slotnick D L. The Illiac IV system. Proceedings of the IEEE, 1972, 60(4): 369-388.","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"1721_CR2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/359327.359336","volume":"21","author":"RM Russell","year":"1978","unstructured":"Russell R M. The CRAY-1 computer system. Communications of the ACM, 1978, 21(1): 63-72.","journal-title":"Communications of the ACM"},{"issue":"2","key":"1721_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/2.44900","volume":"23","author":"R Duncan","year":"1990","unstructured":"Duncan R. A survey of parallel computer architectures. Computer, 1990, 23(2): 5-16.","journal-title":"Computer"},{"key":"1721_CR4","unstructured":"Eckert Jr J P, Mauchly J W. Automatic high-speed computing: A progress report on the EDVAC. Report of Work under Contract No.W-670-ORD-4926, More School of Elec. Eng., U. of Pennsylvania, Sept. 1945."},{"issue":"4","key":"1721_CR5","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/85.238389","volume":"15","author":"J Neumann von","year":"1993","unstructured":"von Neumann J. First draft of a report on the EDVAC. IEEE Annals of the History of Computing, 1993, 15(4): 27-75.","journal-title":"IEEE Annals of the History of Computing"},{"issue":"8","key":"1721_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"LG Valiant","year":"1990","unstructured":"Valiant L G. A bridging model for parallel computation. Communications of the ACM, 1990, 33(8): 103-111.","journal-title":"Communications of the ACM"},{"issue":"11","key":"1721_CR7","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/240455.240477","volume":"39","author":"DE Culler","year":"1996","unstructured":"Culler D E, Karp R M, Patterson D, Sahay A, Santos E E, Schauser K E, Subramonian R, von Eicken T. LogP: A practical model of parallel computation. Communications of the ACM, 1996, 39(11): 78-85.","journal-title":"Communications of the ACM"},{"issue":"5","key":"1721_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"EA Lee","year":"2006","unstructured":"Lee E A. The problem with threads. Computer, 2006, 39(5): 33-42.","journal-title":"Computer"},{"key":"1721_CR9","unstructured":"Hemmerling A. Systeme von Turing-Automaten und Zellularr\u00e4ume auf rahmbaren pseudomustermengen. Elektronische Informationsverarbeitung und Kybernetik, 1979, 15(1\/2): 47-72. (in German)"},{"key":"1721_CR10","unstructured":"Wiedermann J. Parallel Turing machines. Technical Report RUU-CS-84-11, Department of Computer Science, University of Utrecht, The Netherlands, 1984."},{"issue":"3","key":"1721_CR11","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/2093548.2093569","volume":"55","author":"SB Cooper","year":"2012","unstructured":"Cooper S B. Turing\u2019s Titanic machine? Communications of the ACM, 2012, 55(3): 74-83.","journal-title":"Communications of the ACM"},{"key":"1721_CR12","doi-asserted-by":"crossref","unstructured":"Goldin D, Wegner P. The church-Turing thesis: Breaking the myth. In Lecture Notes in Computer Science 3526, Cooper S B, L\u00f6we B, Torenvliet L (eds.), Springer, 2005, pp.152-168.","DOI":"10.1007\/11494645_20"},{"key":"1721_CR13","doi-asserted-by":"crossref","unstructured":"Turing A M. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 1936, S2-42(1): 230-265.","DOI":"10.1112\/plms\/s2-42.1.230"},{"issue":"7","key":"1721_CR14","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7): 558-565.","journal-title":"Communications of the ACM"},{"key":"1721_CR15","doi-asserted-by":"crossref","unstructured":"Dennis J B. A parallel program execution model supporting modular software construction. In Proc. the 3rd Working Conference on Massively Parallel Programming Models, November 1997, pp.50-60.","DOI":"10.1109\/MPPM.1997.715961"},{"issue":"8","key":"1721_CR16","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1109\/12.868026","volume":"49","author":"GR Gao","year":"2000","unstructured":"Gao G R, Sarkar V. Location consistency \u2014 A new memory model and cache consistency protocol. IEEE Transactions on Computers, 2000, 49(8): 798-813.","journal-title":"IEEE Transactions on Computers"},{"key":"1721_CR17","unstructured":"Garcia E, Orozco D, Gao G R. Energy efficient tiling on a Many-Core Architecture. In Proc. the 4th Workshop on Programmability Issues for Heterogeneous Multicores; the 6th International Conference on High-Performance and Embedded Architectures and Compilers, January 2011, pp.53-66."},{"key":"1721_CR18","doi-asserted-by":"crossref","unstructured":"Dennis J B, Fosseen J B, Linderman J P. Data flow schemas. In Proc. the International Symposium on Theoretical Programming, August 1972, pp.187-216.","DOI":"10.1007\/3-540-06720-5_15"},{"issue":"4","key":"1721_CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1006\/jpdc.1993.1113","volume":"19","author":"GR Gao","year":"1993","unstructured":"Gao G R. An efficient hybrid dataflow architecture model. Journal of Parallel and Distributed Computing, 1993, 19(4): 293-307.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"1721_CR20","doi-asserted-by":"crossref","unstructured":"Dennis J B, Gao G R. An efficient pipelined dataflow processor architecture. In Proc. the ACM\/IEEE Conference on Supercomputing, November 1988, pp.368-373.","DOI":"10.1109\/SUPERC.1988.44674"},{"key":"1721_CR21","unstructured":"Gao G R, Tio R, Hum H H J. Design of an efficient dataflow architecture without data flow. In Proc. International Conference on the 5th Generation Computer Systems, December 1988, pp.861-868."},{"key":"1721_CR22","doi-asserted-by":"crossref","unstructured":"Zuckerman S, Suetterlein J, Knauerhase R, Gao G R. Using a \u201ccodelet\u201d program execution model for exascale machines: Position paper. In Proc. the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, June 2011, pp.64-69.","DOI":"10.1145\/2000417.2000424"},{"issue":"1","key":"1721_CR23","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/773365.773367","volume":"31","author":"JB Dennis","year":"2003","unstructured":"Dennis J B. Fresh Breeze: A multiprocessor chip architecture guided by modular programming principles. ACM SIGARCH Computer Architecture News, 2003, 31(1): 7-15.","journal-title":"ACM SIGARCH Computer Architecture News"},{"issue":"3","key":"1721_CR24","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/365230.365252","volume":"9","author":"JB Dennis","year":"1966","unstructured":"Dennis J B, van Horn E C. Programming semantics for multiprogrammed computations. Communications of the ACM, 1966, 9(3): 143-155.","journal-title":"Communications of the ACM"},{"key":"1721_CR25","unstructured":"Gao G R, Suetterlein J, Zuckerman S. Toward an execution model for extreme-scale systems-runnemede and beyond. CAPSL Technical Memo 104, April 2011."},{"issue":"6","key":"1721_CR26","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/1743546.1743560","volume":"53","author":"PJ Denning","year":"2010","unstructured":"Denning P J, Dennis J B. The resurgence of parallelism. Communications of the ACM, 2010, 53(6): 30-32.","journal-title":"Communications of the ACM"},{"key":"1721_CR27","doi-asserted-by":"crossref","unstructured":"van Emde Boas P. Machine models and simulations. In Handbook of Theoretical Computer Science (vol. A), van Leeuwen (ed.), MIT Press, 1990, pp.1-66.","DOI":"10.1016\/B978-0-444-88071-0.50006-0"},{"key":"1721_CR28","unstructured":"Ito T. Synchronized alternation and parallelism for three-dimensional automata [Ph.D. Thesis]. University of Miyazaki, 2008."},{"key":"1721_CR29","unstructured":"Okinaka K, Inoue K, Ito A. A note on hardware-bounded parallel Turing machines. In Proc. the 2nd International Conference on Information, December 2002, pp.90-100."},{"issue":"2","key":"1721_CR30","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10015-010-0798-3","volume":"15","author":"T Ito","year":"2010","unstructured":"Ito T, Sakamoto M, Taniue A, Matsukawa T, Uchida Y, Furutani H, Kono M. Parallel Turing machines on four-dimensional input tapes. Artificial Life and Robotics, 2010, 15(2): 212-215.","journal-title":"Artificial Life and Robotics"},{"issue":"2","key":"1721_CR31","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1145\/17356.17406","volume":"14","author":"M Dubois","year":"1986","unstructured":"Dubois M, Scheurich C, Briggs F. Memory access buffering in multiprocessors. ACM SIGARCH Computer Architecture News, 1986, 14(2): 434-442.","journal-title":"ACM SIGARCH Computer Architecture News"},{"key":"1721_CR32","doi-asserted-by":"crossref","unstructured":"Gharachorloo K, Lenoski D, Laudon J, Gibbons P, Gupta A, Hennessy J. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proc. the 17th Annual International Symposium on Computer Architecture, May 1990, pp.15-26.","DOI":"10.1109\/ISCA.1990.134503"},{"key":"1721_CR33","doi-asserted-by":"crossref","unstructured":"Chen C, Manzano J B, Gan G, Gao G R, Sarkar V. A study of a software cache implementation of the OpenMP memory model for multicore and manycore architectures. In Lecture Notes in Computer Science 6272, D\u2019Ambra P, Guarracino M, Talia D (eds.), Springer, 2010, pp.341-352.","DOI":"10.1007\/978-3-642-15291-7_31"},{"key":"1721_CR34","doi-asserted-by":"crossref","unstructured":"Gao G R, Hum H H J, Monti J M. Towards an efficient hybrid dataflow architecture model. In Proc. Parallel Architectures and Languages Europe, June 1991, pp.355-371.","DOI":"10.1007\/978-3-662-25209-3_24"},{"issue":"2","key":"1721_CR35","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/633625.52416","volume":"16","author":"RA Iannucci","year":"1988","unstructured":"Iannucci R A. Toward a dataflow\/von Neumann hybrid architecture. ACM SIGARCH Computer Architecture News, 1988, 16(2): 131-140.","journal-title":"ACM SIGARCH Computer Architecture News"},{"key":"1721_CR36","doi-asserted-by":"crossref","unstructured":"Dennis J B. First version of a data flow procedure language. In Proc. Programming Symposium, April 1974, pp.362-376.","DOI":"10.1007\/3-540-06859-7_145"},{"issue":"3","key":"1721_CR37","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1109\/12.48862","volume":"39","author":"K Arvind","year":"1990","unstructured":"Arvind K, Nikhil R S. Executing a program on the MIT tagged-token dataflow architecture. IEEE Transactions on Computers, 1990, 39(3): 300-318.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"1721_CR38","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1006\/jpdc.1996.0107","volume":"37","author":"RD Blumofe","year":"1996","unstructured":"Blumofe R D, Joerg C F, Kuszmaul B C, Leiserson C E, Randall K H, Zhou Y L. Cilk: An efficient multithreaded runtime system. Journal of Parallel and Distributed Computing, 1996, 37(1): 55-69.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"1721_CR39","unstructured":"Hum H H J, Maquelin O, Theobald K B, Tian X M, Tang X A, Gao G R, Cupryk P, Elmasri N, Hendren L J, Jimenez A, Krishnan S, Marquez A, Merali S, Nemawarkar S S, Panangaden P, Xue X, Zhu Y C. A design study of the EARTH multiprocessor. In Proc. the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, June 1995, pp.59-68."},{"key":"1721_CR40","doi-asserted-by":"crossref","unstructured":"Dennis J B, Misunas D P. A preliminary architecture for a basic data-flow processor. In Proc. the 2nd Annual Symposium on Computer Architecture, January 1975, pp.126-132.","DOI":"10.1145\/642089.642111"},{"key":"1721_CR41","unstructured":"Hennessy J L, Patterson D A. Computer Architecture: A Quantitative Approach (5th edition). Elsevier, 2012."},{"key":"1721_CR42","doi-asserted-by":"crossref","unstructured":"Lauderdale C, Khan R. Position paper: Towards a codelet-based runtime for exascale computing. In Proc. the 2nd International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, March 2012, pp.21-26.","DOI":"10.1145\/2185475.2185478"},{"key":"1721_CR43","doi-asserted-by":"crossref","unstructured":"Cassidy A S Merolla P, Arthur J V, Esser S K, Jackson B, Alvarez-Icaza R, Datta P, Sawada J, Wong T M, Feldman V, Amir A, Rubin D B D, Akopyan F, McQuinn E, Risk W P, Modha D S. Cognitive computing building block: A versatile and efficient digital neuron model for neurosynaptic cores. In Proc. the International Joint Conference on Neural Networks, Aug. 2013.","DOI":"10.1109\/IJCNN.2013.6707077"},{"key":"1721_CR44","doi-asserted-by":"crossref","unstructured":"Khan M M, Lester D R, Plana L A, Rast A, Jin X, Painkras E, Furber S B. SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor. In Proc. IEEE International Joint Conference on Neural Networks, June 2008, pp.2849-2856.","DOI":"10.1109\/IJCNN.2008.4634199"},{"key":"1721_CR45","doi-asserted-by":"crossref","unstructured":"Ji Y, Zhang Y H, Li S C, Chi P, Jiang C H, Qu P, Xie Y, Chen W G. NEUTRAMS: Neural network transformation and co-design under neuromorphic hardware constraints. In Proc. the 49th Annual IEEE\/ACM International Symposium on Microarchitecture, October 2016.","DOI":"10.1109\/MICRO.2016.7783724"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-017-1721-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-017-1721-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-017-1721-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T12:04:14Z","timestamp":1750075454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-017-1721-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["1721"],"URL":"https:\/\/doi.org\/10.1007\/s11390-017-1721-3","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2017,3]]}}}