SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS BASED ON STATE SPACE ANALYSIS

Johan Ersfolk; G Roquier; Johan Lilius; M Mattavelli

doi:10.1109/ICASSP.2012.6288215

SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS BASED ON STATE SPACE ANALYSIS

Johan Ersfolk, G Roquier, Johan Lilius, M Mattavelli

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

18 Citations (Scopus)

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.

Original language	Undefined/Unknown
Title of host publication	2012 IEEE International Conference on Acoustics, Speech and Signal Processing
Publisher	IEEE
Pages	1661–1664
Number of pages	4
ISBN (Print)	978-1-4673-0045-2
DOIs	https://doi.org/10.1109/ICASSP.2012.6288215
Publication status	Published - 2012
MoE publication type	A4 Article in a conference publication
Event	IEEE International Conference on Acoustics, Speech and Signal Processing - IEEE International Conference on Acoustics, Speech and Signal Processing Duration: 25 Mar 2012 → 30 Mar 2012

Conference

Conference	IEEE International Conference on Acoustics, Speech and Signal Processing
Period	25/03/12 → 30/03/12

Keywords

Dataflow programming
MPEG-4 decoder
model checking

Access to Document

10.1109/ICASSP.2012.6288215

Cite this

@inproceedings{b2ba785d7b3f4bbeb4600758b116e23b,

title = "SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS BASED ON STATE SPACE ANALYSIS",

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, MPEG-4 decoder, model checking, Dataflow programming, MPEG-4 decoder, model checking, Dataflow programming, MPEG-4 decoder, model checking",

author = "Johan Ersfolk and G Roquier and Johan Lilius and M Mattavelli",

year = "2012",

doi = "10.1109/ICASSP.2012.6288215",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-4673-0045-2",

pages = "1661–1664",

booktitle = "2012 IEEE International Conference on Acoustics, Speech and Signal Processing",

publisher = "IEEE",

note = "IEEE International Conference on Acoustics, Speech and Signal Processing ; Conference date: 25-03-2012 Through 30-03-2012",

}

TY - GEN

T1 - SCHEDULING OF DYNAMIC DATAFLOW PROGRAMS BASED ON STATE SPACE ANALYSIS

AU - Ersfolk, Johan

AU - Roquier, G

AU - Lilius, Johan

AU - Mattavelli, M

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Dataflow programming

KW - MPEG-4 decoder

KW - model checking

KW - Dataflow programming

KW - MPEG-4 decoder

KW - model checking

KW - Dataflow programming

KW - MPEG-4 decoder

KW - model checking

U2 - 10.1109/ICASSP.2012.6288215

DO - 10.1109/ICASSP.2012.6288215

M3 - Konferensbidrag

SN - 978-1-4673-0045-2

SP - 1661

EP - 1664

BT - 2012 IEEE International Conference on Acoustics, Speech and Signal Processing

PB - IEEE

T2 - IEEE International Conference on Acoustics, Speech and Signal Processing

Y2 - 25 March 2012 through 30 March 2012

ER -