A parallel program execution model supporting modular software construction

Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997

Volumn , Issue , 1997, Pages 50-60

  Dennis, J B ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER AIDED SOFTWARE ENGINEERING; FUNCTIONAL PROGRAMMING; MULTITASKING; PARALLEL PROCESSING SYSTEMS; PARALLEL PROGRAMMING; VERY LONG INSTRUCTION WORD ARCHITECTURE;

APPLICATION PROGRAM INTERFACES; COMPONENT-BASED SOFTWARE CONSTRUCTIONS; MICROPROCESSOR ARCHITECTURES; OPERATING SYSTEM INTERFACES; PARALLEL COMPUTATION; PARALLEL PROGRAM EXECUTION; PROGRAM EXECUTION MODEL; SYSTEM ARCHITECTURES;

APPLICATION PROGRAMS;

EID: 85014824479     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MPPM.1997.715961     Document Type: Conference Paper

References (33)

1. G. Agha. Concurrent object-oriented programming. Communications of the ACM 33,9:125-141, September 1990.
2. Arvind and K. Gostelow and W. Plouffe. The (preliminary) Id report: An asynchronous programming language and computing machine. Technical Report 114, Department of Information and Computer Science, University of California, Irvine, September 1978.
3. Arvind and R. S. Nikhil and Kesha Pingali. I-structures: data structures for parallel computing. ACM Transactions on Programming Languages and Systems 11, 4:598-632, October 1989.
4. A. Bensoussan and C. T. Clingen and R. C. Daley. The Multics virtual memory. In Proceedings of the Second Symposium on Operating System Principles, ACM, 1969, pages 30-42.
5. Larry Constantine, Editor. Modular Programming: Proceedings of a National Symposium. Cambridge, MA: Information and Systems Press, 1968.
6. R. C. Daley and Jack B. Dennis. Virtual memory, processes and sharing in Multics. Communications of the ACM 11, 5:306-312, May 1968.
7. Jack B. Dennis. Programming generality, parallelism, and computer architecture. In Information Processing 68. Amsterdam: North-Holland, 1969, pages 484-492.
8. Jack B. Dennis. On the design and specification of a common base language. In Proceedings of the Symposium on Computers and Automata, Brooklyn, NY, 1971, pages 47-74.
9. Jack B. Dennis. First version of a data flow procedure language. In Lecture Notes in Computer Science, Volume 19: Programming Symposium. B. Robinet, Ed. Berlin: Springer-Verlag, 1974, pages 362-376.
10. Jack B. Dennis. A language design for structured concurrency. In Design and Implementation of Programming Languages. In Lecture Notes in Computer Science, No. 54. Berlin: Springer-Verlag, 1977, pages 231-242.
11. JackB. Dennis. Dataflow supercomputers. IEEECom-puter 13, 11:48-56, November 1980.
12. Jack B. Dennis. An operational semantics for a language with early completion data structures. In Lecture Notes in Computer Science, Volume 107: Formal Description of Programming Concepts. Berlin: Springer-Verlag, 1981, pages 260-267.
13. Jack B. Dennis. The evolution of 'static' data-flow architecture. In J.-L. Gaudiot and L. Bic, editors, Advanced Topics in Data-Flow Computing, chapter 2. Prentice-Hall, 1991.
14. Jack B. Dennis. Stream data types for signal processing. In Advances in Dataflow Architecture and Multithreading, J.-L. Gaudiot and L. Bic, editors. IEEE Computer Society Press, 1995.
15. Jack B. Dennis. Static mapping of functional programs: an example in signal processing. In Proceedings of the Conference on High Performance Functional Computing, A. P. Vim Bohm and John Feo, editors. Liv-ermore, CA: Lawrence Livermore National Laboratory, April 1995, pages 149-163.
16. Jack B. Dennis and Guang R. Gao. Multithreaded architectures: principles, projects, and issues. In Robert A. Ianucci, editor, Advances in Multithreaded Computer Archtecture. Kluwer, 1994.
17. J. B. Dennis and K. S. Weng. An abstract implementation for concurrent computations with streams. In Proceedings of the 1979 International Conference on Parallel Processing. IEEE Computer Society, 1979, pages 35-45.
18. Jack B. Dennis and Handong Wu. Practicing the Object Modeling Technology in a Functional Programming Framework. Computation Structures Group Memo 379. MIT, Cambridge, 1996.
19. David Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7, 1:80-112, January 1985.
20. Robert A. Iannucci. Toward a dataflow/von Neumann hybrid architecture. In Proceedings of the 15th Annual International Symposium on Computer Architecture, IEEE Computer Society, 1988.
21. Yasuhiko Ishikawa and Mario Tokoro. Concurrent programming in ConcurrentSmalltalk. In Object-Oriented Concurrent Programming, Yonezawa and Tokoro, editors. Cambridge: The MIT Press, 1987, pages 129-158.
22. John B. Johnston. The contour model of block structured processes. In Proceedings of a Symposium on Data Structures in Programming Languages, ACM, February 1971, pages 55-82.
23. John Kelly, C. Lochbaum, and Victor Vyssotsky. A block diagram compiler. Bell System Technical Journal 40, 3, May 1961.
24. D. B. Loveman. High performance Fortran. IEEE Trans, on Parallel and Distributed Technology 1, 1:2542, February 1993.
25. Peter Lucas and P. Lauer and H. Stigleitner. Method and Notation for the Formal Definition of Programming Languages. Technical Report TR 25.087. Vienna: IBM Research Laboratory, June 1968.
26. J. McGraw, S. Skedzielewski, S. Allan, R. Oldehoeft, J'. Glauert, C. Kirkham, B. Noyce, and R. Thomas. SISAL: Streams and Iteration in a Single Assignment Language: Reference Manual Version 1.2. Technical Report M-146, Rev. 1. Livermore, CA: Lawrence Liv-ermore National Laboratory, 1985.
27. Robin Milner and Mads Tofte and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
28. Gregory M. Papadopoulos and David E. Culler. Monsoon: an explicit token-store architecture. In Proceedings of the 17th Annual International Symposium on Computer Architecture. IEEE Computer Society, 1990, pages 82-91.
29. David L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM 15, 12:1053-1058, December 1972.
30. Gary Sabot. A compiler for a massively parallel distributed memory MIMD computer. In Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation. ACM and IEEE, 1992, pages 411.
31. John Sargeant. Uniting functional and object-oriented programming. In Object Technologies for Advanced Software. Lecture Notes in Computer Science, No. 742. Berlin: Springer-Verlag, 1993, pages 1-26.
32. Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Cambridge: The MIT Press, 1977.
33. T. Yuba and T. Shimada and K. Hiraki and H. Kashi-wagi. Sigma-1: a dataflow computer for scientific computation. Electrotechnical Laboratory, 1-1-4 Umesono, Sakuramura, Niiharigun, Ibaraki 305, Japan, 1984.