Reasoning about systolic algorithms
- 1 December 1988
- journal article
- Published by Elsevier in Journal of Parallel and Distributed Computing
- Vol. 5 (6), 669-699
- https://doi.org/10.1016/0743-7315(88)90036-6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Mathematical Model for the Verification of Systolic NetworksSIAM Journal on Computing, 1984
- A Mechanical Proof of the Unsolvability of the Halting ProblemJournal of the ACM, 1984
- Correctness Proofs of Communicating Processes: Three Illustrative Examples From the LiteratureACM Transactions on Programming Languages and Systems, 1983
- Symbolic execution and program testingCommunications of the ACM, 1976
- The Organization of Computations for Uniform Recurrence EquationsJournal of the ACM, 1967