Skip to Main content Skip to Navigation
Conference papers

Timely Dataflow: A Model

Abstract : This paper studies timely dataflow, a model for data-parallel computing in which each communication event is associated with a virtual time. It defines and investigates the could-result-in relation which is central to this model, then the semantics of timely dataflow graphs.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01767326
Contributor : Hal Ifip <>
Submitted on : Monday, April 16, 2018 - 10:18:42 AM
Last modification on : Wednesday, August 7, 2019 - 12:18:47 PM

File

978-3-319-19195-9_9_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Martín Abadi, Michael Isard. Timely Dataflow: A Model. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.131-145, ⟨10.1007/978-3-319-19195-9_9⟩. ⟨hal-01767326⟩

Share

Metrics

Record views

99

Files downloads

339