A Survey of Some Theoretical Aspects of Multiprocessing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Survey of Some Theoretical Aspects of Multiprocessing

Full text

Pdf (4.05 MB)

Source

ACM Computing Surveys (CSUR) archive
Volume 5 , Issue 1 (March 1973) table of contents

Pages: 31 - 80

Year of Publication: 1973

ISSN:0360-0300

Author

J. L. Baer

University of Washington, Seattle, Washington

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 18, Downloads (12 Months): 90, Citation Count: 31

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/356612.356615 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ABEL 69	ABZL, N. E.; D. P. B~VNICK; D. J. KUCK; Y. MURAOKA; R. NORTH- COTE; AND R. B. WILHELMSON. "TRANQUIL: a language for an array processing computer." In Proc. AFIPS 1969 ~pring Jo, nt Computer Conf., AFIPS Press, Montvale, N.J., 57-73.
	ADAM 68	Duane Albert Adams, A computation model with data flow sequencing, 1969
	ADAM 70	ADAMS, D.A. "A model for parallel computations." In Parallel processor systems, technologies and applications, L. C. Hobbs, et al. (Eds.), Spartan Books, New York, 1970, 311-334.
	ALLA 64	R. W. Allard , K. A. Wolf , R. A. Zemlin, Some effects of the 6600 computer on language structures, Communications of the ACM, v.7 n.2, p.112-119, Feb. 1964 [doi>10.1145/363921.363940]
	ANDE 62	ANDERSON, J. P.; S. A. HOFFMAN; J. SmFMAN; AND R. J. WILLIAMS. "D825--A multiple computer syst 1" tern for command and con to. In Proc. AFIPS 1962 Fall Joint Computer Conf., Spartan Books, New York, 86-96.
	ANDE 65	James P. Anderson, Program structures for parallel processing, Communications of the ACM, v.8 n.12, p.786-788, Dec. 1965 [doi>10.1145/365691.365945]
	ANDE 67	ANDERSON, D. W.; F. J. SPORACIO; ~ND R. M. TOMASULO. "Machine ~ hilosophy and instruction hanling." IBM J. of Research and Development 11 (Jan. 1967), 8-24
	AOKI 63	AOKI, M.; G. ESTmN; AND R. MANDSLL. "Analysis of computing-load assignment in a multiprocessor computer." AFIPS 1963 Fall Joint Computer Conf., Spartan Books, New York, 147-160.
	ASCH 67	ASCHENBRENNER, R. A.; M. J. FI~YNN; AND G. A. ROmSSON. "Intrinsic multiprocessing." In Proc. AFIPS 1967 Spr~ng Joint Computer Conf., AFIPS Press, Montvale, N.J., 81-86.
	BAER 68	BAER, J. L.; AND D. P. BOVET. "Compilation of arithmetic expressions for parallel computations." In Proc. IFIP Congress 1968, North-Holland, Amsterdam, The Netherlands, 340-346.
	BAER 68A	Jean-Loup E. Baer, Graph models of computations in computer systems, 1968
	BAER 69	BAER, J. L., AND G. ES~RIN. "Bounds for maximum parallelism in a blloglc graph model of computations " IEEE Trans on Computers C-18, (Nov. 1969), 1012- 1914.
	BAER 70	J. L. Baer , D. P. Bovet , G. Estrin, Legality and Other Properties of Graph Models of Computations, Journal of the ACM (JACM), v.17 n.3, p.543-554, July 1970 [doi>10.1145/321592.321605]
	BALL 62	BALL, J. R.; R C. BOLL~NG~R; T. A. JEEVES, R. C McREYNOLDS, AND D. H SHAFTER "On the use of the SOLOMON parallel processing computer." In Proc AFIPS 1962 Fall Joznl Computer Conf., Spartan Books, New York, 137-146
	BARN 68	BARNES, G ; R. BROWN, M KATO; D KVCK; D SLOTNICK; AND R. STOKES. "The ILLIAC IV computer " IEEE Trans on Computers C-17 (Aug. 1968), 746-757.
	BERN 66	BERNSTEIN, A. J. "Analysis of programs for parallel processing " IEEE Trans. on Electronzc Computers EC-15 (Oct 1966), 757-762.
	BING 67	BINGHAM, H. W ; D A FISHER; AND E. W. REIGEL "Automatic detection of parallelism m computer programs " TR-ECOM- 02463-4, Burroughs TR-67-4, AD 622 274, Nov. 1967
	BLAA 64	B~AAVw, G A. "Tbestructure of system/360 Part V Multlsystem organization " IBM Systems J 3, (1964), 181-195.
	BLAK 67	BLAKENEY, G. R , L. F. CUDNEY; AND C. R EICKHORN "Design characteristics of the 9020 system." IBM Systems J. 6 (1967), 90-94
	BONS 69	BONSEIGNEUR, P. "Description of the 7600 computer system " Computer Group News 2 (May 1969), 11-15
	BOVE 69	BOVET, D P. "Legality of multilogic graphs." lnstztute dz Automat, ca, University de Roma, Dec 1969
	BOVE 70	BOVET, D. P ; AND G. ESTRIN. "A dynamic memory allocation algorithm " IEEE Trans. on Computers C-19 (May 1970), 403-411
	BOWD 69	BOWl)ON, E K. "Prmrlty assign~ ment in a network of computers " IEEE Trans on Computers C-18 (Nov 1969), 1021-1026
	BRED 70	Thomas H. Bredt, A survey of models for parallel computing, Stanford University, Stanford, CA, 1970
	BRED 70A	BREDT, T H, AND E J Mc- CL~SKEY "Analysis and synthems of control mechanisms for parallel processes." In Parallel processor systems, technologzes and apphcations, L. C. Hobbs, et al. (Eds.), Spartan Books, New York, 1970, 287-296
	BRIG 64	BRIGHT, H. S "A Philco multiprocessing system." In AFIPS 1964 Fall Joznt Computer Conf, Part lI, Spartan Books, New York, 97-141.
	BROW 62	BROWN, G W. "A new concept in programming." In Computers and the world of the future, M Greenberger (Ed), MIT Press, 1962, 250- 287
	BRUN 71	BRUNO, J, AND S. M ALTMAN "A theory of asynchronous control networks " IEEE Trans on Computers (2-20 (June 1971), 629-638
	BUCH 62	Werner Buchholz, Planning a computer system: Project Stretch, McGraw-Hill, Inc., Hightstown, NJ, 1962
	BURN 67	BURNETT, G. J; L J KOCZELA; ANI) R A HOKOM "i distributed processing system for general purpose computing " In Proc. AFIPS 1967 Fall Joznt Computer Conf, AFIPS Press, Montvale, N J., 757-768.
	BUSS 62	BUSSELL, B "Properties of a variable structure computer system m the solution of parabolic ~ rtlal differential equations " D Dissertatmn, Dept of Electrical Engineering, Univ Callforma, Los Angeles, Calif, 1962.
	CAMP 69	CAMPEAU, J O "The blockormnted computer." IEEE Trans on Computers C-18 (Aug. 1969), 706-718.
	CAMP 70	CAMPEAU,J O "Communicatmn and sequential problems in the parallel processor " In Parallel processor systems, technologzes and applicatwns, L C. Hobbs, et al (Eds), Spartan Books, New York, 1970, 215-234
	CERF 72	CartE, V G "Multiprocessors, semaphores and a graph model of computations." PhD Dissertation, Computer Science Dept., Univ California, Los Angeles, Calif., 1972.
	CHAM 71	CHAMBERLIN, D D. "The slngleassignment approach to parallel processing " In Proc AFIPS 1971 Fall Joznt Computer Conf , AFIPS, Press, Montvale, N J., 263-269
	CHEN 71	CttEN, T C. "P~rallelism, pipelining and computer efficiency." Computer Deszgn 10 (Jan 1971), 69-76
	CHEN 72	Y. E. Chen , D. L. Epley, Memory Requirements in a Multiprocessing Environment, Journal of the ACM (JACM), v.19 n.1, p.57-69, Jan. 1972 [doi>10.1145/321679.321685]
	CLAR 67	CLARK, W. A. "Macromodular computer systems " In Proc AFIPS 1967 Sprzng Joznt Computer Conf., AFIPS Press, Montvale, N. J , 333-336.
	CODD 62	CODD, E. F. "Multiprogramming " In Advances ,n computers, vol 3, F Alt and M. Rubinoff (Eds), 1962, 78-153
	COFF 66	Edward Grady Coffman, Jr., Stochastic models of multiple and time-shared computer operations., 1966
	COFF 67	COFFMAN, E G. "Bounds on parallel processing of queues w~th multiple jobs." Nay Res Lo9 Q 14 (Sept 1967), 345-366.
	COFF 72	COFFMAN, E G , AND GRAHAM, }:~ L "Optimal scheduling for two processor systems " Acta Informaraca I (1972), 200-213
	COMF 63	COMFORT, W T. "A modified Holland machine " In Proc. AFIPS 1968 Fall Joint Computer Cow,f, Spartan Books, New York, 481-488~
	COMM 71	COMMONER, R, A W HOLT; S EVEN, AND A PNVEbX "Marked directed graphs " J. Computer and System Sciences 5 (1971), 511-523
	CONS 68	CONSTANTrN~, L L "Control of sequence and parallelism in modular programs " In Proc. AFIPS 1968 Sprang Joint Computer Conf , AFIPS Press, Montvale, N J, 409- 414
	CONT 71	CONTROL DATA STAR COMPUTER SYSTEM, Hardware manual 602 56 000, Revision 01, 1971
	CONW 63	CONW.~Y, M. "A multiprocessor system design " In Proc AFIPS I968 Fall Joint Compuger Cortf, Spartan Books. New York, 139- 146
	CORB 65	CORBAT6, F J.; AND V. A VIs- SOTSKY. "Introductmn and overvmw of the MULTICS system " In Proc AFIPS I965 Fall Joznt Computer Conf, Part I, Spartan Books, New York, 185-196.
	COTT 65	COTTEN, L W "Circuit implementation of fast pIpehne systems " In Proc AF1PS 1965 Fall Joznt Computer Conf, Part I, Spartan Books, New York, 489- 5O4
	CRIT 63	CRITCHLOW, A J "Generalized multlprocesslng and multlprogrammmg systems." In Proc. AFIPS I963 Fall Joznt Computer Conf., Spartan Books, New York, 107-126
	CURT 63	CURTIN, W. A "Multiple computer systems " In Advances zn computer, vol. 4, F Air and M Rubinoff (Eds), 1963, 245-303
	DAVI 69	DAvis, R L "The ILLIAC IV processing element " IEEE Trans. on Computers C.18 (Sept 1969), 800-816
	DENN 66	Jack B. Dennis , Earl C. Van Horn, Programming semantics for multiprogrammed computations, Communications of the ACM, v.9 n.3, p.143-155, March 1966 [doi>10.1145/365230.365252]
	DENN 68	DENNIS, J. B "Programming generality, parallelism and computer architecture." In Proc. IFIP Congress 1968, North Holland, Amsterdam, The Netherlands, C1-C7.
	DENN 70	DENNIS, J. B. "Modular, asynchronous control structures for a high-performance processor " Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ~i5-80, 1970
	DIJK 65	E. W. Dijkstra, Solution of a problem in concurrent programming control, Communications of the ACM, v.8 n.9, p.569, Sept. 1965 [doi>10.1145/365559.365617]
	DIJK 68	DIJKSTRA, E W. "Co-operating sequential processes." In Programmzng languages, F. Genuys (Ed.), Academic Press, New York, 1968, 43-112.
	DRAU 67	DaAUGnON, E.; R. Gmsn~AN; J SCHWARTZ; AND A STEIN. "Programming consideratmns for parallel computers." New York Umvers~ty IMM (Nov 1967), 362.
	DREI 58	DREIFUS, P. "System design of the GAMMA-60." In Proc. I958 Western Joint Computer Conf, Spartan Books, New York, 130- 133
	DREI 58A	DaE1rtrs, P. "Programming design features for the GAMMA-60 computer." In Proc. t958 Eastern joint Computer Conf, Spartan Books, New York, 174-180.
	ECKE 59	ECKEaT, J. P.; J. C. CHU, A. B TONIK; AND W. F. SCHMITT. "Design of UNIvAc-L~Rc system. I " In Proc. 1959 Eastern Joint Computer Conf., Spartan Books, New York, 59-65.
	ELLI 71	Clarence A. Ellis, Parallel compiling techniques, Proceedings of the 1971 26th annual conference, p.508-519, January 1971 [doi>10.1145/800184.810520]
	ELMA 64	ELMAGHRABY, S.E. "An algebr~ for the analysis of generalized activity networks." Management Science 10 (April 1964), 494-514
	ESTR 60	ESTRIN, G. "Organization of computer systems: the fixed-plusvariable structure computer." In Proc. 1960 Western Joint Computer Conf, Spartan Books, New York, 33-40.
	ESTR 63	ESTRIN, G.; B. BUSSELL, R Tt~aN, AND J. BtBn "Parallel processing in a restructurable computer system." IEEE Trans. on Electromc Computers EC-12 (Dec. 1963), 747-754.
	ESTR 63A	ESTRIN. G.; ~m) R. TURN. "Automatic assignment of computatmns in a variable structure computer system." IEEE TriEs. on Electronzc Computers EC-12 (Dec. 1963), 756-773.
	FATE 69	Richard J. Fateman, Optimal code for serial and parallel computation, Communications of the ACM, v.12 n.12, p.694-695, Dec. 1969 [doi>10.1145/363626.363661]
	FIRE 71	Roger Morris Firestone, Parallel programming: operational model and detection of parallelism, 1971
	FISH 67	FXSHER, D.A. "Program analysis for multiprocessing." Master's Thesis, Um'v. Pennsylvania, Philadelphia, Pa., May 1967
	FLYN 66	FLYNN, M. J. "Very high speed computing systems.' Proc IEEE 54, (Dec. 1966), 1901-1909.
	FLYN 70	FLYNN, M. J.; A. POVVlN; AND K SHIMIZV. "A multiple instruction stream processor with shared resources." In Parallel processor, technologzes, and applications, L. C. Hobbs, et al. (Eds), Spartan Books, New York, 1970, 251-286.
	FLYN 71	FLYNN, M. J. "Shared internal resources in a multiprocessor " In Proc IFIP Congress 1971, North Holland, Amsterdam, The Netherlands, 565-569
	FUJI 69	FuJII, M.; T. KASAMI; AND U. NINOMIYA. "Optimal sequencing of two equivalent processors " SIAM J. A pphed Math 17 (July 1969), 784-789.
	GERT 70	GERTZ, J.L. "Hierarchical associative memories for parallel computatmns " PhD Dissertatmn, Massachusetts Institute of Technology, 1~70
	GIBS 66	GIBSON, . ;r. "Time-sharing in the IBM system/360 model 67." In Proc. AFIPS 1966 Sprzng Joint Computer Conf, Spartan Books, New York, 61-78.
	GILB 72	Philip Gilbert , W. J. Chandler, Interference between communicating parallel processes, Communications of the ACM, v.15 n.6, p.427-437, June 1972 [doi>10.1145/361405.361409]
	GILL 58	GILL, S. "Parallel programming." Computer J. 1, (April 1958), 2-8
	GONZ 63	GONZALES, R. "A multflayer iterative clrcmt computer." IEEE Trans on Electronzc Computers EC~12 (Dec. 1963), 781-790.
	GONZ 70	GONZALEZ, M. J.; AND C. V RAMA- MOORTHY. "Recognition and representation of parallel processable streams in computer programs." In Parallel processor systems, technoloffzes and applzcatzons, L C. Hobbs, et al (Eds.), Spartan Books, New York, 1970, 335-374.
	GONZ 71	GONZALEZ, M. J., AND C V. RAMA- MOORTHY. "Program smtabflity for parallel processing." IEEE Trans on Computers C.20 (June 1971), 647-654.
	GOSD 66	GOSDEN, J.A. "Exphcit parallel processing description and control m programs for multi and um- PArocessor computers " In Proc. FIPS 1966 Fall Joznt Computer Conf., Spartan Books, New York, 651-660
	GOST 71	Gos'r~:LOW, K. P "Flow of control, resource allocation and the proper termination of programs." PhD Dissertation, Computer Science Dept., Univ. California, Los angeles, Calif., 1971.
	GRAH 66	GR&HAM, R. L. "Bounds for certain multiprocessing anomalies." Bell System Tech. J. 45, (Nov. 1966), 1563-1581
	GRAH 69	GRAHAm, R. L. "Bounds on multiprocessing timing anomalies." SIAM J. Apphed Math. 17 (1969), 416-429
	GRAH 72	GRAHAm, R. L. "Bounds on multiprocessing anomalms and related packing algorithms." In Proc. AFIPS 197~ Spmnff Joznt Computer Conf., AFIPS Press, Moatvale, N.J., 205-217
	GREG 63	GREGORY, J ; A~) R. Me- REYNOLDS. "The SOLOMON computer " IEEE Trans on Electronic Computers EC.12 (Dec 1963), 774- 781.
	HABE 72	A. Nico Habermann, Synchronization of communicating processes, Communications of the ACM, v.15 n.3, p.171-176, March 1972 [doi>10.1145/361268.361277]
	HELL 61	J. Heller, Sequencing Aspects of Multiprogramming, Journal of the ACM (JACM), v.8 n.3, p.426-439, July 1961 [doi>10.1145/321075.321086]
	HELL 66	HELLERMAN, J. "Parallel processing of algebraic expressions." IEEE Trans. on Electronic Computers EC-15 (jan 1966), 82-91
	HOBB 70	HoBos, L C.; AND D. J. THEIS "Survey of parallel processor approaches and techniques " In Parallel processor systems, technologies and apphcatzons, L C. Hobbs, et al. (Eds.), Spartan Books, New York, 1970, 3-20.
	HOLL 59	HOLLAND, J H. "A universal computer capable of executing an arbitrary number of subprograms simultaneously." In Proc. 1959 Eastern Joznt Computer Conf., Spartan Books, New York, 108-- 113.
	HOLT 68	HOLT, A. W., et al. lnformatzon system theory project. Applied Data Research Inc , 1968
	HOLT 69	HOLT, A W., ANn F. COMMONER. Information system theory project. Applied Data Research Inc., 1969.
	HUTC 61	Hu, T C. "Parallel sequencing and assembly line problems " Operations Research 9 (Nov-Dec 1961), 841-848.
	HUTC 68	HUTCHINSON, G K. "Some problems in the s~mulatmn of multiprocessor computer systems " In Simulatwn programming languages, J. N. Buxton (ed.), North- Holland, Amsterdam, The Netherlands, 1968, 305-318.
	IBBE 72	IBBETT, R. N "The MU5 instruction pipehne." Computer J. 15 (Feb. 1972), 42-50.
	IBMC 69	PL/I Language Specifications. IBM Corporation, 1969, Form Y33-6003-1.
	IRWI 70	IRWIN, J. D., ANn J. M. THORINO- TON, JR. "Multiprocessing bibhography " Auburn Univ. Project THEMIS Report, Number AU- T-12, July 1970.
	IVER 62	Kenneth E. Iverson, A Programming Language., John Wiley & Sons, 1962
	KARP 66	KARP, R. M.; AND R E MILLER "Properties of a model for parallel computatmns, determinacy, termination, queuing." SIAM J. Applied Math. 14 (Nov. 1966), 1390- 1411.
	KARP 67	KARP, R. M.; AND R. E. MILLER. "Parallel program schemata a mathematical model for parallel computation." In IEEE Conference Record of the 8th Annual Symposium on Sunlch~ng and Automata Theory, Oct 1967, 55-61.
	KARP 69	KARP, R. M.; AND R. }~. MILLER "Parallel program schemata " J Computer and System Sciences 3 (May 1969), 147-195.
	KATZ 66	KATZ, J. H. "Simulation of a mult~processor computer system." In Proc. AFIPS 1966 Sprang Jo,nt Computer Conf, Spartan Books, New York, 127-139
	KELL 70	KELLER, R. M. "On maximally parallel schemata " IEEE Conference Record of the i1th Annual Symposium on Switching and Automata Theory, Oct. 1970, 32-50.
	KLEI 66	Leonard Kleinrock, Sequential Processing Machines (S.P.M) Analyzed With a Queuing Theory Model, Journal of the ACM (JACM), v.13 n.2, p.179-193, April 1966 [doi>10.1145/321328.321329]
	KNUT 66	Donald E. Knuth, Additional comments on a problem in concurrent programming control, Communications of the ACM, v.9 n.5, p.321-322, May 1966 [doi>10.1145/355592.365595]
	KOCZ 68	KOCZELA, L.J. "The distributed processor organizatmn " In Advances ~n computers, vol. 9, F. Alt and M. Rubmoff (Eds.), 1968, 285-353.
	KOTO 68	KoTov, A E.; AND A S MARIN- GANI "On transformatmn of sequential programs into asynchronous parallel programs." In Proc IFIP Congress 1968, North- Holland, Amsterdam, The Netherlands, J37-J45
	KRAS 72	Paul William Kraska, Parallelism exploitation and scheduling, 1972
	KUCK 68	KucK, D. J "ILLIAC IV software and applications programming." IEEE Trans on Computers C-17 (Aug. 1968), 758-770.
	KUCK 72	KucK, D. J ; Y. MURAOKA; AND S. C. CrtEN "On the number of operatmns simultaneously executable in FORTRAN-like programs and their resulting speed up." IEEE Trans on Computers C-21 (Dec. 1972).
	LAMP 68	Butler W. Lampson, A scheduling philosophy for multiprocessing systems, Communications of the ACM, v.11 n.5, p.347-360, May 1968 [doi>10.1145/363095.363144]
	LEHM 66	LEHMAN, M. "A survey of problems and preliminary results concerning parallel processing and parallel processors." Proc. IEEE 54 (Dec. 1960), 1889--1901.
	LEIN 59	A. L. Leiner , W. A. Notz , J. L. Smith , A. Weinberger, PILOT—A New Multiple Computer System, Journal of the ACM (JACM), v.6 n.3, p.313-335, July 1959 [doi>10.1145/320986.320987]
	LEVY 65	LEvy, W. A. "Congestmn in a multi-modular computer system." Pennsylvania Research Associates, April 1965.
	LINC 71	LINCOLN, N. R. "Languages for parallel thinkers." 8xal, La~ Symposium, Languages for System Implementation, Purdue Univ., Lafayette, Ind., 1971.
	LUCO 67	LVCONI, F.L. "Completely functional asynchronous computational structures." IEEE Conference Record of the 8th Annual Symposium on 8witchzng and Automata Theory, Oct. 1967, 62--70.
	LUCO 68	LvcoNi, F. L. "Asynchronous computational structures." PhD Thesis, Massaehusets institute of Technology, 1968.
	LUCO 68A	Lvcosl, F. L. "Output functional computational structures." IEEE Conference Record of the 9th Annual Symposium on Switching and Automata Theory, Oct. 1968, 76-84.
	MACD 70	M. H. MacDougall, Computer System Simulation: An Introduction, ACM Computing Surveys (CSUR), v.2 n.3, p.191-209, Sept. 1970 [doi>10.1145/356571.356574]
	MANA 67	G. K. Manacher, Production and Stabilization of Real-Time Task Schedules, Journal of the ACM (JACM), v.14 n.3, p.439-465, July 1967 [doi>10.1145/321406.321408]
	MART 66	David Frederic Martin, Volume i. the automatic assignment and sequencing of computations on parallel processor systems. volume ii. program listings, 1966
	MART 67	David Martin , Gerald Estrin, Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations, Journal of the ACM (JACM), v.14 n.2, p.281-299, April 1967 [doi>10.1145/321386.321391]
	MART 67A	MARTIN, D. F.; AND G. ESTRIN. "Models of computational systems--cyclic to acyclic graph transformations." IEEE Trans. on Electronic Computers EC-16 (Feb. 1967), 70-79.
	MART 67B	MARTIN, D. F.; AND G. ESTRIN. "Experiments on models of computations and systems." IEEE Trans. on Electronic Computers EC-16 (Feb. 1967), 59-69.
	MART 69	MARTIN, D. F.; AND G ESTRIN. "Path length computations on graph models of computations." 1EEE Trans. on Computers C-18 (June 1969), 530-536.
	MAVA 71	M~,VAI)DAT, F. "Using stacks to detect expression parallelism " in Proc IFIP Congress 1971, North Holland, Amsterdam, The Netherlands, 591-596.
	McKE 62	McKE~NEY, J.L. "Simultaneous processing of jobs on an electronic computer." Mandgement Science 8 (April 1962), 344-354.
	McNA 59	McN~uG~ToN, R. "Scheduling with deadhnes and loss functions." Management Sczence 6 (Jan. 1959), 1-12.
	MERI 68	MERIKALLIO, R. A.; AND F C HOLr~XND. "Slmulatlon demgn of a multlprocesslng system." In Proc AFIPS 1968 Fall Joznt Computer Conf., AFIPS Press, Montvale, N.J., 1399-1410
	MIRA 71	MIRANKER, W. L "A survey of parallelism m numerical analysis." SIAM Revzew 13 (Oct 1971), 524- 547.
	MULL 59	MuLLER, D. E.; AND W. S. BARTKY. "A theory of asynchronous circuits." Proceedings of an Internatzonal Symposzum on the Theory of Snatching, Vol. 29 of the Annals of the Computation Laboratory of Harvard Univ., 204-243, 1959.
	MUNT 69	MUNTZ, R. R ; XND E. G. COFFMAN. "Optimal preemptive scheduling on two-processor systems " IEEE Trans. on Computers C-18 (Nov 1969), 1014-1020
	MUNT 70	R. R. Muntz , E. G. Coffman, Jr., Preemptive Scheduling of Real-Time Tasks on Multiprocessor Systems, Journal of the ACM (JACM), v.17 n.2, p.324-338, April 1970 [doi>10.1145/321574.321586]
	MURA 71	Yoichi Muraoka, Parallelism exposure and exploitation in programs, 1971
	MURT 66	MURTHA, J C. "Highly parallel lnformatmn processing systems " In Advances in Computers, Vol. 7, F. Air. and M Rub112off (Eds.), 1966, 2-116.
	NOEJ 71	Jerre D. Noe, A Petri Net model of the CDC 6400, Proceedings of the SIGOPS workshop on System performance evaluation, p.362-378, January 1971 [doi>10.1145/800024.808367]
	NUTT 72	Gary James Nutt, The formulation and application of evaluation nets, 1972
	OPLE 65	Ascher Opler, Procedure-oriented language statements to facilitate parallel processing, Communications of the ACM, v.8 n.5, p.306-307, May 1965 [doi>10.1145/364914.364947]
	ORNS 67	ORNST~IN, S. M, M. J STUCKI; AND W A, CLARK. "A functional description of macromodules." In Proc. AFIPS 1967 Spr~ng Joznt Computer Cone., AFIPS Press, Montvale, N.J., 333-357.
	PATI 70	PATIL, S. S. "Coordinatmn of asynchronous events." PhD Dissertation, Massachusetts Institute of Technology, 1970
	PETR 62	PE~RX, C. A. "Kommunication mlt automaten." Translated in Project MAC-M-212 Report, Originally published m 1962.
	PORT 60	PORTER, R. E. "The RW-400--a new polymorphic data system." Datamatwn 6 (Jan. 1960), 8-14.
	PRIS 66	PRISTKER, A. B. ; AND W. W. HAPP. "GERT graphic evaluation and review techmques, part I. fundamentals." J. of Industmal Engneemng 17 (May 1966), 267-274.
	RAMA 66	C. V. Ramamoorthy, Analysis of Graphs by Connectivity Considerations, Journal of the ACM (JACM), v.13 n.2, p.211-222, April 1966 [doi>10.1145/321328.321332]
	RAMA 69	RAMAMOORTHY, C. V.; AND M. J. GONZALEZ. "A survey of techtuques for recognizing parallel processable streams m computer programs i 1-'roc. AFIPS 1969 Fall Joznt Computer Conf., AFIPS Press, Montvale, N.J., 1-15.
	RAMA 69A	C. V. Ramamoorthy , M. J. Gonzalez, Recognition and representation of parallel processable streams in computer programs-II (Task/process Parallelism), Proceedings of the 1969 24th national conference, p.387-397, August 26-28, 1969 [doi>10.1145/800195.805946]
	RAMA 71	C. V. Ramamoorthy , M. J. Gonzalez, Subexpression ordering in the execution of arithmetic expressions, Communications of the ACM, v.14 n.7, p.479-485, July 1971 [doi>10.1145/362619.362630]
	RAMA72	RAMAMOORTHY, C. V.; K. M CHANDY, AND M J GONZAL~Z. "Optimal scheduling strategies m a multiprocessor system " IEEE Trans on Computers C.21 (Feb. 1972, 137-146.
	REGI 72	Renaud Charles Regis, Systems of concurrent processes: structural properties and stochastic analysis, 1972
	REIG 69	REIowI~, E. W. "Parallelism exposure and exploitation m digital computing systems." PhD Dlssertartan, Umv Pennsylvania, Philadelphm, Pa., 1969
	REIG 70	RE, GEL, E. W. "Parallelism exposure and exploitatmn." In Parallel processor systems, technologzes and applzcat,ons, L. C. ttobbs, et al (Eds.), Spartan Books, New York, 1970, 417-438.
	REIT 68	Raymond Reiter, A study of a model for parallel computations, 1967
	REIT 68A	Raymond Reiter, Scheduling Parallel Computations, Journal of the ACM (JACM), v.15 n.4, p.590-599, Oct. 1968 [doi>10.1145/321479.321485]
	RODR 67	RODmGUEZ, J E "A graph model for parallel computahons." PAD Thesis, Massachusetts Institute of Technology, 1967.
	ROSE 69	Jack L. Rosenfeld, A case study in programming for parallel-processors, Communications of the ACM, v.12 n.12, p.645-655, Dec. 1969 [doi>10.1145/363626.363628]
	ROTH 66	ROTHKOPF, M. A. "Scheduhng independent tasks on parallel processors " Management Sczence 12, (Jan. 1966), 437-447.
	RUGG 69	RUGGIERO, J F.; ANY D. A. CORY- ELL "An auxiliary processing system for array calculations " IBM Systems J. 8 (1969), 118-135.
	RUSS 69	RUSSELL, E. C "Automatic program analysis." PAD Dissertation, Dept. of Electrical Engineering, Univ. California, Los Angeles, Calif., 1969.
	SALT 66	SALTZER,J. H. "Traffic control in a multiplexed computer system." PAD Dissertation, Massachusetts Institute of Technology, 1966.
	SCHW 61	Eugene S. Schwartz, An Automatic Sequencing Procedure with Application to Parallel Programming, Journal of the ACM (JACM), v.8 n.4, p.513-537, Oct. 1961 [doi>10.1145/321088.321093]
	SCHW 64	SCHWARTZ, E. S. "A heuristic ~t~ ocedure for parallel processing." anagement Science 10 (July 1964), 767-777
	SCHW 66	J. Schwartz, Large Parallel Computers, Journal of the ACM (JACM), v.13 n.1, p.25-32, Jan. 1966 [doi>10.1145/321312.321315]
	SENZ 65	SENZIG, D. N.; AND R. V. SMITH. "Computer organization for array ~ rocessing " In Proc. AFIPS 1965 all Joint Computer Con}, Part I, Spartan Books, New York, 117- 128
	SHAP 70	SHAPIRO, R. M.; AND H. SAINT. "A new approach to optimization of sequencing decisions." In Annual Rewew Automatic Programming, Vol 6, Part 5, 1970.
	SLOT 62	SLOTNICK, D. L; W C BORCK; AND R. McREYNOLDS "The SOL- OMON computer." In Proc. AFIPS 1962 Fall Joint Computer Conf., Spartan Books, New York, 97-107
	SLUT 68	SLUTZ, D. R. "The flow graph schemata model of parallel computation " PhD Dissertation, Massachusetts Institute of Technology, 1968
	SQUI 63	SQUIRE, J. S ; AND S. M. PALAIS. "Programming and design considerations of a highly parallel computer." In Proc. AFIPS 1963 Spr~ng Joint Computer Conf., Spartan Books, New York, 395- 4OO.
	SQUI 63A	SQUIR~, J. S "A translation algorithm for multiple processor computer " In Proc. A CM 181h Nat. Conf., ACM, New York, 1963.
	STAN 67	STANGA, D. C. "UNIVAC 1108 multiprocessor system." In Proc. AFIPS 1967 Spring Joint Computer Conf., AFIPS Press, Montvale, N.J., 67-74.
	STON 67	Harold S. Stone, One-Pass compilation of arithmetic expressions for a parallel processor, Communications of the ACM, v.10 n.4, p.220-223, April 1967 [doi>10.1145/363242.363256]
	STON 70	STONE, H. S. "A pipeline push down stack computer." In Parallel processors systems, technologies and applications, L. C. Hobbs, et al. (Eds), Spartan Books, New York, 1970, 235--249.
	TESL 68	TESLER, L. G.; AND H. G. ENEA. "A language design for concurrent processes." In Proc. AFIPS 1968 Spring Joint Computer Conf., AFIPS Press, Montvale, N.J., 402- 408.
	THOR 64	THORTON, J.E. "Parallel operation in the Control Data 6600 " In Proc. AFIPS 196~ Fall Joint Computer Conf., Part Ii, Spartan Books, New York, 33-40.
	THOR 67	THORLIN, J. F. "Code generation for P~E (parallel instruction execution). In Proc. AF1PS 1967 Sprang Joint Computer Conf., AFIPS Press, Montvale, N.J., 642-644.
	TJAD 70	TJADEN, J. S.; ANY M. J. FLYNN "Detection and parallel execution of independent instructions." IEEE Trans. on Computers C-19 (Oct. 1970), 889-895.
	TOMA 67	TOMASULO, R. M. "An efficient algorithm for exploiting multiple arithmetic units." IBM J. of Research and Development 11, (jan. 1967), 25-33.
	VANW 69	VAN WI~N(~AAI~DEN, A.; B. J. MAILLOUX; J. E. L. PECK; AND C H. A. KOSTER "Report on the algorithmic language ALGOL 68." Mathematisch Centrum, M R 101, Amsterdam, (Oct. 1969).
	VANH 66	VAN HORN, E.C. "Computer design for asynehronously reproducult r ee " lngm ip o ssing. PhDThesis, Massachusetts Institute of Technology, 1966. N Y ~
	VOLA 70	VOLA SK , S.A. Graph model analysis and implementation of computational sequences." PAD Dissertation, Dept. of Electrical Engineering, Univ. California, Los Angeles, Calif., 1970.
	WARS 62	Stephen Warshall, A Theorem on Boolean Matrices, Journal of the ACM (JACM), v.9 n.1, p.11-12, Jan. 1962 [doi>10.1145/321105.321107]
	WATS 72	WATSON, W. J. "The Texas Instrument advanced scientific com- ~ uter." COMPCON 7~ Digest 1972), 291-294.
	WIRT 66	Niklaus Wirth, A note on “Program structures for parallel processing”, Communications of the ACM, v.9 n.5, p.320-321, May 1966 [doi>10.1145/355592.365594]
	WIRT 69	Niklaus Wirth, On multiprogramming, machine coding, and computer organization, Communications of the ACM, v.12 n.9, p.489-498, Sept. 1969 [doi>10.1145/363219.363222]

