A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks.

Jonatan Wiik, Johan Ersfolk, Marina Waldn

Browse the full MEMOCODE paper archive.