Skip to main content
SpringerLink
Log in

Parallel Symbolic Computing: Languages, Systems, and Applications

US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Robert H. Halstead
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Takayasu Ito
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 748)

Included in the following conference series:

Conference proceedings info: PSC 1992.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Overview of papers from the U.S./Japan workshop on parallel symbolic computing

    • Robert H. Halstead Jr., Takayasu Ito
    Pages 1-10

  3. Prioritization in parallel symbolic computing

    • L. V. Kale, B. Ramkumar, V. Saletore, A. B. Sinha
    Pages 11-41

  4. A priority control system for OR-parallel Prolog and its performance evaluation

    • Yukio Kaneda, Hideo Matsuda, Shigeo Suzuka
    Pages 42-53

  5. Extending the Multilisp sponsor model to deal with intertask synchronization side effects

    • Randy B. Osborne
    Pages 54-86

  6. Distillations of dynamic partitioning experience

    • Eric Mohr
    Pages 87-93

  7. A message passing implementation of lazy task creation

    • Marc Feeley
    Pages 94-107

  8. P-continuation based implementation of PaiLisp interpreter

    • Takayasu Ito, Tomohiro Seino
    Pages 108-154

  9. Running higher-order unification in PaiLisp

    • Masami Hagiya
    Pages 155-160

  10. HyperDEBU: A multiwindow debugger for parallel logic programs

    • Hidehiko Tanaka, Jun-Ichi Tatemura
    Pages 161-182

  11. MulTVision: A tool for visualizing parallel program executions

    • Robert H. Halstead Jr., David A. Kranz, Patrick G. Sobalvarro
    Pages 183-204

  12. Managing side effects on shared data

    • Kinson Ho, Paul N. Hilfinger
    Pages 205-232

  13. Design of a concurrent and distributed language

    • Christian Queinnec, David De Roure
    Pages 233-259

  14. TS/Scheme: Distributed data structures in Lisp

    • Suresh Jagannathan
    Pages 260-267

  15. A SIMD environment TUPLE for parallel list processing

    • Taiichi Yuasa
    Pages 268-286

  16. Architecture independence and coordination

    • Julian Padget, Duncan Batey, Simon Merrall
    Pages 287-299

  17. Persistent immutable shared abstractions

    • Benny Yih, Mark Swanson, Robert Kessler
    Pages 300-317

  18. Asynchrony and real-time in distributed systems

    • Mario Tokoro, Ichiro Satoh
    Pages 318-330

  19. Asynchronous communication model based on linear logic

    • Naoki Kobayashi, Akinori Yonezawa
    Pages 331-336

  20. Parallel inference system research in the Japanese FGCS project

    • Takashi Chikayama, Ryozo Kiyohara
    Pages 337-351
Back to top

Other volumes

  1. Parallel Symbolic Computing: Languages, Systems, and Applications

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation