{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:13:54Z","timestamp":1749615234216,"version":"3.41.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319470986"},{"type":"electronic","value":"9783319470993"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47099-3_16","type":"book-chapter","created":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T11:16:42Z","timestamp":1475147802000},"page":"191-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Toward a Parallel Turing Machine Model"],"prefix":"10.1007","author":[{"given":"Peng","family":"Qu","sequence":"first","affiliation":[]},{"given":"Jin","family":"Yan","sequence":"additional","affiliation":[]},{"given":"Guang R.","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,30]]},"reference":[{"issue":"3","key":"16_CR1","doi-asserted-by":"publisher","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 Trans. Comput. 39(3), 300\u2013318 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"16_CR2","first-page":"1","volume":"A","author":"PE van Boas","year":"2014","unstructured":"van Boas, P.E.: Machine models and simulations. Handb. Theor. Comput. Sci. A, 1\u201366 (2014)","journal-title":"Handb. Theor. Comput. Sci."},{"issue":"4","key":"16_CR3","doi-asserted-by":"publisher","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., et al.: The Illiac IV system. Proc. IEEE 60(4), 369\u2013388 (1972)","journal-title":"Proc. IEEE"},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","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., et al.: Cilk: an efficient multithreaded runtime system. J. Parallel Distrib. Comput. 37(1), 55\u201369 (1996)","journal-title":"J. Parallel Distrib. Comput."},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-642-15291-7_31","volume-title":"Euro-Par 2010 - Parallel Processing","author":"C Chen","year":"2010","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: D\u2019Ambra, P., Guarracino, M., Talia, D. (eds.) Euro-Par 2010. LNCS, vol. 6272, pp. 341\u2013352. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15291-7_31"},{"issue":"11","key":"16_CR6","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/240455.240477","volume":"39","author":"DE Culler","year":"1996","unstructured":"Culler, D.E., Karp, R.M., Patterson, D., et al.: LogP: a practical model of parallel computation. Commun. ACM 39(11), 78\u201385 (1996)","journal-title":"Commun. ACM"},{"key":"16_CR7","first-page":"484","volume":"68","author":"JB Dennis","year":"1969","unstructured":"Dennis, J.B.: Programming generality, parallelism and computer architecture. Inf. Process. 68, 484\u2013492 (1969)","journal-title":"Inf. Process."},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/3-540-06859-7_145","volume-title":"Programming Symposium","author":"JB Dennis","year":"1974","unstructured":"Dennis, J.B.: First version of a data flow procedure language. In: Robinet, B. (ed.) Programming Symposium. LNCS, vol. 19, pp. 362\u2013376. Springer, Heidelberg (1974). doi: 10.1007\/3-540-06859-7_145"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Dennis, J.B.: A parallel program execution model supporting modular software construction. In: Proceedings of the 1997 Working Conference on Massively Parallel Programming Models, MPPM 1997, pp. 50\u201360. IEEE, Los Alamitos (1997)","DOI":"10.1109\/MPPM.1997.715961"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Dennis, J.B., Gao, G.R.: An efficient pipelined dataflow processor architecture. In: Proceedings of the 1988 ACM\/IEEE Conference on Supercomputing, SC 1988, pp. 368\u2013373. IEEE Computer Society Press, Florida (1988)","DOI":"10.1109\/SUPERC.1988.44674"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Dennis, J.B., Misunas, D.P.: A preliminary architecture for a basic data-flow computer. In: Proceedings of the 2nd Annual Symposium on Computer Architecture, pp. 126\u2013132. IEEE Press, New York (1975)","DOI":"10.1145\/642089.642111"},{"issue":"1","key":"16_CR12","doi-asserted-by":"publisher","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 Comput. Archit. News 31(1), 7\u201315 (2003)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-06720-5_15","volume-title":"International Symposium on Theoretical Programming","author":"JB Dennis","year":"1974","unstructured":"Dennis, J.B., Fosseen, J.B., Linderman, J.P.: Data flow schemas. In: Ershov, A., Nepomniaschy, V.A. (eds.) International Symposium on Theoretical Programming. LNCS, vol. 5, pp. 187\u2013216. Springer, Heidelberg (1974). doi: 10.1007\/3-540-06720-5_15"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","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. Commun. ACM 9(3), 143\u2013155 (1966)","journal-title":"Commun. ACM"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","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 Comput. Architect. News 14(2), 434\u2013442 (1986)","journal-title":"ACM SIGARCH Comput. Architect. News"},{"key":"16_CR16","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, Supplement (1945)"},{"issue":"4","key":"16_CR17","doi-asserted-by":"publisher","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. J. Parallel Distrib. Comput. 19(4), 293\u2013307 (1993)","journal-title":"J. Parallel Distrib. Comput."},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BFb0035115","volume-title":"PARLE \u201991 Parallel Architectures and Languages Europe","author":"GR Gao","year":"1991","unstructured":"Gao, G.R., Hum, H.H.J., Monti, J.-M.: Towards an efficient hybrid dataflow architecture model. In: Aarts, E.H.L., Leeuwen, J., Rem, M. (eds.) PARLE 1991. LNCS, vol. 505, pp. 355\u2013371. Springer, Heidelberg (1991). doi: 10.1007\/BFb0035115"},{"key":"16_CR19","unstructured":"Gao, G.R., Tio, R., Hum, H.H.: Design of an efficient dataflow architecture without data flow. In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988 (1988)"},{"issue":"8","key":"16_CR20","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1109\/12.868026","volume":"49","author":"GR Gao","year":"2000","unstructured":"Gao, G.R., Sarkar, V.: Location consistency \u2013 a new memory model and cache consistency protocol. IEEE Trans. Comput. 49(8), 798\u2013813 (2000)","journal-title":"IEEE Trans. Comput."},{"key":"16_CR21","unstructured":"Gao, G.R., Suetterlein, J., Zuckerman, S.: Toward an execution model for extreme-scale systems-runnemede and beyond. CAPSL Technical Memo 104 (2011)"},{"key":"#cr-split#-16_CR22.1","unstructured":"Garcia, E., Orozco, D., Gao, G.R.: Energy efficient tiling on a many-core architecture. In: Proceedings of 4th Workshop on Programmability Issues for Heterogeneous Multicores, MULTIPROG 2011"},{"key":"#cr-split#-16_CR22.2","unstructured":"6th International Conference on High-Performance and Embedded Architectures and Compilers, HiPEAC 2011, pp. 53-66, Heraklion (2011)"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Gharachorloo, K., Lenoski, D., Laudon, J., et al.: Memory consistency and event ordering in scalable shared-memory multiprocessors. In: Proceedings of the 25th International Symposium on Computer Architecture, ISCA 1998, pp. 376\u2013387. ACM, Barcelona (1998)","DOI":"10.1145\/285930.285997"},{"issue":"1\/2","key":"16_CR24","first-page":"47","volume":"15","author":"A Hemmerling","year":"1979","unstructured":"Hemmerling, A.: Systeme von Turing-Automaten und Zellularr\u00e4ume auf rahmbaren pseudomustermengen. Elektronische Informationsverarbeitung und Kybernetik 15(1\/2), 47\u201372 (1979)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"16_CR25","volume-title":"Computer Architecture: A Quantitative Approach","author":"JL Hennessy","year":"2011","unstructured":"Hennessy, J.L., Patterson, D.A.: Computer Architecture: A Quantitative Approach. Morgan Kaufmann Publishers, San Francisco (2011)"},{"key":"16_CR26","unstructured":"Humy, H.H., Maquelin, O., Theobald, K.B., et al.: A design study of the EARTH multiprocessor. In: Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, PACT 1995, pp. 59\u201368, Limassol (1995)"},{"issue":"2","key":"16_CR27","doi-asserted-by":"publisher","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 Comput. Architect. News 16(2), 131\u2013140 (1988)","journal-title":"ACM SIGARCH Comput. Architect. News"},{"key":"16_CR28","unstructured":"Ito, T.: Synchronized alternation and parallelism for three-dimensional automata. Ph.D. thesis. University of Miyazaki (2008)"},{"issue":"2","key":"16_CR29","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10015-010-0798-3","volume":"15","author":"T Ito","year":"2010","unstructured":"Ito, T., Sakamoto, M., Taniue, A., et al.: Parallel Turing machines on four-dimensional input tapes. Artif. Life Rob. 15(2), 212\u2013215 (2010)","journal-title":"Artif. Life Rob."},{"key":"16_CR30","unstructured":"Kennedy, K.: Is parallel computing dead? http:\/\/www.crpc.rice.edu\/newsletters\/oct94\/director.html"},{"issue":"7","key":"16_CR31","doi-asserted-by":"publisher","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. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Lauderdale, C., Khan, R.: Position paper: towards a codelet-based runtime for exascale computing. In: Proceedings of the 2nd International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, EXADAPT 2012, pp. 21\u201326. ACM, London (2012)","DOI":"10.1145\/2185475.2185478"},{"issue":"5","key":"16_CR33","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E Lee","year":"2006","unstructured":"Lee, E.: The problem with threads. Computer 39(5), 33\u201342 (2006)","journal-title":"Computer"},{"key":"16_CR34","unstructured":"Mattson, T., Cledat, R., Budimlic, Z., et al.: OCR: the open community runtime interface version 1.1.0 (2015)"},{"key":"16_CR35","unstructured":"McCarthy, J.: LISP 1.5 programmer\u2019s manual (1965)"},{"key":"16_CR36","unstructured":"Okinaka, K., Inoue, K., Ito, A.: A note on hardware-bounded parallel Turing machines. In: Proceedings of the 2nd International Conference on Information, pp. 90\u2013100, Beijing (2002)"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society, pp. 230\u2013265, London (1936)","DOI":"10.1112\/plms\/s2-42.1.230"},{"issue":"8","key":"16_CR38","doi-asserted-by":"publisher","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. Commun. ACM 33(8), 103\u2013111 (1990)","journal-title":"Commun. ACM"},{"issue":"4","key":"16_CR39","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/85.238389","volume":"15","author":"J Von Neumann","year":"1993","unstructured":"Von Neumann, J., Godfrey, M.D.: First draft of a report on the EDVAC. IEEE Ann. Hist. Comput. 15(4), 27\u201375 (1993)","journal-title":"IEEE Ann. Hist. Comput."},{"key":"16_CR40","unstructured":"Wiedermann, J.: Parallel Turing machines. Research Report (1984)"},{"issue":"1","key":"16_CR41","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N Wirth","year":"1971","unstructured":"Wirth, N.: The programming language Pascal. Acta Informatica 1(1), 35\u201363 (1971)","journal-title":"Acta Informatica"},{"issue":"1","key":"16_CR42","first-page":"3","volume":"7","author":"N Wirth","year":"1977","unstructured":"Wirth, N.: Modula: a language for modular multiprogramming. Softw. Pract. Experience 7(1), 3\u201335 (1977)","journal-title":"Softw. Pract. Experience"},{"key":"16_CR43","doi-asserted-by":"crossref","unstructured":"Zuckerman, S., Suetterlein, J., Knauerhase, R., et al.: Using a codelet program execution model for exascale machines: position paper. In: Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, EXADAPT 2011, pp. 64\u201369. ACM, San Jose (2011)","DOI":"10.1145\/2000417.2000424"}],"container-title":["Lecture Notes in Computer Science","Network and Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47099-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T21:54:00Z","timestamp":1749592440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47099-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319470986","9783319470993"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47099-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"30 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NPC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Network and Parallel Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"npc2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}