Formal specification of parallel SIMD execution

Theoretical Computer Science

Volumn 169, Issue 1, 1996, Pages 39-65

  Farrell, C A ^a   Kieronska, D H ^a  

^a CURTIN UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PARALLELISATION; PARALLEL SIMD EXECUTION; SEMANTICS; SEQUENTIAL LANGUAGES; SEQUENTIAL PROGRAMS; UNIPROCESSOR MACHINE;

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; PARALLEL PROCESSING SYSTEMS; SEQUENTIAL MACHINES; VECTORS;

COMPUTER SIMULATION;

EID: 0347244078     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00113-2     Document Type: Article

References (21)

1. T. Blank, The Maspar MP-1 architecture, in: Proc. IEEE Compcon Spring (IEEE, New York, 1990).
2. G.E. Blelloch, Scan primatives and parallel vector models, Ph.D. Thesis, Laboratory of Computer Sciences, MIT, Cambridge, MA, 1989.
3. G.E. Blelloch, Vector Models for Data-Parallel Computing (MIT Press, Cambridge, MA, 1990).
4. G.E. Blelloch and J. Greiner, A parallel complexity model for functional languages, TR CMU-CS-94-196, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1994.
5. L. Bouge, On the semantics of languages for Massively parallel SIMD architectures, in: Proc. Parallel Architectures and Languages Europe (PARLE), Eindhoven, Lecture Notes in Computer Science, Vol. 506, (Springer, Berlin, 1991).
6. L. Bouge and P. Garda, Towards a semantics approach to SIMD architectures and the languages. Semantics of systems of concurrent processes, in: Proc. LITP Spring School on Theoretical Comp. Science, La Roche Posay, France, Lecture Notes in Computer Science, Vol. 469 (Springer, Berlin,1990) 142-175.
7. T. Braunl, Structured programming in parallaxis, Structured Programming 10 (1989) 121-132.
8. E.W. Dijkstra, A Discipline of Programming (Prentice-Hall, Englewood Cliffs NJ, 1976).
9. C.A. Farrell and D.H. Kieronska, A vector model of SIMD execution, in: Proc. CATS-94, Sydney, Australia (1994) 50-61.
10. S. Fortune and J. Wyllie, Parallelism in random access machines, in: Proc. 10th Ann. ACM Symp. on Theory of Computing, San Diego, CA, 1978.
11. D. Gries, The Science of Programming (Springer, New York, 1981).
12. W.D. Hillis, The Connection Machine (MIT Press, New York, 1985).
13. J. Levaire, Using the Centaur system to design SIMD parallel languages and programming environments, Draft papers, LIP, ENS Lyon, 46 Allee d'Italie, F-69364 Lyon Cedex 07 France, 1992.
14. MasPar Computer Corp., Maspar MP1 (DECMPP 12000) System Overview Manual, Maspar Computer Corp., Sunnyvale, CA, 1992.
15. MasPar Computer Corp., Maspar Programming Language (MPL) Reference Manual, Maspar Computer Corp., Sunnyvale, CA, 1993.
16. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92 (Springer Berlin, 1980).
17. G.D. Plotkin, A powerdomain construction, SIAM J. Comput., Vol 5 (1976) 452-487.
18. P. Roe, Parallel programming using functional languages, Ph.D. Thesis, Department of Computer Science, University of Glasgow, 1991.
19. D.A. Schmidt, Denotational semantics: a methodology for language development, Kansas State University, 1986.
20. Thinking Machines Corporation, Introduction to Programming in C/Paris, Thinking Machines Corporation, Cambridge, MA, 1992
21. W. Zimmermann, Complexity issues in the design of functional languages with explicit parallelism, in: Proc. Internat. Conf. on Computer Languages (1992) 34-43.