Skip to main content
SpringerLink
Log in

Architecture independence and coordination

Preliminary version

  • Conference paper
  • First Online:
Parallel Symbolic Computing: Languages, Systems, and Applications (PSC 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 748))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Banâtre, J. P. and Le Metayer, D. A New Computational Model and its Discipline of Programming. INRIA Research Report, 566, 1986.

    Google Scholar 

  2. Banâtre, J. P. and Le Metayer, D. Programming by Multiset Transformation. IRISA, Campus Universitaire de Beaulieu, 35042-Rennes Cedex, France, March 1990.

    Google Scholar 

  3. Banâtre, J. P. and Le Metayer, D. Introduction to GAMMA, pages 197–202. Proc. of Workshop on Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 1991. LNCS 574.

    Google Scholar 

  4. Batey, D. J. and Padget, J. A. Towards A Virtual Multicomputer. Proc. of Workshop on Heterogeneous Processing at the 7th International Parallel Processing Symposium, University of Southern California, Newport Beach, CA, April 1993.

    Google Scholar 

  5. Batey, D.J. DPL — A Distributed Implementation of Paralation Lisp. Bath Mathematics and Computer Science Technical Report, 92–60, June 1992.

    Google Scholar 

  6. Bell, G. Ultracomputers: A Teraflop Before Its Time, volume 35(8), pages 27–47. Communications of the ACM, August 1992.

    Google Scholar 

  7. Berry, G. and Boudol, G. The Chemical Abstract Machine. In 1990 ACM Conference on Principle of Programming Languages, pages 81–94. ACM, ACM Press, 1990.

    Google Scholar 

  8. Boehm, H-J. Type inference in the presence of type abstraction. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 192–206. ACM, ACM Press, 1989.

    Google Scholar 

  9. Broadbery, P.A. and Burdorf, C. Applications of Telos. Lisp and Symbolic Computation, 6(1–2), 1993.

    Google Scholar 

  10. Butcher, P.R.A. Lucinda, General Purpose Programming for Parallel Distributed Systems. PhD thesis, University of York, 1993. in preparation.

    Google Scholar 

  11. Cann, D. Retire Fortran?, volume 35(8), pages 81–89. Communications of the ACM, August 1992.

    Google Scholar 

  12. Chandy, K. M. and Misra, J. Parallel Program Design: A Foundation. Addison Wesley Publishing Company, 1988.

    Google Scholar 

  13. Dietz, H. Common Subexpression Induction. MasPar Corporation, March 1992. Unpublished.

    Google Scholar 

  14. Dietz, H. and Cohen, W. The MasPar MP-1 Is A MIMD? MasPar Corporation, 1992. Unpublished.

    Google Scholar 

  15. Geist, G. and Sunderam, V. Network Based Concurrent Computing on the PVM System. Oak Ridge National Laboratory, 1991.

    Google Scholar 

  16. Gelernter, D. and Carriero, N. Coordination Languages and their Significance, volume 35, pages 97–107. Communications of the ACM, Feb 1992.

    Google Scholar 

  17. Halstead, R.H. Multilisp: A Language for Concurrent Symbolic Computation. ACM Transactions on Programming Languages and Systems, 7(4), October 1985.

    Google Scholar 

  18. Hoare, C.A.R. Communicating sequential processes. Communication of the ACM, 21(11):666–667, August 1978.

    MATH  Google Scholar 

  19. Hoare, C.A.R. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice-Hall, London, 1985.

    Google Scholar 

  20. Hudak, P. and Mohr, E. Graphinators and Duality of MIMD-SIMD, pages 224–235. ACM Conference on Lisp and Functional Programming, 1988.

    Google Scholar 

  21. Hutchinson, D.J.C. Lisp meets Linda. In EUROPAL Workshop on High Performnce and Parallel Computing in Lisp. 1990.

    Google Scholar 

  22. Jefferson, D. Virtual time. ACM Transactions on Programming Languages and Systems, 7(33):404–425, 1985.

    Google Scholar 

  23. Jesshope, C. R. and Flanders, P. M. The VSA Definition. Available from AMT Ltd., Reading, UK, 1990.

    Google Scholar 

  24. Merrall, S. The Art of Memory. PhD thesis, University of Bath, School of Mathematical Sciences, 1994. in preparation.

    Google Scholar 

  25. Merrall, S. C. and Padget, J. A. Bridging the MIMD-SIMD Gap. Proc. of BCS Workshop on Abstract Parallel Models, 1991.

    Google Scholar 

  26. Padget, J.A., Nuyens, G., and Bretthauer, H. An Overview of EuLisp. Lisp and Symbolic Computation, 6(1–2), 1993.

    Google Scholar 

  27. Sabot, G. W. The Paralation Model: Architecture Independent SIMD Programming. MIT Press, Cambridge, MA, 1988.

    Google Scholar 

  28. Steele, G. L., Jr., and Hillis, W. D. Connection Machine Lisp: Fine-Grained Parallel Symbolic Processing, pages 279–297. ACM Conference on Lisp and Functional Programming, 1986.

    Google Scholar 

  29. Sunderam, V. S. PVM: A Framework for Parallel Distributed Computing, volume 2(4), pages 315–339. Concurrency: Practice and Experience, Dec 1990.

    Google Scholar 

  30. Wagner, D.B. and Calder, B.G. Leapfrogging: A Portable Technique for Implementing Efficient Futures. In Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 208–217. ACM, ACM Press, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematical Sciences, University of Bath, BA2 7AY, Bath, UK

    Julian Padget, Duncan Batey & Simon Merrall

Authors
  1. Julian Padget
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Duncan Batey
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Simon Merrall
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert H. Halstead Jr. Takayasu Ito

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Padget, J., Batey, D., Merrall, S. (1993). Architecture independence and coordination. In: Halstead, R.H., Ito, T. (eds) Parallel Symbolic Computing: Languages, Systems, and Applications. PSC 1992. Lecture Notes in Computer Science, vol 748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018658

Download citation

  • DOI: https://doi.org/10.1007/BFb0018658

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57396-8

  • Online ISBN: 978-3-540-48133-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation