Formal Verification of a Systolic System for Finite Element Stiffness Matrices.

Abstract

In a previous publication an abstract model was developed for the specification of systollc networks and the verification of the correctness of their operation. The model was applied to the verification of the operation of four systollc networks that had been suggested in the literature. In this report, the authors extends this model to allow for networks with slightly more complicated types of computational cells, namely cells that have periodic memory or multiplexing capabilities.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1982
Accession Number
ADA130294

Entities

People

  • Rami Melhem

Organizations

  • University of Pittsburgh

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Boundary Value Problems
  • Coefficients
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Difference Equations
  • Differential Equations
  • Equations
  • Finite Element Analysis
  • Mathematics
  • Numbers
  • Numerical Integration
  • Parallel Computing
  • Parallel Processing
  • Partial Differential Equations

Readers

  • Cellular and Molecular Pathways of Apoptosis.
  • Computational Modeling and Simulation
  • Parallel and Distributed Computing.