Accession Number : ADA185616

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

Descriptive Note : Final rept. 15 Jun 85-14 Oct 86,

Corporate Author : TEXAS UNIV AT AUSTIN DEPT OF COMPUTER SCIENCES

Personal Author(s) : Chandy, K M ; Misra, J

PDF Url : ADA185616

Report Date : 24 Mar 1987

Pagination or Media Count : 14

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.

Descriptors :   *COMPUTER PROGRAMMING, *PROBLEM SOLVING, AIR FORCE, ASYNCHRONOUS SYSTEMS, COMPUTATIONS, COMPUTER ARCHITECTURE, DISTRIBUTION, MEMORY DEVICES, MESSAGE PROCESSING, PARALLEL PROCESSING, SEQUENCES, TIME SHARING, TRANSFORMATIONS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE