{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:17:57Z","timestamp":1742995077153,"version":"3.40.3"},"reference-count":116,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780120121250"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DCK-850 1482"],"award-info":[{"award-number":["DCK-850 1482"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-83-K-0560"],"award-info":[{"award-number":["N00014-83-K-0560"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1016\/s0065-2458(08)60475-1","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T05:56:15Z","timestamp":1295416575000},"page":"215-275","source":"Crossref","is-referenced-by-count":4,"title":["Partitioning of Massive\/Real-Time Programs for Parallel Processing"],"prefix":"10.1016","author":[{"given":"I.","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Prywes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Szymanski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1979","series-title":"VAL-A value-oriented algorithmic language. TR-218","author":"Ackerman","key":"10.1016\/S0065-2458(08)60475-1_bib1"},{"key":"10.1016\/S0065-2458(08)60475-1_bib2","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.1984.1659184","article-title":"Modelling algorithm execution time on processor arrays","volume":"17","author":"Adams","year":"1984","journal-title":"Computer"},{"key":"10.1016\/S0065-2458(08)60475-1_bib3","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/TC.1983.1676295","article-title":"Graph theoretical analysis and design of multistage interconnection networks","volume":"C-32","author":"Agrawal","year":"1983","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib4","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/69610.357984","article-title":"The coordinated use of five performance evaluation methodologies","volume":"27","author":"Anderson","year":"1984","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib5","article-title":"Language features for parallel processing and resource control","author":"Andrews","year":"1976","journal-title":"Proc. Conf. Design Implement. Program. Languages, Ithaca, N.Y., October."},{"issue":"1","key":"10.1016\/S0065-2458(08)60475-1_bib6","article-title":"Concepts and notations for concurrent programming","volume":"15","author":"Andrews","year":"1983","journal-title":"Comput. Sum."},{"key":"10.1016\/S0065-2458(08)60475-1_bib7","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.1982.1653940","article-title":"The U interpreter","volume":"15","author":"Arvind","year":"1982","journal-title":"IEEE Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib8","first-page":"426","article-title":"A critique of multiprocessing von Neumann style","author":"Arvind","year":"1983","journal-title":"Proc. 10th Annu. Symp. Comput. Architect."},{"key":"10.1016\/S0065-2458(08)60475-1_bib9","series-title":"Technical Memo 174","article-title":"A data flow architecture with tagged tokens","author":"Arvind","year":"1980"},{"issue":"1","key":"10.1016\/S0065-2458(08)60475-1_bib10","article-title":"Special issue on computer architecture","volume":"21","year":"1980","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib11","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can programming be liberated from the von Neumann style? A functional style and its algebra of programs","volume":"21","author":"Backus","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib12","first-page":"140","article-title":"A micro-kernel for distributed applications","author":"Bagrodia","year":"1985","journal-title":"Proc. Int. Conf. Distrib. Comput. Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib13","article-title":"An argument for nonprocedural languages","author":"Baron","year":"1985","journal-title":"Proc. Workshop Role of Languages in Problem Solving-1"},{"key":"10.1016\/S0065-2458(08)60475-1_bib14","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/321879.321887","article-title":"Open, closed, and mixed networks of queues with different classes of customers","volume":"22","author":"Baskett","year":"1975","journal-title":"J. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib15","first-page":"23","article-title":"Task communication in demos","author":"Baskett","year":"1977","journal-title":"Proc. 6th Symp. Operating Syst. Principles"},{"key":"10.1016\/S0065-2458(08)60475-1_bib16","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/2080.357392","article-title":"Implementing remote procedure calls","volume":"2","author":"Birrell","year":"1984","journal-title":"Trans. Comput. Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib17","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/TC.1982.1675906","article-title":"PUMPS architecture for pattern analysis and image database management","volume":"C-31","author":"Briggs","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib18","first-page":"142","article-title":"A language for specification and programming of reconfigurable parallel computation structures","author":"Browne","year":"1982","journal-title":"Proc. Int. Conf. Parallel Process"},{"key":"10.1016\/S0065-2458(08)60475-1_bib19","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1145\/358396.358403","article-title":"Linearizer: A heuristic algorithm for queueing network models of computing systems","volume":"25","author":"Chandy","year":"1982","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/S0065-2458(08)60475-1_bib20","article-title":"Approximate analysis of general queueing networks","volume":"19","author":"Chandy","year":"1975","journal-title":"IBM J. Res. Dev."},{"key":"10.1016\/S0065-2458(08)60475-1_bib21","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1984.5010279","article-title":"Use of very high level languages and program generation by management professionals","author":"Cheng","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60475-1_bib22","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.1984.234046","article-title":"The V. kernel: A software base for distributed systems","volume":"1","author":"Cheriton","year":"1984","journal-title":"IEE. Software"},{"key":"10.1016\/S0065-2458(08)60475-1_bib23","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1109\/TC.1984.5009355","article-title":"Estimation of intermodule communication (IMC) and its application in distributed processing systems","volume":"C-33","author":"Chu","year":"1984","journal-title":"IEEE Trans. Comput."},{"journal-title":"\u201cHeterogeneous Element Processor: Principles of Operation\u201d","year":"1981","key":"10.1016\/S0065-2458(08)60475-1_bib24"},{"key":"10.1016\/S0065-2458(08)60475-1_bib25","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MC.1980.1653418","article-title":"Data flow supercomputers","author":"Dennis","year":"1980","journal-title":"IEEE Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib26","first-page":"23","article-title":"Maximum pipelining of array operations on static dataflow machine","author":"Dennis","year":"1983","journal-title":"Proc. Intl. Conf. Parallel Proc"},{"key":"10.1016\/S0065-2458(08)60475-1_bib27","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1976.233534","article-title":"Programming-in-the-large versus programming-in-the-small","volume":"SE-2","author":"DeRemer","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60475-1_bib28","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","article-title":"Guarded commands, nondeterminancy, and formal derivation of programs","volume":"18","author":"Dijkstra","year":"1975","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib29","series-title":"Ph.D. dissertation proposal in systems engineering","article-title":"Distributed coordination and decision making in a robot sensing-action system","author":"Durrant-Whyte","year":"1985"},{"key":"10.1016\/S0065-2458(08)60475-1_bib30","series-title":"\u201cHigh-Speed Computations\u201d","article-title":"The S-1 Mark 11A supercomputer","author":"Farmwald","year":"1984"},{"key":"10.1016\/S0065-2458(08)60475-1_bib31","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/359114.359127","article-title":"High level programming for distributed computing","volume":"22","author":"Feldman","year":"1979","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib32","first-page":"140","article-title":"Very long instruction word architectures and the ELI 512","author":"Fisher","year":"1983","journal-title":"Proc. 10th Symp. Comput. Architect., Stockholm"},{"year":"1978","series-title":"The C.mmp multiprocessor. Technical Report","author":"Fuller","key":"10.1016\/S0065-2458(08)60475-1_bib33"},{"key":"10.1016\/S0065-2458(08)60475-1_bib34","first-page":"9","article-title":"Essential issues in multiprocessor systems","volume":"18","author":"Gajski","year":"1985","journal-title":"IEE. Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib35","first-page":"58","article-title":"A second opinion in dataflow machines and languages","author":"Gajski","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib36","first-page":"524","article-title":"Cedar-A large scale multiprocessor","author":"Gajski","year":"1983","journal-title":"Proc. Intl. Conf. Parallel Process."},{"year":"1980","series-title":"\u201cAnalysis and Synthesis of Computer Systems\u201d","author":"Gelenbe","key":"10.1016\/S0065-2458(08)60475-1_bib37"},{"key":"10.1016\/S0065-2458(08)60475-1_bib38","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/spe.4380110504","article-title":"Message passing between sequential processes: The reply primitive and the administrator concept","volume":"11","author":"Gentleman","year":"1981","journal-title":"Software-Practice and Experience"},{"key":"10.1016\/S0065-2458(08)60475-1_bib39","series-title":"Ph.D. dissertation in Computer Science","article-title":"Generating dataflow programs from nonprocedural specifications","author":"Gokhale","year":"1983"},{"key":"10.1016\/S0065-2458(08)60475-1_bib40","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1109\/TC.1980.1675474","article-title":"Performance of a simulated dataflow computer","author":"Gostelow","year":"1980","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib41","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1109\/TC.1983.1676201","article-title":"The NYU ultracomputer-designing an MIMD shared memory parallel computer","author":"Gottlieb","year":"1983","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib42","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/69624.357206","article-title":"Basic techniques for the efficient coordination of very large numbers of cooperating sequential processes","volume":"5","author":"Gottlieb","year":"1983","journal-title":"ACM TOPLAS"},{"year":"1981","series-title":"Simultaneous equations In the MODEL system with An application to econometric modelling, Master thesis","author":"Greenberg","key":"10.1016\/S0065-2458(08)60475-1_bib43"},{"key":"10.1016\/S0065-2458(08)60475-1_bib44","article-title":"Data driven system for high speed parallel computing","author":"Gurd","year":"1980","journal-title":"Computer Design, Parts I & II."},{"year":"1978","series-title":"\u201cConcurrent Pascal\u201d","author":"Hansen","key":"10.1016\/S0065-2458(08)60475-1_bib45"},{"key":"10.1016\/S0065-2458(08)60475-1_bib46","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","article-title":"Distributed processes: A concurrent programming concept","volume":"21","author":"Hansen","year":"1978","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/S0065-2458(08)60475-1_bib47","article-title":"And\/or programs: A new approach to structural programming","volume":"2","author":"Harel","year":"1980","journal-title":"AC. Trans. Prog. Lang. Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib48","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/69622.357182","article-title":"A value transmission method for abstract data types","volume":"4","author":"Herlihy","year":"1982","journal-title":"Trans. Program. Languages Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib49","first-page":"1","article-title":"Control data STAR-100 processor design","author":"Hintz","year":"1972","journal-title":"COMPCO. Proc."},{"key":"10.1016\/S0065-2458(08)60475-1_bib50","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib51","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/356603.356607","article-title":"Some deadlock properties of computer systems","volume":"4","author":"Holt","year":"1972","journal-title":"ACM Comput. Surv."},{"year":"1978","series-title":"\u201cStructured Concurrent Programming with Operating Systems Applications,\u201d","author":"Holt","key":"10.1016\/S0065-2458(08)60475-1_bib52"},{"volume":"7","year":"1984","author":"Hwang","key":"10.1016\/S0065-2458(08)60475-1_bib53"},{"key":"10.1016\/S0065-2458(08)60475-1_bib54","first-page":"57","article-title":"Multiprocessor supercomputers for scientific\/engineering applications","volume":"18","author":"Hwang","year":"1985","journal-title":"IEEE Trans. Comput."},{"year":"1984","series-title":"\u201cComputer Architecture and Parallel Processing\u201d","author":"Hwang","key":"10.1016\/S0065-2458(08)60475-1_bib55"},{"issue":"1","key":"10.1016\/S0065-2458(08)60475-1_bib56","article-title":"Job shop-like queueing system","volume":"10","author":"Jackson","year":"1983","journal-title":"Manage. Sci."},{"key":"10.1016\/S0065-2458(08)60475-1_bib57","article-title":"A loosely coupled applicative multiprocessing system","author":"Keller","year":"1979","journal-title":"Proc. Natl. Computer Conf. AFIHS."},{"year":"1976","series-title":"\u201cQueueing Systems, Volume II: Computer Applications\u201d","author":"Kleinrock","key":"10.1016\/S0065-2458(08)60475-1_bib58"},{"key":"10.1016\/S0065-2458(08)60475-1_bib59","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TSE.1985.232231","article-title":"Dynamic configuration for distributed systems","volume":"SE-11","author":"Kramer","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60475-1_bib60","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/356683.356686","article-title":"A survey of parallel machine organization and programming","volume":"9","author":"Kuck","year":"1977","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/S0065-2458(08)60475-1_bib61","first-page":"207","article-title":"Dependence graphs and compiler optimizations","author":"Kuck","year":"1981","journal-title":"Proc. 8th ACM Symp."},{"key":"10.1016\/S0065-2458(08)60475-1_bib62","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0065-2458(08)60033-9","article-title":"The structure of parallel algorithms","volume":"19","author":"Kung","year":"1980","journal-title":"Adv. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib63","first-page":"37","article-title":"Why systolic architectures","author":"Kung","year":"1982","journal-title":"IEEE Trans. Comp."},{"issue":"7","key":"10.1016\/S0065-2458(08)60475-1_bib64","article-title":"On supercomputing with systolic, wavefront array processors","volume":"11","author":"Kung","year":"1984","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0065-2458(08)60475-1_bib65","doi-asserted-by":"crossref","first-page":"1054","DOI":"10.1109\/TC.1982.1675922","article-title":"Wavefront array processor: language, architecture, and applications","volume":"C-31","author":"Kung","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib66","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MC.1984.1659187","article-title":"Multitasking on the Cray-X-MP-2 multiprocessor","volume":"17","author":"Larson","year":"1984","journal-title":"Computer"},{"key":"10.1016\/S0065-2458(08)60475-1_bib67","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MS.1985.230699","article-title":"High-level broadcast communication for local area networks","volume":"2","author":"Leblanc","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/S0065-2458(08)60475-1_bib68","first-page":"532","article-title":"The design of a programming language based on connectivity network","author":"LeBlanc","year":"1982","journal-title":"Proc. 3rd Int. Conf. Distrib. Comput. Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib69","article-title":"A programming system for distributed real-time applications","author":"Lee","year":"1984","journal-title":"Proc. Real-Time Syst. Symp."},{"key":"10.1016\/S0065-2458(08)60475-1_bib70","article-title":"Language constructs for distributed real-time programming","author":"Lee","year":"1985","journal-title":"Proc. Real-Time Syst. Symp."},{"key":"10.1016\/S0065-2458(08)60475-1_bib71","first-page":"315","article-title":"PCL---A process oriented job control language","author":"Lesser","year":"1979","journal-title":"Proc. 1st Int. Conf. Distrib. Comput. Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib72","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/TC.1982.1676013","article-title":"Technology and design trade offs in the creation of a modern supercomputer","volume":"C-31","author":"Lincoln","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib73","first-page":"33","article-title":"Primitives for distributing computing","author":"Liskov","year":"1979","journal-title":"Proc. Symp. Operating Syst. Principles"},{"key":"10.1016\/S0065-2458(08)60475-1_bib74","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/2166.357215","article-title":"Guardians and actions: Linguistic support for robust, distributed programs","volume":"5","author":"Liskov","year":"1983","journal-title":"Trans. Program. Languages Syst."},{"year":"1981","series-title":"Program optimization based on a non-procedural specification. Ph.D. dissertation","author":"Lu","key":"10.1016\/S0065-2458(08)60475-1_bib75"},{"key":"10.1016\/S0065-2458(08)60475-1_bib76","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MC.1984.1659182","article-title":"Instruction-level program and processor modeling","volume":"17","author":"MacDoughall","year":"1984","journal-title":"Computer"},{"key":"10.1016\/S0065-2458(08)60475-1_bib77","first-page":"277","article-title":"Dynamic configuration for distributed real-time systems","author":"Magee","year":"1983","journal-title":"Proc. Real-Time Syst. Symp."},{"key":"10.1016\/S0065-2458(08)60475-1_bib78","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1093\/comjnl\/27.3.201","article-title":"On the static evaluation of distributed systems performance","volume":"27","author":"Mahjoub","year":"1984","journal-title":"Computer J."},{"key":"10.1016\/S0065-2458(08)60475-1_bib79","series-title":"\u201cDistributed Computing Systems Programme\u201d","article-title":"Probabilistic modelling of distributed computing systems","author":"Mitrani","year":"1984"},{"key":"10.1016\/S0065-2458(08)60475-1_bib80","first-page":"417","article-title":"Overview to the fifth generation computer system project","author":"Moto-oka","year":"1983","journal-title":"Proc. 10th Annu. Symp. Comput. Architect."},{"key":"10.1016\/S0065-2458(08)60475-1_bib81","first-page":"76","article-title":"Research on parallel machine architecture for fifth-generation computer systems","volume":"18","author":"Murakami","year":"1985","journal-title":"IEEE Trans. Computer"},{"key":"10.1016\/S0065-2458(08)60475-1_bib82","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/850657.1127874","article-title":"Deadlock prevention, detection and resolution: An annotated bibliography","volume":"13","author":"Newton","year":"1979","journal-title":"ACM Operating Syst. Rev."},{"key":"10.1016\/S0065-2458(08)60475-1_bib83","first-page":"79","article-title":"Performance modelling of high end processors in the evaluation of realtime operating systems","author":"Oberg","year":"1984","journal-title":"Proceedings Second Workshop Real-time Operating Syst. Wake-field, MA"},{"key":"10.1016\/S0065-2458(08)60475-1_bib84","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1109\/TC.1980.1675676","article-title":"High-speed multiprocessors and compiling techniques","volume":"C-29","author":"Padua","year":"1980","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib85","doi-asserted-by":"crossref","DOI":"10.1145\/361598.361623","article-title":"On the criteria to be used in decompositing systems into modules","volume":"15","author":"Parnas","year":"1972","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib86","first-page":"29","article-title":"Multiprocessors: Architecture and applications","volume":"18","author":"Patton","year":"1985","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib87","article-title":"Distributed large scale computation with an application to world-wide econometric studies","volume":"7","author":"Prywes","year":"1984"},{"key":"10.1016\/S0065-2458(08)60475-1_bib88","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1109\/TSE.1983.236736","article-title":"Compilation of nonprocedural specifications into computer programs","volume":"SE-9","author":"Prywes","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60475-1_bib89","doi-asserted-by":"crossref","DOI":"10.1109\/TSMC.1984.6313210","article-title":"Automatic programming in distributed cooperative computation","author":"Prywes","year":"1984","journal-title":"IEEE Trans. Syst., Man Cybernet."},{"key":"10.1016\/S0065-2458(08)60475-1_bib90","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/357073.357076","article-title":"Use of a non-procedural specification language and associated program generator in software development","volume":"1","author":"Prywes","year":"1979","journal-title":"ACM Trans. Program. Languages Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib91","first-page":"287","article-title":"Nonprocedural-dataflow specification of concurrent programs","volume":"83","author":"Prywes","year":"1983","journal-title":"Proc. COMPSAC"},{"key":"10.1016\/S0065-2458(08)60475-1_bib92","article-title":"Programming supercomputers in an equational language","author":"Prywes","year":"1985","journal-title":"Proc. 1st Int. Conf. Supercomput. Syst., Dec."},{"key":"10.1016\/S0065-2458(08)60475-1_bib93","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/356683.356687","article-title":"Pipeline architecture","volume":"9","author":"Ramamoorthy","year":"1977","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/S0065-2458(08)60475-1_bib94","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TC.1972.5008918","article-title":"Optimal scheduling strategies in a multiprocessor system","volume":"C-21","author":"Ramamoorthy","year":"1972","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib95","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/322186.322195","article-title":"Mean value analysis of closed multi-chain queueing networks","volume":"27","author":"Reiser","year":"1980","journal-title":"J. ACM"},{"key":"10.1016\/S0065-2458(08)60475-1_bib96","first-page":"141","article-title":"Understanding and using asynchronous message-passing","author":"Schlichting","year":"1982","journal-title":"Proc. Symp. Principles Distrib. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib97","first-page":"43","article-title":"Paralle processor programs in the Federal Government","volume":"18","author":"Schneck","year":"1985","journal-title":"IEEE Trans Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib98","first-page":"807","article-title":"GEM: Operating system primitives for robots and real-time control systems","author":"Schwan","year":"1985","journal-title":"Proc. Int. Conf. Robot. Automat"},{"key":"10.1016\/S0065-2458(08)60475-1_bib99","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1145\/357114.357116","article-title":"Ultra-Computers","volume":"2","author":"Schwartz","year":"1980","journal-title":"ACM Trans. Program. Languages Syst."},{"key":"10.1016\/S0065-2458(08)60475-1_bib100","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/948249.948256","article-title":"Messages v. remote procedures is a false dichotomy","volume":"18","author":"Scott","year":"1983","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/S0065-2458(08)60475-1_bib101","series-title":"Comput. Sci. Tech. Rep. #541","article-title":"A simple mechanism for type security across compilation units","author":"Scott","year":"1984"},{"year":"1984","series-title":"Very high level concurrent programming. Ph.D. dissertation","author":"Shi","key":"10.1016\/S0065-2458(08)60475-1_bib102"},{"key":"10.1016\/S0065-2458(08)60475-1_bib103","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1109\/TC.1980.1675678","article-title":"The theory underlying the partitioning of permutation networks","volume":"C-29","author":"Siegel","year":"1980","journal-title":"IEE. Trans. Comput."},{"key":"10.1016\/S0065-2458(08)60475-1_bib104","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1117\/12.932535","article-title":"Architecture and applications of the HEP multiprocessor computer system","volume":"298","author":"Smith","year":"1981","journal-title":"Real-time Signal Processing IV"},{"key":"10.1016\/S0065-2458(08)60475-1_bib105","article-title":"Increasing productivity by software performance engineering","author":"Smith","year":"1981","journal-title":"Proc. Comput. Measure. Group XII, New Orlean December."},{"key":"10.1016\/S0065-2458(08)60475-1_bib106","series-title":"Technical Report MIT\/LCS\/TR-219","article-title":"Copying complex structures in a distributed system","author":"Sollins","year":"1979"},{"key":"10.1016\/S0065-2458(08)60475-1_bib107","first-page":"108","article-title":"The Roscoe distributed operating system","author":"Solomon","year":"1979","journal-title":"Proc. 7th Symp. Operating Syst. Principles"},{"key":"10.1016\/S0065-2458(08)60475-1_bib108","series-title":"Technical Report IBM Research Report RC 9949","article-title":"NIL: An integrated language and system for distributed programming","author":"Strom","year":"1983"},{"key":"10.1016\/S0065-2458(08)60475-1_bib109","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1985.231861","article-title":"Synchronized distributed termination","author":"Szymanski","year":"1985","journal-title":"IEE. Trans. Software Eng., October."},{"key":"10.1016\/S0065-2458(08)60475-1_bib110","article-title":"Efficient handling of data structures in definitional languages","author":"Szymanski","year":"1986","journal-title":"To be published in Sci. Comput. Program"},{"key":"10.1016\/S0065-2458(08)60475-1_bib111","article-title":"On the scope of static checking in definitional languages","author":"Szymanski","year":"1984","journal-title":"Proc. ACM'84 Annu. Conf."},{"key":"10.1016\/S0065-2458(08)60475-1_bib112","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/356869.356873","article-title":"Data driven and demand-driven computer architecture","author":"Treleaven","year":"1982","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/S0065-2458(08)60475-1_bib113","series-title":"Ph.D. dissertation in progress","article-title":"Very high level dataflow programming of real time systems","author":"Tseng","year":"1985"},{"key":"10.1016\/S0065-2458(08)60475-1_bib114","article-title":"Real-time software life cycle with the MODEL system","author":"Tseng","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"year":"1981","series-title":"HYDRA\/C.mmp: \u201cAn Experimental Computer System\u201d","author":"Wulf","key":"10.1016\/S0065-2458(08)60475-1_bib115"},{"key":"10.1016\/S0065-2458(08)60475-1_bib116","first-page":"486","article-title":"A synchronization scheme and its applications for large scale multiprocessor systems","author":"Zhu","year":"1984","journal-title":"Proc. Conf. Distrib. Comput. Syst., San Francisco"}],"container-title":["Advances in Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0065245808604751?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0065245808604751?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T17:24:27Z","timestamp":1715189067000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808604751"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9780120121250"],"references-count":116,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60475-1","relation":{},"ISSN":["0065-2458"],"issn-type":[{"type":"print","value":"0065-2458"}],"subject":[],"published":{"date-parts":[[1986]]}}}