Browsing LCS Technical Reports (1974 - 2003) by Author "Henry, Dana S."
Now showing items 1-1 of 1
-
Specification and Verification of Real-team Constraints in Coarse-grain Dataflow
Henry, Dana S. (1991-05)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 ...