Scheduling of Dynamic Dataflow Programs with Model Checking


Published in:
Proceedings of SIPS 2011, IEEE WS on Signal processing Systems
Presented at:
SIPS 2011, IEEE WS on Signal processing Systems, Beirut, Lebanon, Oct. 4-7, 2011
Year:
2011
Laboratories:




 Record created 2012-01-04, last modified 2018-09-13


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)