Scheduling of Dynamic Dataflow Programs with Model Checking
2011
Details
Title
Scheduling of Dynamic Dataflow Programs with Model Checking
Author(s)
Ersfolk, Johan ; Roquier, Ghislain ; Jokhio, Fareed ; Lilius, Johan ; Mattavelli, Marco
Published in
2011 IEEE Workshop on Signal Processing Systems (SiPS)
Pages
37-42
Conference
SIPS 2011, IEEE WS on Signal processing Systems, Beirut, Lebanon, Oct. 4-7, 2011
Date
2011
Laboratories
SCI-STI-MM
Record Appears in
Scientific production and competences > STI - School of Engineering > IEM - Institut d'Electricité et de Microtechnique > SCI-STI-MM - SCI STI MM Group
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2012-01-04