TY - JOUR
T1 - Parameterized dataflow
AU - Duggan, Dominic
AU - Yao, Jianhua
N1 - Publisher Copyright:
© D. Duggan & J. Yao.
PY - 2016/10/25
Y1 - 2016/10/25
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85018636513&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85018636513&partnerID=8YFLogxK
U2 - 10.4204/EPTCS.227.5
DO - 10.4204/EPTCS.227.5
M3 - Conference article
AN - SCOPUS:85018636513
SN - 2075-2180
VL - 227
SP - 63
EP - 81
JO - Electronic Proceedings in Theoretical Computer Science, EPTCS
JF - Electronic Proceedings in Theoretical Computer Science, EPTCS
T2 - 14th International Workshop on Quantitative Aspects of Programming Languages and Systems
Y2 - 2 April 2016 through 3 April 2016
ER -