Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDParallel 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
a service of 
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.
last updated on 2024-04-18 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
