Concepedia

Dataflow Semantics

Dataflow Semantics is a formal framework that specifies the meaning of dataflow models by defining the rules governing the timing, ordering, and propagation of data tokens through a network of computational nodes.

329

Publications

15.4K

Citations

846

Authors

276

Institutions

Publications per year

2017–2026

33

Parents

Publications

329

Symbolic model checking: an approach to the state explosion problem

Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 1992 · 981 citations

, , +17

Dataflow analysis of array and scalar references

Paul Feautrier · International Journal of Parallel Programming · 1991 · 556 citations

, , +14

Monotone data flow analysis frameworks

John B. Kam, Jeffrey D. Ullman · Acta Informatica · 1977 · 380 citations

, , +7

Implementing declarative overlays

Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein et al. · ACM SIGOPS Operating Systems Review · 2005 · 299 citations · Full text

, , +14

Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization

Arvind Satyanarayan, Ryan P. Russell, Jane Hoffswell et al. · IEEE Transactions on Visualization and Computer Graphics · 2015 · 285 citations

, , +15

1–5 of 329

Authors

846

  1. SS
    Shuvra S. Bhattacharyya

    University of Maryland, College Park, United States

    16 publications · 800 citations

    13

    h-index

  2. EA
    Edward A. Lee

    University of California, Berkeley, United States

    6 publications · 361 citations

    6

    h-index

  3. WP
    William Plishker

    University of Maryland, College Park, United States

    6 publications · 191 citations

    6

    h-index

  4. MP
    Marc Pouzet

    Institut national de recherche en sciences et technologies du numérique, France

    6 publications · 302 citations

    6

    h-index

  5. JW
    Jörn W. Janneck

    École Polytechnique Fédérale de Lausanne, Switzerland

    6 publications · 238 citations

    6

    h-index

1–5 of 846

Institutions

276

  1. University of Maryland, College Park

    College Park, United States

    15 h-index

    48 publications

    2.4K citations

  2. University of California, Berkeley

    Berkeley, United States

    14 h-index

    40 publications

    4.2K citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    10 h-index

    24 publications

    899 citations

  4. Eindhoven University of Technology

    Eindhoven, The Netherlands

    9 h-index

    15 publications

    589 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    8 publications

    310 citations

  6. Institut d'Électronique et des Technologies du numéRique

    Rennes, France

    6 h-index

    12 publications

    311 citations

  7. University of California, Irvine

    Irvine, United States

    6 h-index

    9 publications

    413 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    6 h-index

    8 publications

    412 citations

1–8 of 276

Venues

  1. ACM SIGPLAN Notices

    9 publications · 226 citations

    9

    h-index

  2. 6

    h-index

  3. Computer

    5 publications · 448 citations

    5

    h-index

  4. Proceedings of the VLDB Endowment

    PVLDB · 4 publications · 165 citations

    4

    h-index

  5. Information Systems

    4 publications · 152 citations

    4

    h-index

1–5