PPoPP 1990
21 papers
- A Chare Kernel Implementation of a Parallel Prolog Compiler
- A Methodology for Implementing Highly Concurrent Data Structures
- A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI
- An Approach to Ordering Optimizing Transformations
- An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection
- An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL
- Analysis of Event Synchronization in A Parallel Programming Tool
- Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations
- Concurrent Aggregates (CA)
- Continuations and Concurrency
- Design and Distributed Implementation of the Parallel Logic Language Shared Prolog
- Employing Register Channels for the Exploitation of Instruction Level Parallelism
- Modeling Concurrency in Parallel Debugging
- Multi-Model Parallel Programming in Psyche
- Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence
- Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages
- Real-Time, Concurrent Checkpoint for Parallel Programs
- Supporting Shared Data Structures on Distributed Memory Architectures
- The Effectiveness of Task-Level Parallelism for High-Level Vision
- The Evolution of HPC/VORX
- The Process Trellis Architectur for Real-Time Monitors