Parameterized dataflow

Dominic Duggan, Jianhua Yao

Research output: Contribution to journalConference articlepeer-review

Abstract

Dataflow networks have application in various forms of stream processing, for example for parallel processing of multimedia data. The description of dataflow graphs, including their firing behavior, is typically non-compositional and not amenable to separate compilation. This article considers a dataflow language with a type and effect system that captures the firing behavior of actors. This system allows definitions to abstract over actor firing rates, supporting the definition and safe composition of actor definitions where firing rates are not instantiated until a dataflow graph is launched.

Original languageEnglish
Pages (from-to)63-81
Number of pages19
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume227
DOIs
StatePublished - 25 Oct 2016
Event14th International Workshop on Quantitative Aspects of Programming Languages and Systems - Eindhoven, Netherlands
Duration: 2 Apr 20163 Apr 2016

Fingerprint

Dive into the research topics of 'Parameterized dataflow'. Together they form a unique fingerprint.

Cite this