论文信息 - The formal derivation of distributed programs from systolic arrays

The formal derivation of distributed programs from systolic arrays

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.<<ETX>>

Michael Barnett

[1] Patrice Quinton. Automatic synthesis of systolic arrays from uniform recurrent equations , 1984, ISCA '84.

[2] L. Shen,et al. Linear Algebra , 1968 .

[3] Peter R. Cappello,et al. The SDEF Systolic Programming System , 1987, ICPP.

[4] Dan I. Moldovan,et al. ADVIS: A Software Package for the Design of Systolic Arrays , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5] Marina C. Chen,et al. A Design Methodology for Synthesizing Parallel Algorithms and Architectures , 1986, J. Parallel Distributed Comput..

[6] Christian Lengauer,et al. A Systolizing Compilation Scheme , 1991 .

[7] Marina C. Chen. A parallel language and its compilation to multiprocessor machines or VLSI , 1986, POPL '86.

[8] Christian Lengauer,et al. Towards Systolizing Compilation: An Overview , 1988, PARLE.

[9] Thomas Kailath,et al. Regular iterative algorithms and their implementation on processor arrays , 1988, Proc. IEEE.