[IEEE 2011 IEEE Workshop on Signal Processing Systems (SiPS) - Beirut, Lebanon (2011.10.4-2011.10.7)] 2011 IEEE Workshop on Signal Processing Systems (SiPS) - Scheduling of dynamic dataflow programs with model checking
Ersfolk, Johan, Roquier, Ghislain, Jokhio, Fareed, Lilius, Johan, Mattavelli, MarcoYear:
2011
Language:
english
DOI:
10.1109/sips.2011.6088946
File:
PDF, 125 KB
english, 2011