Timely Dataflow: A Model - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Timely Dataflow: A Model

(1, 2) , (3)
1
2
3

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 - CC BY 4.0

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⟩
55 View
193 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More