Accession Number : ADA135892


Title :   Synthesis of Efficient Structures for Concurrent Computation.


Descriptive Note : Final interim rept. 1 Oct 82-30 Sep 83,


Corporate Author : KESTREL INST PALO ALTO CA


Personal Author(s) : King,R M ; Mayr,E W ; Green,C


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a135892.pdf


Report Date : 01 Oct 1983


Pagination or Media Count : 22


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)


Descriptors :   *Parallel processing , *Computer programming , Computations , High level languages , Computer architecture , Methodology , Trees , Synthesis , Classification , Structures , Efficiency , Transformations , Specifications


Subject Categories : Computer Programming and Software
      Computer Hardware


Distribution Statement : APPROVED FOR PUBLIC RELEASE