Accession Number : ADA130294
Title : Formal Verification of a Systolic System for Finite Element Stiffness Matrices.
Descriptive Note : Technical rept.,
Corporate Author : PITTSBURGH UNIV PA INST FOR COMPUTATIONAL MATHEMATICS AND APPLICATIONS
Personal Author(s) : Melhem,Rami
PDF Url : ADA130294
Report Date : Jan 1982
Pagination or Media Count : 59
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.
Descriptors : *Mathematical models, *Communications networks, *Finite element analysis, *Matrices(Mathematics), Stiffness, Data links, Mesh, Nodes, Computations, Operators(Mathematics), Multiplexing, Memory devices, Pipelines
Subject Categories : Theoretical Mathematics
Distribution Statement : APPROVED FOR PUBLIC RELEASE