Title :
The formal derivation of distributed programs from systolic arrays
Author :
Barnett, Michael
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
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;
Conference_Titel :
Parallel and Distributed Processing, 1990. Proceedings of the Second IEEE Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-2087-0
DOI :
10.1109/SPDP.1990.143566
