An implemented method for incremental systolic design

This publication has 17 references indexed in Scilit:

• Systolic algorithms as programs
  Distributed Computing, 1986
• A mechanically certified theorem about optimal concurrency of sorting networks
  Published by Association for Computing Machinery (ACM) ,1986
• A parallel language and its compilation to multiprocessor machines or VLSI
  Published by Association for Computing Machinery (ACM) ,1986
• Parallelism detection and transformation techniques useful for VLSI algorithms
  Journal of Parallel and Distributed Computing, 1985
• A Transformational Model of VLSI Systolic Design
  Computer, 1985
• The Design of Optimal Systolic Arrays
  IEEE Transactions on Computers, 1985
• Spacetime representations of computational structures
  Computing, 1984
• On the design of algorithms for VLSI systolic arrays
  Proceedings of the IEEE, 1983
• A methodology for programming with concurrency: the formalism
  Science of Computer Programming, 1982
• A methodology for programming with concurrency: An informal presentation
  Science of Computer Programming, 1982