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

Softcover

ISBN 10: 3662194600 ISBN 13: 9783662194607

Verlag: Springer, 2014

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• ISBN 10: 3662194600
• ISBN 13: 9783662194607
• Einband: Paperback
• Sprache: Englisch
• Kontakt zum Hersteller: Nicht verfügbar