IJCSLP 1992 Workshop on Concurrent and Parallel Implementations

These are the papers presented at sessions A and B of the Workshop 6 "Concurrent and Parallel Implementations", IJCSLP'92, Washington.

Workshop A

Sabri Büyüksoy, Mehmet Baray, Isik Aybay: Distributed Prolog on a Hypercube Multicomputer. BibTeX
Vincent David: Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation. BibTeX
Péter Kacsuk: 3DPAM = WAM + DATAFLOW. 0- BibTeX
Kiyoshi Hirano: KL1 Optimization Techniques for RISC Architecture. BibTeX
Ian Olthof, John G. Cleary: AND-Parallel Prolog on a Transputer-Based System. BibTeX
Peter Sapaty: The WAVE Paradigm. 0- BibTeX
W. F. Clocksin: The DelPhi Multiprocessor Inference Machine. BibTeX
Fabrizio Baiardi: A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory Systems. BibTeX

Workshop B

Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantifiers - Preliminary Results. BibTeX
Giancarlo Succi, Giuseppe Marino, R. Cantuccio, M. Facciolo, Tullio Vernazza: A Transputer Implementation of SEL. BibTeX
Koenraad De Bosschere: Multi-Prolog: a Blackboard-based Parallel Logic Programming Language. BibTeX
Kish Shen: An Overview of DASWAM - An Implementation of DDAS. BibTeX
Ryozo Kiyohara, Takashi Chikayama: Parallel Inference System of the FGCS Project - Status Report. BibTeX
Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. BibTeX
David G. Schwartz, Leon Sterling: Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources. BibTeX
Shan-Wen Yan: Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation. BibTeX
Donald A. Smith: MultiLog: Data Or-Parallel Logic Programming. BibTeX
Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo: Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. BibTeX
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. 0- BibTeX
Javed I. Khan, David Y. Y. Yun: An Empirical Study on the Potential of Search Parallelism on MIMD Architecture. BibTeX
Jennifer Burg, Charles E. Hughes, Sheau-Dong Lang: Parallel Execution of CLP-R Programs. BibTeX
Johan Bevemyr, Thomas Lindgren, Håkan Millroth: Exploiting Recursion-Parallelism in Prolog: Preliminary Results. BibTeX
Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia: Dynamic Process Scheduling in a Parallel Logic Machine. BibTeX