Sciweavers

REX
1993
14 years 3 months ago
Interaction Diagrams
Joachim Parrow
REX
1993
14 years 3 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long
REX
1993
14 years 3 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
REX
1993
14 years 3 months ago
Process Algebra with Backtracking
Jan A. Bergstra, Alban Ponse, Jos van Wamel
PPOPP
1993
ACM
14 years 3 months ago
Experience with Fine-Grain Synchronization in MIMD Machines for Preconditioned Conjugate Gradient
This paper discusses our experience with fine-grain synchronization for a variant of the preconditioned conjugate gradient method. This algorithm represents a large class of algo...
Donald Yeung, Anant Agarwal
PPOPP
1993
ACM
14 years 3 months ago
Integrating Message-Passing and Shared-Memory: Early Experience
This paper discusses some of the issues involved in implementing a shared-address space programming model on large-scale, distributed-memory multiprocessors. While such a programm...
David A. Kranz, Kirk L. Johnson, Anant Agarwal, Jo...
PPOPP
1993
ACM
14 years 3 months ago
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems
We describe computation migration,a new technique that is based on compile-time program transformations, for accessing remote data in a distributed-memory parallel system. In cont...
Wilson C. Hsieh, Paul Wang, William E. Weihl
PPOPP
1993
ACM
14 years 3 months ago
LogP: Towards a Realistic Model of Parallel Computation
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
David E. Culler, Richard M. Karp, David A. Patters...
PPOPP
1993
ACM
14 years 3 months ago
Implementation of a Portable Nested Data-Parallel Language
Guy E. Blelloch, Siddhartha Chatterjee, Jonathan C...
PPOPP
1993
ACM
14 years 3 months ago
Experiences Using the ParaScope Editor: an Interactive Parallel Programming Tool
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
Mary W. Hall, Timothy J. Harvey, Ken Kennedy, Nath...