A Survey of Models for Parallel Computing.

Abstract

The work of Adams, Karp and Miller, Luconi, and Rodriguez on formal models for parallel computations and computer systems is reviewed. A general definition of a parallel schema is given so that the similarities and differences of the models can be discussed. Primary emphasis is on the control structures used to achieve parallel operation and on properties of the models such as determinacy and equivalence. Decidable and undecidable properties are summarized. (Author)

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1970
Accession Number
AD0714202

Entities

People

  • Thomas H. Bredt

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Computational Processes
  • Computations
  • Computers
  • Computing-Related Activities
  • Parallel Computing
  • Parallel Processing

Readers

  • Mathematical Modeling and Probability Theory.
  • Military History
  • Systems Analysis and Design