A Mathematical Model for the Verification of Systolic Networks.

Abstract

This paper presents a mathematical model for systolic architectures for use in the verification of the operation of certain systolic networks. The I/O description of the global effect of the computations performed by the network are obtained by solving a particular system of difference equations. The verification technique is applied to four different systolic networks proposed in the literature. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1982
Accession Number
ADA120698

Entities

People

  • Rami G. Melhem
  • Werner Rheinboldt

Organizations

  • University of Pittsburgh

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Computations
  • Computer Science
  • Computing System Architectures
  • Convolution
  • Difference Equations
  • Equations
  • Literature
  • Mathematical Models
  • Mathematics
  • Network Architecture
  • Notation
  • Numbers
  • Real Numbers
  • Sequences

Fields of Study

  • Mathematics

Readers

  • Computational Modeling and Simulation
  • Computer Networking
  • Parallel and Distributed Computing.