Parallel Symbolic Computing 1992: Cambridge, MA, USA

Robert H. Halstead Jr., Takayasu Ito (Eds.): Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings. Lecture Notes in Computer Science 748 Springer 1993, ISBN 3-540-57396-8

Robert H. Halstead Jr., Takayasu Ito:
Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing. 1-10

Speculative Computation

Laxmikant V. Kalé, Balkrishna Ramkumar, Vikram A. Saletore, Amitabh Sinha:
Prioritization in Parallel Symbolic Computing. 12-41
Yukio Kaneda, Hideo Matsuda, Shigeo Suzuka:
A Priority Control System for OR-Parallel Prolog and Its Performance Evaluation. 42-53
Randy B. Osborne:
Extending the Multilisp Sponsor Model to Deal with Intertask Synchronization Side Effects. 54-86

Eric Mohr:
Distillations of Dynamic Partitioning Experience. 88-93
Marc Feeley:
A Message Passing Implementation of Lazy Task Creation. 94-107
Takayasu Ito, Tomohiro Seino:
P-Continuation Based Implementation of PaiLisp Interpreter. 108-154
Masami Hagiya:
Running Higher-Order Unification in PaiLisp. 155-160

Hidehiko Tanaka, Jun'ichi Tatemura:
HyperDEBU: A Multiwindow Debugger for Parallel Logic Programs. 162-182
Robert H. Halstead Jr., David A. Kranz, Patrick Sobalvarro:
MulTVision: A Tool for Visualizing Parallel Program Executions. 183-204
Kinson Ho, Paul N. Hilfinger:
Managing Side Effects on Shared Data. 205-232

Christian Queinnec, David De Roure:
Design of a Concurrent and Distributed Language. 234-259
Suresh Jagannathan:
TS/Scheme: Distributed Data Structures in Lisp. 260-267
Taiichi Yuasa:
A SIMD Environment TUPLE for Parallel List Processing. 268-286
Julian A. Padget, Duncan J. Batey, Simon C. Merrall: Architecture Independence and Coordination. 287-299
Benny Yih, Mark R. Swanson, Robert R. Kessler:
Persistent Immutable Shared Abstractions. 300-317
Mario Tokoro, Ichiro Satoh:
Asynchrony and Real-Time in Distributed Systems. 318-330
Naoki Kobayashi, Akinori Yonezawa:
Asynchronous Communication Model Based on Linear Logic. 331-336

Takashi Chikayama, Ryozo Kiyohara:
Parallel Inference System Research in the Japanese FGCS Project. 338-351
David L. Waltz:
Massively Parallel Symbolic Computing. 352-358
Anant Agarwal, Jonathan Babb, David Chaiken, Godfrey D'Souza, Kirk L. Johnson, David A. Kranz, John Kubiatowicz, Beng-Hong Lim, Gino Maa, Kenneth Mackenzie, Daniel Nussbaum, Mike Parkin, Donald Yeung:
Sparcle: A Multithreaded VLSI Processor for Parallel Computing. 359-361
Carl Bruggeman, R. Kent Dybvig:
A New Architecture Design Paradigm for Parallel Computing in Scheme. 362-379
James Philbin:
Customizable Policy Management in the Sting Operating System. 380-401
Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa:
An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. 402-405

Last update Thu May 23 17:51:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page