Scheduling of Dynamic Dataflow Programs with Model Checking
2011
Détails
Titre
Scheduling of Dynamic Dataflow Programs with Model Checking
Auteur(s)
Ersfolk, Johan ; Roquier, Ghislain ; Jokhio, Fareed ; Lilius, Johan ; Mattavelli, Marco
Publié dans
2011 IEEE Workshop on Signal Processing Systems (SiPS)
Pages
37-42
Présenté à
SIPS 2011, IEEE WS on Signal processing Systems, Beirut, Lebanon, Oct. 4-7, 2011
Date
2011
Laboratoires
SCI-STI-MM
Le document apparaît dans
Production scientifique et compétences > STI - Faculté des sciences et techniques de l'ingénieur > IEM - Institute of Electrical and Micro Engineering > SCI-STI-MM - Groupe SCI STI MM
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2012-01-04