Timely Dataflow: A Model - Formal Techniques for Distributed Objects, Components, and Systems
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.

Domains

Computer Science [cs] Networking and Internet Architecture [cs.NI]
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)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01767326

Submitted on : Monday, April 16, 2018-10:18:42 AM

Last modification on : Tuesday, November 19, 2024-2:04:09 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 IFIP-FORTE IFIP-LNCS-9039
89 View
255 Download

Altmetric

Share

More