Synthesis of Efficient Structures for Concurrent Computation.
Abstract
The object of this research is the development of programming knowledge for the synthesis of concurrent programs. In this final report the authors describe techniques for synthesizing efficient parallel structures from high level specifications of a problem. These structures contain collections of trees interconnected in various ways. They examine an apparently diverse group of problems and show that they all have properties in common that allow these syntheses to be performed using only a few synthesis rules. Also explored are some alternative syntheses for some structures. Some of the synthesis paths use transformation rules designed to produce parallel structures containing multidimensional lattices. These lattices are then transformed into structures containing trees in some cases. In other cases the lattice structure is better and is retained. In yet other cases the lattice structure is modified to make a better lattice structure. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1983
- Accession Number
- ADA135892
Entities
People
- C. Green
- E. W. Mayr
- R. M. King
Organizations
- Kestrel Institute