Scheduling of Dynamic Dataflow Programs with Model Checking

Ersfolk, JohanRoquier, GhislainJokhio, FareedLilius, JohanMattavelli, Marco2012-01-042012-01-042012-01-04201110.1109/SiPS.2011.6088946https://infoscience.epfl.ch/handle/20.500.14299/76319Scheduling of Dynamic Dataflow Programs with Model Checkingtext::conference output::conference proceedings::conference paper