A mathematical model for the verification of systolic networks

Authors:
Rami G. Melhem;Werner C. Rheinboldt
Affiliations:
University of Pittsburgh, Pittsburgh, PA;University of Pittsburgh, Pittsburgh, PA
Venue:
SIAM Journal on Computing
Year:
1984

Citing 0
Cited 6

Designing systolic algorithms using sequential machines

IEEE Transactions on Computers - The MIT Press scientific computation series
Abstract pecification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations

IEEE Transactions on Computers
On Mapping Algorithms to Linear and Fault-Tolerant Systolic Arrays

IEEE Transactions on Computers
Formal verification of systolic networks using theorem proving techniques (abstract only)

CSC '87 Proceedings of the 15th annual conference on Computer Science
A language for the simulation of systolic architectures

ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Mapping rectangular mesh algorithms onto asymptotically space-optimal arrays

Journal of Parallel and Distributed Computing

Quantified Score

Hi-index	0.01

Visualization

Abstract