Specification and Verification of Real-team Constraints in Coarse-grain Dataflow
dc.contributor.author | Henry, Dana S. | en_US |
dc.date.accessioned | 2023-03-29T15:17:08Z | |
dc.date.available | 2023-03-29T15:17:08Z | |
dc.date.issued | 1991-05 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149696 | |
dc.description.abstract | We present a method for verifying real-time constraints in a distributed, coarse-grain dataflow environment starting with a program which has already been allocated onto a machine. The user specifies the timing of each module together with real-time constraints; and we verify the constraints. | en_US |
dc.relation.ispartofseries | MIT-LCS-TR-487 | |
dc.title | Specification and Verification of Real-team Constraints in Coarse-grain Dataflow | en_US |
dc.identifier.oclc | 24063264 |