Air Force Scientific Report for AFOSR Grant AFOSR-85-0252.

Abstract

Our work has concentrated on developing a unifying framework, under the name UNITY, for studying problem-solving in parallel programming independent of specific architectural considerations. We have proposed a simple model of computation and a logic to reason about properties of such programs and have managed to study problems from a variety of problem areas. We have developed a number of transformations which are appropriate for implementations on a variety of architectures: sequential, asynchronous shared memory, distributed message passing, synchronous parallel with shared memory, systolic arrays, and VLSI chips. The diversity of the application areas and the architectures studied lends credence to our hypothesis that there is a UNITY to programming.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 24, 1987
Accession Number
ADA185616

Entities

People

  • J. Misra
  • K. M. Chandy

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • C4I
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Algorithms
  • Classification
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Detection
  • Language
  • Notation
  • Programming Languages
  • Scientific Research
  • Security
  • Simulations
  • Symbols
  • Universities

Readers

  • Joint Military Operations and Doctrine.
  • Parallel and Distributed Computing.
  • Theoretical Analysis.