default search action
Parallel Symbolic Computing 1992: Cambridge, MA, USA
- Robert H. Halstead Jr., Takayasu Ito:
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
Implementation Techniques
- 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
Program Development Tools
- 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
Languages and Conceptual Models
- 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
Systems
- 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
Panel Discussions
- Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa:
Massively Parallel Architectures and Symbolic Computation (panel). 408-416 - Robert H. Halstead Jr., Takashi Chikayama, Richard P. Gabriel, David L. Waltz, Akinori Yonezawa:
Applications for Parallel Symbolic Computation (panel). 417
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.