CITED BY 32

	Luigi Logrippo, Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata, Journal of the ACM (JACM), v.26 n.4, p.819-833, Oct. 1979
	D. G. Kafura , V. Y. Shen, An Algorithm to Design the Memory Configuration of a Computer Network, Journal of the ACM (JACM), v.25 n.3, p.365-377, July 1978
	Mario J. Gonzalez, Jr., Deterministic Processor Scheduling, ACM Computing Surveys (CSUR), v.9 n.3, p.173-204, Sept. 1977
	A. W. Wilson, Jr., Hierarchical cache/bus architecture for shared memory multiprocessors, Proceedings of the 14th annual international symposium on Computer architecture, p.244-252, June 02-05, 1987, Pittsburgh, Pennsylvania, United States
	Luigi Logrippo, Renamings and Economy of Memory in Program Schemata, Journal of the ACM (JACM), v.25 n.1, p.10-22, Jan. 1978
	Geoffrey H. Kuenning, Minimal multitasking operating systems for real-time controllers, ACM SIGSMALL Newsletter, v.7 n.2, p.20-27, October 1981
	John Tartar, Multiprocessor hardware: An architectural overview, Proceedings of the ACM 1980 annual conference, p.518-526, January 1980
	Kenneth G. Salter, A methodology for decomposing system requirements into data processing requirements, Proceedings of the 2nd international conference on Software engineering, p.91-101, October 13-15, 1976, San Francisco, California, United States
	Farideh A. Samadzadeh , G. E. Hedrick, Near-optimal multiprocessor scheduling, Proceedings of the 1992 ACM annual conference on Communications, p.477-484, March 03-05, 1992, Kansas City, Missouri, United States
	James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977
	Lionel M. Ni , Ching-Farn E. Wu, Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems, IEEE Transactions on Software Engineering, v.15 n.3, p.327-334, March 1989
	Portia Isaacson, Picture systems, PS, and the design of a channel-to-channel computer interface, ACM SIGARCH Computer Architecture News, v.3 n.4, p.63-70, December 1974
	Leon Presser, Multiprogramming Coordination, ACM Computing Surveys (CSUR), v.7 n.1, p.21-44, March 1975
	Philip Enslow, Jr., Multiprocessor Organization—a Survey, ACM Computing Surveys (CSUR), v.9 n.1, p.103-129, March 1977
	R. A. DeMillo , K. Vairavan , E. Sycara-Cyranski, A Study of Schedules as Models of Synchronous Parallel Computation, Journal of the ACM (JACM), v.24 n.4, p.544-565, Oct. 1977
	V. W. Mak , S. F. Lundstrom, Predicting Performance of Parallel Computations, IEEE Transactions on Parallel and Distributed Systems, v.1 n.3, p.257-270, July 1990
	S. S. Reddi , E. A. Feustel, A Conceptual Framework for Computer Architecture, ACM Computing Surveys (CSUR), v.8 n.2, p.277-300, June 1976
	Richard W. Conn , Richard H. Yamamoto, A model highlighting the security of operating systems, Proceedings of the 1974 annual conference, p.174-179, January 1974
	Douglas Seeley, Well—formed models for discrete simulation, Proceedings of the 7th conference on Winter simulation, p.725-726, January 14-16, 1974, Washington, DC
	Richard D. Hackathorn, Modeling unstructured decision making, ACM SIGMIS Database, v.8 n.3, Winter 1977
	Philip M. Mills, Control functions for a multiprocessor architecture, ACM SIGOPS Operating Systems Review, v.11 n.1, p.26-40, January 1977
	W. H. Huen , D. P. Siewiorek, Intermodule protocol for register transfer level modules: representation and analytic tools, ACM SIGARCH Computer Architecture News, v.3 n.4, p.56-62, December 1974
	Gary D. Knott, A proposal for certain process management and intercommunication primitives, ACM SIGOPS Operating Systems Review, v.8 n.4, p.7-44, October 1974
	Peter Hibbard, Multiprocessor software design, Proceedings of the ACM 1980 annual conference, p.527-536, January 1980
	John E. Jensen, A graphical representation of tasks for multiprocessing, Proceedings of the 1977 annual conference, p.392-398, January 1977
	C. K. Tang, Cache system design in the tightly coupled multiprocessor system, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
	Fernando C. Colon , Robert M. Glorioso , Walter H. Kohler , Dominic W. Li, Coupling small computers for performance enhancement, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
	C. V. Ramamoorthy , H. F. Li, Efficiency in generalized pipeline networks, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
	C. V. Ramamoorthy , K. H. Kim, Pipelining: the generalized concept and sequencing strategies, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
	W. C. Brantley, Jr. , G. W. Leive , D. P. Siewiorek, Decomposition of data flow graphs on multiprocessors, Proceedings of the June 13-16, 1977, national computer conference, June 13-16, 1977, Dallas, Texas
	Gary J. Nutt, A parallel processor for evaluation studies, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
	F. Leymann , W. Altenhuber, Managing business processes as an information resource, IBM Systems Journal, v.33 n.2, p.326-348, April 1994