PARLE '89 - Parallel Architectures and Languages Europe

1. Front Matter

   PDF

2. Supporting multiparadigm programming on actor architectures

   • Gul Agha

   Pages 1-19

3. Multiple tuple spaces in Linda

   • David Gelernter

   Pages 20-27

4. Experiments in mimd parallelism

   • Anthony J. G. Hey

   Pages 28-42

5. GTS: Extracting full parallelism out of DO loops

   • Jesús Labarta, Eduard Ayguadé

   Pages 43-54

6. Dataflow analysis of term graph rewriting systems

   • R. Banach

   Pages 55-72

7. Towards a theory of simulation for verification of concurrent systems

   • Ryszard Janicki, Maciej Koutny

   Pages 73-88

8. Eliminating redundant interleavings during concurrent program verification

   • Antti Valmari

   Pages 89-103

9. Dataflow programs for parallel computations of logic programs and their semantics

   • Susumu Yamasaki

   Pages 104-114

10. RAPiD a data flow model for implementing parallelism and intelligent backtracking in logic programs

    • Bernd Schwinn, Gerhard Barth, Christoph Welsch

    Pages 115-132

11. Pruning and scheduling speculative work in or-parallel Prolog

    • Bogumil Hausman

    Pages 133-150

12. Performance analysis of a Parallel Prolog: A correlated approach

    • J. Chassin de Kergommeaux, U. C. Baron, W. Rapp, M. Ratcliffe

    Pages 151-164

13. Visual concurrent object-based programming in GARP

    • Steven K. Goering, Simon M. Kaplan

    Pages 165-180

14. Parle: A parallel target language for integrating symbolic and numeric processing

    • A. N. Refenes, E. Eberbach, S. C. McCabe, P. C. Treleaven

    Pages 181-198

15. A method for refining atomicity in parallel algorithms

    • R. J. R. Back

    Pages 199-216

16. Comparing two fully abstract dataflow models

    • Bengt Jonsson, Joost N. Kok

    Pages 217-234

17. Learning by back-propagation: Computing in a systolic way

    • José del R. Millán, Pau Bofill

    Pages 235-252

18. Towards systolizing compilation: An overview

    • Christian Lengauer

    Pages 253-272

19. Strategies for a massively parallel implementation of simulated annealing

    • F. Baiardi, S. Orlando

    Pages 273-287

20. The compaction of acyclic terms

    • Gaétan Hains

    Pages 288-303

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strategic Programme for Research and Development in Information Technology of the Commission of the European Communities). Their scope covers central themes in the area of parallel architectures and languages, including such topics as concurrent, object-oriented, logic and functional programming; MIMD, dataflow, inference and reduction machines; design and verification of parallel systems; VLSI, WSI and RISC architectures; performance evaluation, memory management, systolic arrays, applications and special purpose architectures. The four invited lectures present the state of the art and advanced developments in major research areas related to the topics of the conference. Of the more than 150 submitted papers 45 were selected for presentation. Furthermore the program of PARLE '89 comprises presentations on the subprojects which together constitute ESPRIT project 415. Parallel architectures based on a variety of programming styles (object-oriented, logic, functional, dataflow) are represented in these overviews.

• Parallele Architekturen
• Parallele Sprachen
• Scheduling
• Software Engineering
• algorithm
• algorithms
• architecture
• data structure
• logic
• organization
• processor
• programming
• real-time
• semantics
• verification

Policies and ethics