Timely Dataflow: A Model - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
978-3-319-19195-9_9_Chapter.pdf (298.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01767326 , version 1 (16-04-2018)

Licence

Attribution

Identifiers

Cite

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⟩
69 View
222 Download

Altmetric

Share

Gmail Facebook X LinkedIn More