Halstead

Parallel Symbolic Computing: Languages, Systems, and Applications

US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings
Mitarbeit:Halstead, Robert H.; Ito, Takayasu

• Broschiertes Buch

Produktbeschreibung

Parallel and distributed computing are becoming increasinglyimportant as cost-effective ways to achieve highcomputational performance. Symbolic computations are notablefor their use of irregular data structures and henceparallel symbolic computing has its own distinctive set oftechnical challenges.The papers in this book are based on presentations made at aworkshop at MIT in October 1992. They present results in awide range of areas including: speculative computation,scheduling techniques, program development tools andenvironments, programming languages and systems, models ofconcurrency and distribution, parallel computerarchitecture, and symbolic applications.

Produktdetails

• Lecture Notes in Computer Science 748
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-57396-8
• 1993.
• Seitenzahl: 436
• Erscheinungstermin: 3. November 1993
• Englisch
• Abmessung: 235mm x 155mm x 24mm
• Gewicht: 576g
• ISBN-13: 9783540573968
• ISBN-10: 3540573968
• Artikelnr.: 09232087

Inhaltsangabe

Overview of papers from the U.S./Japan workshop on parallel symbolic computing.- Prioritization in parallel symbolic computing.- A priority control system for OR-parallel Prolog and its performance evaluation.- Extending the Multilisp sponsor model to deal with intertask synchronization side effects.- Distillations of dynamic partitioning experience.- A message passing implementation of lazy task creation.- P-continuation based implementation of PaiLisp interpreter.- Running higher-order unification in PaiLisp.- HyperDEBU: A multiwindow debugger for parallel logic programs.- MulTVision: A tool for visualizing parallel program executions.- Managing side effects on shared data.- Design of a concurrent and distributed language.- TS/Scheme: Distributed data structures in Lisp.- A SIMD environment TUPLE for parallel list processing.- Architecture independence and coordination.- Persistent immutable shared abstractions.- Asynchrony and real-time in distributed systems.- Asynchronous communication model based on linear logic.- Parallel inference system research in the Japanese FGCS project.- Massively parallel symbolic computing.- Sparcle: A multithreaded VLSI processor for parallel computing.- A new architecture design paradigm for parallel computing in scheme.- Customizable policy management in the Sting operating system.- An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers (extended abstract).- Panel discussion I: Massively parallel architectures and symbolic computation.- Panel Discussion II: Applications for parallel symbolic computation.