Conferences in DBLP
Gul Agha Supporting Multiparadigm Programming on Actor Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] David Gelernter Multiple Tuple Spaces in Linda. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony J. G. Hey Experiments in MIMD Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Labarta , Eduard Ayguadé GTS: Extracting Full Parallelism Out of DO Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Banach Dataflow Analysis if Term Graph Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard Janicki , Maciej Koutny Towards A Theory Of Simulation For Verification Of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Antti Valmari Eliminating Redundant Interleavings During Concurrent Program Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Susumu Yamasaki Dataflow Programs for Parallel Computations of Logic Progams and their Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Schwinn , Gerhard Barth , Christoph Welsch RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bogumil Hausman Pruning and Scheduling Speculative Work in Or-Parallel Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Chassin de Kergommeaux , Uri Baron , Wolfgang Rapp , Michael Ratcliffe Performance Analysis of a Parallel Prolog: A Correlated Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Steven K. Goering , Simon M. Kaplan Visual Concurrent Object-Based Programming in GARP. [Citation Graph (0, 0)][DBLP ] Conf ] Apostolos Nikolaos Refenes , Eugene Eberbach , Stephen C. McCabe , Philip C. Treleaven PARLE: A Parallel Target Language for Integrating Symbolic and Numeric Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back A Method for Refining Atomicity in Parallel Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Joost N. Kok Comparing Two Fully Abstract Dataflow Models. [Citation Graph (0, 0)][DBLP ] Conf ] José del R. Millán , Pau Bofill Learning by Back-Propagation: Computing in a Systolic Way. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Lengauer Towards Systolizing Compilation: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Baiardi , Salvatore Orlando Strategies for a Massively Parallel Implementation of Simulated Annealing. [Citation Graph (0, 0)][DBLP ] Conf ] Gaétan Hains The Compaction of Acyclic Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Paraskevas Evripidou , Walid A. Najjar , Jean-Luc Gaudiot A Single-Assignment Language in a Distributed Memory Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Lisper Single-Assignment Semantics for Imperative Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiyi Hwang , Shouren Hu A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Marino , Giancarlo Succi Data structures for parallel execution of functional languages. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson The Typed lambda-Calculus with First-Class Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Livezey , Richard R. Muntz ASPEN: A Stream Processing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Parrow The Expressive Power of Simple Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Hooman , Jennifer Widom A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. [Citation Graph (0, 0)][DBLP ] Conf ] 