• DocumentCode
    3271222
  • Title

    The formal derivation of distributed programs from systolic arrays

  • Author

    Barnett, Michael

  • Author_Institution
    Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
  • fYear
    1990
  • fDate
    9-13 Dec 1990
  • Firstpage
    363
  • Lastpage
    366
  • Abstract
    An automatic scheme is outlined that generates programs for distributed-memory multiprocessors from a description of a systolic array. The scheme uses formal methods of program transformation; an initial implementation uses Mathematica. The target program is in an abstract syntax that can be translated to any distributed programming language
  • Keywords
    automatic programming; multiprocessing programs; parallel algorithms; programming theory; systolic arrays; Mathematica; abstract syntax; distributed programming language; distributed programs; distributed-memory multiprocessors; program generation; program transformation; systolic arrays; Computer languages; Contracts; Distributed computing; Hardware; Prototypes; Research initiatives; Systolic arrays; Trademarks;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Processing, 1990. Proceedings of the Second IEEE Symposium on
  • Conference_Location
    Dallas, TX
  • Print_ISBN
    0-8186-2087-0
  • Type

    conf

  • DOI
    10.1109/SPDP.1990.143566
  • Filename
    143566
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3271222