NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Reliability models for dataflow computer systemsThe demands for concurrent operation within a computer system and the representation of parallelism in programming languages have yielded a new form of program representation known as data flow (DENN 74, DENN 75, TREL 82a). A new model based on data flow principles for parallel computations and parallel computer systems is presented. Necessary conditions for liveness and deadlock freeness in data flow graphs are derived. The data flow graph is used as a model to represent asynchronous concurrent computer architectures including data flow computers.
Document ID
19850019232
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Kavi, K. M. (Texas Univ. Arlington, TX, United States)
Buckles, B. P. (Texas Univ. Arlington, TX, United States)
Date Acquired
September 5, 2013
Publication Date
March 1, 1985
Subject Category
Computer Programming And Software
Report/Patent Number
NASA-CR-175813
NAS 1.26:175813
Report Number: NASA-CR-175813
Report Number: NAS 1.26:175813
Accession Number
85N27543
Funding Number(s)
CONTRACT_GRANT: NAG2-273
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available