Timely Dataflow: A Model - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Timely Dataflow: A Model

Résumé

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.

Domaines

Informatique [cs] Réseaux et télécommunications [cs.NI]
Fichier principal
Vignette du fichier
978-3-319-19195-9_9_Chapter.pdf (298.82 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 16 avril 2018-10:18:42

Dernière modification le : mardi 19 novembre 2024-14:04:09

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩

Exporter

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
88 Consultations
242 Téléchargements

Altmetric

Partager

More