Issues in the specification and design of parallel programs

Authors:
Robert G. Babb
Affiliations:
Oregon Graduate Institute, Beaverton, Oregon
Venue:
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Year:
1991

Citing 7
Cited 2

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Practical support for parallel programming

Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Development of portable parallel programs with Large-Grain Data Flow 2

CONPAR 90 Proceedings of the joint international conference on Vector and parallel processing
A formal model for architecture-independent parallel software engineering

A formal model for architecture-independent parallel software engineering
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
The notions of consistency and predicate locks in a database system

Communications of the ACM
The Paralation Model: Architecture-Independent Parallel Programming

The Paralation Model: Architecture-Independent Parallel Programming

Parallel Computing in Networks of Workstations with Paralex

IEEE Transactions on Parallel and Distributed Systems
SIMA: an environment for parallel discrete-event simulation

ANSS '92 Proceedings of the 25th annual symposium on Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an overview of the main specification and design issues for parallel systems of programs from a software engineering perspective. A parallel system design approach based on the Large-Grain Data Flow 2 (LGDF2) computation model is outlined. An assessment of LGDF2 as the basis for unified specification, design, and implementation of parallel programs is given, along with a brief assessment of its potential impact on parallel software development and software project management.