We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Specification and Verification of Real-team Constraints in Coarse-grain Dataflow

Thumbnail Image
Download
Name

MIT-LCS-TR-487.pdf

Size

5.35 MB

Format

Adobe PDF

Checksum (MD5)

946765d19ac98dc99b858398299a4255

Author(s)
Henry, Dana S.
Date Issued
May 1991
Series/Report no.
MIT-LCS-TR-487
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.