SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS BASED ON STATE SPACE ANALYSIS

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Ersfolk J, Roquier G, Lilius J, Mattavelli M
Publication year: 2012
Publisher: IEEE
Book title: 2012 IEEE International Conference on Acoustics, Speech and Signal Processing
Start page: 1661
End page: 1664
Number of pages: 4
ISBN: 978-1-4673-0045-2


Abstract

Compile-time scheduling of dynamic dataflow programs is still an open problem. This paper presents how scheduling of dynamic portions of asynchronous dataflow networks described using CAL language can be determined before execution by the analysis of the state space of network partitions. Experiments show that the number of run-time operations employed by dynamic schedulers is largely reduced when the schedules extracted by the state analysis are employed.


Keywords

Dataflow programming, model checking, MPEG-4 decoder

Last updated on 2020-26-02 at 06:06