Parallel Symbolic Computing: Languages, Systems, and Applications: US/Japan Workshop Cambridge, MA, USA, October 14–17, 1992 Proceedings

✍ Scribed by Robert H. Halstead Jr., Takayasu Ito (auth.), Robert H. Halstead Jr., Takayasu Ito (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1993
• Tongue: English
• Leaves: 427
• Series: Lecture Notes in Computer Science 748
• Edition: 1
• Category: Library

✦ Synopsis

Parallel and distributed computing are becoming increasingly important as cost-effective ways to achieve high computational performance. Symbolic computations are notable for their use of irregular data structures and hence parallel symbolic computing has its own distinctive set of technical challenges. The papers in this book are based on presentations made at a workshop at MIT in October 1992. They present results in a wide range of areas including: speculative computation, scheduling techniques, program development tools and environments, programming languages and systems, models of concurrency and distribution, parallel computer architecture, and symbolic applications.

✦ Table of Contents

Overview of papers from the U.S./Japan workshop on parallel symbolic computing....Pages 1-10
Prioritization in parallel symbolic computing....Pages 11-41
A priority control system for OR-parallel Prolog and its performance evaluation....Pages 42-53
Extending the Multilisp sponsor model to deal with intertask synchronization side effects....Pages 54-86
Distillations of dynamic partitioning experience....Pages 87-93
A message passing implementation of lazy task creation....Pages 94-107
P-continuation based implementation of PaiLisp interpreter....Pages 108-154
Running higher-order unification in PaiLisp....Pages 155-160
HyperDEBU: A multiwindow debugger for parallel logic programs....Pages 161-182
MulTVision: A tool for visualizing parallel program executions....Pages 183-204
Managing side effects on shared data....Pages 205-232
Design of a concurrent and distributed language....Pages 233-259
TS/Scheme: Distributed data structures in Lisp....Pages 260-267
A SIMD environment TUPLE for parallel list processing....Pages 268-286
Architecture independence and coordination....Pages 287-299
Persistent immutable shared abstractions....Pages 300-317
Asynchrony and real-time in distributed systems....Pages 318-330
Asynchronous communication model based on linear logic....Pages 331-336
Parallel inference system research in the Japanese FGCS project....Pages 337-351
Massively parallel symbolic computing....Pages 352-358
Sparcle: A multithreaded VLSI processor for parallel computing....Pages 359-361
A new architecture design paradigm for parallel computing in scheme....Pages 362-379
Customizable policy management in the Sting operating system....Pages 380-401
An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers (extended abstract)....Pages 402-405
Panel discussion I: Massively parallel architectures and symbolic computation....Pages 407-416
Panel Discussion II: Applications for parallel symbolic computation....Pages 417-417

✦ Subjects

Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters