Stem dataflow$ (all stems)

158 papers:

CASE-2015-SemeniutaF #approach #data flow #formal method #industrial #specification

Discrete event dataflow as a formal approach to specification of industrial vision systems (OS, PF), pp. 849–854.

DATE-2015-LeleMB #case study #data flow

FP-scheduling for mode-controlled dataflow: a case study (AL, OM, KvB), pp. 1257–1260.

DATE-2015-MamaghaniGE #named

De-elastisation: from asynchronous dataflows to synchronous circuits (MJM, JDG, DAE), pp. 273–276.

SIGMOD-2015-DudoladovXSKETM

Optimistic Recovery for Iterative Dataflows in Action (SD, CX, SS, AK, SE, KT, VM), pp. 1439–1443.

VLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency

The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.

FoSSaCS-2015-AbadiMP #data flow #difference

Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.

GPCE-2015-FoustJP #constraints #data flow #generative #multi #source code #user interface #visual notation

Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.

PADL-2015-FowlerDG #data flow

Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.

SAC-2015-JakobsW #analysis #data flow #proving #source code

Programs from proofs of predicated dataflow analyses (MCJ, HW), pp. 1729–1736.

HPCA-2015-LoCIS #monitoring #runtime #using

Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.

ASE-2014-LutzD #comparison #data flow #difference #interactive #programming #using #visual notation

Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.

DAC-2014-SiyoumGC #analysis #data flow

Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.

DATE-2014-SalunkheMB #analysis #data flow #modelling

Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver (HS, OM, KvB), pp. 1–4.

DATE-2014-ZhuGBS #data flow #graph #scheduling

Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.

VLDB-2015-BuBJCC14 #data flow #graph #named

Pregelix: Big(ger) Graph Analytics on a Dataflow Engine (YB, VRB, JJ, MJC, TC), pp. 161–172.

SAS-2014-MadsenM #analysis #data flow #pointer #reachability

Sparse Dataflow Analysis with Pointers and Reachability (MM, AM), pp. 201–218.

GPCE-2014-JarviFH #constraints #data flow #multi

Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.

SPLC-2014-DieumegardTP #approach #data flow #library #product line #semantics #specification

A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.

CC-2014-TavaresBPR #analysis #data flow

Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.

LCTES-2014-BebelisFG #data flow #framework #manycore #parametricity

A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.

OSDI-2014-GonzalezXDCFS #data flow #distributed #framework #graph #named

GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.

ASE-2013-LiRSDC #data flow #generative #named #source code

SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.

ASE-2013-XuHRW #data flow #testing

Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.

PLDI-2013-ZhangNY #abstraction #analysis #data flow #parametricity

Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.

SAC-2013-PougetSCM #approach #data flow #debugging #embedded #interactive #novel

A novel approach for interactive debugging of dynamic dataflow embedded applications (KP, MS, PLC, JFM), pp. 1547–1549.

ICSE-2013-HassanA #data flow #multi

Comparing multi-point stride coverage and dataflow coverage (MMH, JHA), pp. 172–181.

CC-2013-BhaskaracharyaB #data flow #framework #named #visual notation

PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.

LCTES-2013-BouakazT #data flow #graph #scheduling

Buffer minimization in earliest-deadline first scheduling of dataflow graphs (AB, JPT), pp. 133–142.

LCTES-2013-GeunsHB #automation #data flow #realtime

Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.

PPoPP-2013-YukiFRS #analysis #array #data flow #source code

Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.

SOSP-2013-MurrayMIIBA #data flow #named

Naiad: a timely dataflow system (DGM, FM, RI, MI, PB, MA), pp. 439–455.

DAC-2012-ChoiOKH #architecture #data flow #graph #manycore

Executing synchronous dataflow graphs on a SPM-based multicore architecture (JC, HO, SK, SH), pp. 664–671.

DAC-2012-GhosalLRTPWTA #analysis #data access #data flow #semantics

Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.

DATE-2012-DamavandpeymaSBGC #data flow #graph #modelling

Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.

DATE-2012-TheelenKW #data flow #model checking

Model checking of Scenario-Aware Dataflow with CADP (BDT, JPK, HW), pp. 653–658.

DATE-2012-ThieleE #analysis #data flow #graph #optimisation #performance

Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.

WCRE-2012-VanciuA #data flow #graph

Ownership Object Graphs with Dataflow Edges (RV, MAA), pp. 267–276.

ECOOP-2012-DugganY #data flow

Static Sessional Dataflow (DD, JY), pp. 484–508.

DATE-2011-FalkZHT #algorithm #clustering #data flow #embedded #performance #rule-based #synthesis

A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.

DATE-2011-HausmansBC #data flow #graph

Resynchronization of Cyclo-Static Dataflow graphs (JPHMH, MJGB, HC), pp. 1315–1320.

SIGMOD-2011-OlstonR #debugging #distributed #framework #monitoring

Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.

VLDB-2011-OlstonR #debugging #distributed #framework #monitoring

Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.

ESOP-2011-DeDN #analysis #data flow #source code

Dataflow Analysis for Datarace-Free Programs (AD, DD, RN), pp. 196–215.

SEFM-2011-ParrinoGGF #analysis #bound #data flow #satisfiability #verification

A Dataflow Analysis to Improve SAT-Based Bounded Program Verification (BCP, JPG, DG, MFF), pp. 138–154.

OOPSLA-2011-DemetrescuFR #constraints #data flow #imperative #programming

Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.

OOPSLA-2011-TrippYFS #data flow #effectiveness #named #parallel

HAWKEYE: effective discovery of dataflow impediments to parallelization (OT, GY, JF, MS), pp. 207–224.

ESEC-FSE-2011-RamamurthiRS #analysis #data flow #graph #probability #using

Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.

ICSE-2011-HermansPD #data flow #diagrams #generative #spreadsheet

Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.

CC-2011-RodriguezL #analysis #data flow #parallel

Actor-Based Parallel Dataflow Analysis (JR, OL), pp. 179–197.

CGO-2011-GreathouseLAB #analysis #data flow #distributed #scalability

Highly scalable distributed dataflow analysis (JLG, CL, TMA, VB), pp. 277–288.

DAC-2010-HsuPH #approach #data flow #modelling #physics #simulation

A mixed-mode vector-based dataflow approach for modeling and simulating LTE physical layer (CJH, JLP, FJH), pp. 18–23.

SAC-2010-TraulsenH #data flow #parallel

Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.

ASPLOS-2010-GoodsteinVCGKM #adaptation #analysis #data flow #monitoring #parallel

Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring (MLG, EV, SC, PBG, MAK, TCM), pp. 257–270.

HPDC-2010-TeodoroHCF #optimisation #runtime

Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.

DAC-2009-Geilen #data flow #graph #reduction

Reduction techniques for synchronous dataflow graphs (MG), pp. 911–916.

DAC-2009-PlishkerSB #data flow #effectiveness #scheduling

Mode grouping for more effective generalized scheduling of dynamic dataflow applications (WP, NS, SSB), pp. 923–926.

DATE-2009-PlishkerSB #approach #data flow #scheduling

A generalized scheduling approach for dynamic dataflow applications (WP, NS, SSB), pp. 111–116.

SIGMOD-2009-OlstonCS #data flow #generative #source code

Generating example data for dataflow programs (CO, SC, US), pp. 245–256.

VLDB-2009-GatesNCKNORSS #data flow #experience #pipes and filters

Building a HighLevel Dataflow System on top of MapReduce: The Pig Experience (AG, ON, SC, PK, SN, CO, BR, SS, US), pp. 1414–1425.

FoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.

CSMR-2009-Trifu #approach #identification

Improving the Dataflow-Based Concern Identification Approach (MT), pp. 109–118.

SAS-2009-XiaFL #data flow

Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.

KDD-2009-DaruruMWG #clustering #data flow #data mining #mining #parallel #pervasive #scalability

Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data (SD, NMM, MW, JG), pp. 1115–1124.

CC-2009-FarooqJ #architecture #data flow #scheduling

Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures (MUF, LKJ), pp. 190–203.

CGO-2009-Bronevetsky #data flow #message passing #parallel

Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.

HPDC-2009-Reeuwijk #data flow #framework #learning #named #peer-to-peer #self #using

Maestro: a self-organizing peer-to-peer dataflow framework using reinforcement learning (CvR), pp. 187–196.

DAC-2008-HsuPB #data flow #graph #parallel #simulation #thread

Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.

CSMR-2008-Trifu #data flow #identification #object-oriented #using

Using Dataflow Information for Concern Identification in Object-Oriented Software Systems (MT), pp. 193–202.

PLDI-2008-ChughVJL #analysis #concurrent #data flow #detection #source code #using

Dataflow analysis for concurrent programs using datarace detection (RC, JWV, RJ, SL), pp. 316–326.

SAS-2008-LalR #data flow #multi #query #using

Solving Multiple Dataflow Queries Using WPDSs (AL, TWR), pp. 93–109.

GT-VMT-2008-KoehlerCPA #configuration management #data flow

Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).

SAC-2008-RoyS #data flow #problem

Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.

CC-2008-RountevSX #analysis #data flow #ide #library #object-oriented #scalability

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (AR, MS, G(X), pp. 53–68.

HPDC-2008-BarkerWH #data flow #peer-to-peer

Eliminating the middleman: peer-to-peer dataflow (AB, JBW, JIvH), pp. 55–64.

LCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system

A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.

LICS-2008-Kahlon #abstraction #analysis #approach #concurrent #data flow #source code

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs (VK), pp. 181–192.

DAC-2007-StuijkBGC #data flow #graph #multi #resource management

Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.

DAC-2007-WiggersBS #data flow #graph #performance

Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.

DATE-2007-SchlieckerSE #analysis #composition #data flow #graph #integration #performance

Performance analysis of complex systems by integration of dataflow graphs and compositional performance analysis (SS, SS, RE), pp. 273–278.

TACAS-2007-FarzanM #analysis #concurrent #data flow #source code

Causal Dataflow Analysis for Concurrent Programs (AF, PM), pp. 102–116.

DAC-2006-HsuRKPB #data flow #graph #performance #simulation

Efficient simulation of critical synchronous dataflow graphs (CJH, SR, MYK, JLP, SSB), pp. 893–898.

DAC-2006-StuijkGB #constraints #data flow #graph #requirements #throughput #trade-off

Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs (SS, MG, TB), pp. 899–904.

ESOP-2006-CooperK #call-by #data flow

Embedding Dynamic Dataflow in a Call-by-Value Language (GHC, SK), pp. 294–308.

SAS-2006-DhurjatiDY #analysis #data flow #refinement

Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.

SOFTVIS-2006-GauvinB #automation #data flow #layout #programming language #visual notation

Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages (SG, OB), pp. 67–75.

LDTA-2006-ZengME #data flow #domain-specific language #generative

A Domain-Specific Language for Generating Dataflow Analyzers (JZ, CM, SAE), pp. 103–119.

ASPLOS-2006-MercaldiSPPSOE #architecture #data flow #scheduling

Instruction scheduling for a tiled dataflow architecture (MM, SS, AP, AP, AS, MO, SJE), pp. 141–150.

CC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability

Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.

CBSE-2005-Rountev #analysis #component #data flow

Component-Level Dataflow Analysis (AR), pp. 82–89.

DAC-2005-GeilenBS #data flow #graph #model checking #requirements

Minimising buffer requirements of synchronous dataflow graphs with model checking (MG, TB, SS), pp. 819–824.

PASTE-2005-HampapuramYD #analysis #data flow #simulation

Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.

CEFP-2005-UustaluV #data flow #programming

The Essence of Dataflow Programming (TU, VV), pp. 135–167.

POPL-2005-LernerMRC #analysis #automation #data flow #proving

Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.

ESEC-FSE-2005-FischerJM #data flow

Joining dataflow with predicates (JF, RJ, RM), pp. 227–236.

COCV-J-2005-SalcianuA #analysis #correctness #data flow #proving

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses (AS, KA), pp. 53–68.

WICSA-2004-NortonF #architecture

Reactive Types for Dataflow-Oriented Software Architectures (BN, MF), pp. 211–220.

ASE-2004-MarceauCKR #data flow #debugging

Dataflow Language for Scriptable Debugging (GM, GHC, SK, SPR), pp. 218–227.

DATE-v1-2004-GreenE #data flow #uml

Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.

SIGMOD-2004-ShahHB #fault tolerance #parallel

Highly-Available, Fault-Tolerant, Parallel Dataflows (MAS, JMH, EAB), pp. 827–838.

DATE-2003-KimSLLNN #data flow #distributed #graph

Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units (EK, HS, JGL, DIL, HN, TN), pp. 10276–10281.

SIGMOD-2003-ChandrasekaranCDFHHKMRS #data flow #named

TelegraphCQ: Continuous Dataflow Processing (SC, OC, AD, MJF, JMH, WH, SK, SM, FR, MAS), p. 668.

FASE-2003-JinELJ #analysis #composition #data flow #network #process

Modular Analysis of Dataflow Process Networks (YJ, RE, CL, JWJ), pp. 184–199.

SAS-2003-RepsSJ #analysis #automaton #data flow #interprocedural

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis (TWR, SS, SJ), pp. 189–213.

DAC-2002-OhH #data flow #graph #multi #performance #synthesis

Efficient code synthesis from extended dataflow graphs for multimedia applications (HO, SH), pp. 275–280.

SAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.

SAS-2002-Ruf #analysis #data flow #precise

Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.

POPL-2002-LernerGC #analysis #data flow

Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.

LCTES-SCOPES-2002-OhH #data flow #multi #performance #synthesis

Fractional rate dataflow model and efficient code synthesis for multimedia applications (HO, SH), pp. 12–17.

PASTE-2001-BallR #data flow #interprocedural #named

Bebop: a path-sensitive interprocedural dataflow engine (TB, SKR), pp. 97–103.

DAC-2000-VandersteenWRDDEB #data flow #performance #simulation

A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers (GV, PW, YR, PD, SD, ME, IB), pp. 440–445.

DATE-2000-MurthyB #data flow #implementation #memory management #specification

Shared Memory Implementations of Synchronous Dataflow Specifications (PKM, SSB), pp. 404–410.

POPL-2000-MuthD #analysis #complexity #data flow #on the

On the Complexity of Flow-Sensitive Dataflow Analyses (RM, SKD), pp. 67–80.

CAiSE-1999-Wietek #data analysis #modelling #multi #visual notation

Modelling Multidimensional Data in a Dataflow-Based Visual Data Analysis Environment (FW), pp. 149–163.

TOOLS-EUROPE-1999-Telea #data flow #modelling #object-oriented #simulation

Combining Object Orientation and Dataflow Modelling in the Vission Simulation System (ACT), pp. 56–65.

SAS-1998-HagiyaT #analysis #data flow #java #on the #virtual machine

On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.

SIGAda-1998-James #ada #data flow #distributed #evolution #using

The Evolution of a Distributed dataflow Processing Model Using Ada (SJ), pp. 39–44.

PLDI-1997-Goodwin #analysis #data flow #execution #interprocedural

Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.

ICFP-1997-Wailly #data flow #functional #named #parallel

λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.

POPL-1997-Ruf #analysis #clustering #data flow #using

Partitioning Dataflow Analyses Using Types (ER), pp. 15–26.

ESOP-1996-Stolen #data flow #network

Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness (KS), pp. 356–372.

ICALP-1996-Raymond #data flow #network #regular expression

Recognizing Regular Expressions by Means of Dataflow Networks (PR), pp. 336–347.

SAC-1996-WaillyB #data flow #functional #implementation #parallel #semantics #specification

Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics (GdW, FB), pp. 414–419.

PEPM-1995-Jensen #analysis #data flow #source code

Clock Analysis of Synchronous Dataflow Programs (TPJ), pp. 156–167.

SAS-1995-NordinLM #data flow #named #prolog

IGOR: A Tool for Developing Prolog Dataflow Analyzers (MN, TL, HM), pp. 420–421.

PLILP-1995-ColussiMM #constraints #data flow #logic programming #semantics #source code

A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.

POPL-1995-RepsHS #analysis #data flow #graph #interprocedural #precise #reachability

Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.

FSE-1995-HorwitzRS #analysis #data flow #interprocedural

Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.

PPoPP-1995-CollardBF #analysis #array #data flow #fuzzy

Fuzzy Array Dataflow Analysis (JFC, DB, PF), pp. 92–101.

TRI-Ada-1994-Thornley #ada #data flow #parallel #programming

Integrating Parallel Dataflow Programming with the Ada Tasking Model (JT), pp. 417–428.

SAC-1994-RondogiannisW #data flow #hardware #higher-order #implementation

Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.

ICSE-1994-HutchinsFGO #effectiveness #test coverage #testing

Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria (MH, HF, TG, TJO), pp. 191–200.

ICLP-1994-Kagedal #analysis #data flow #prolog

A Dataflow Analysis Method for Ground Prolog (AK), p. 746.

FPCA-1993-Ang #data flow #implementation #performance

Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.

FPCA-1993-RohNB #clustering #data flow #evaluation #generative

Generation and Quantitative Evaluation of Dataflow Clusters (LR, WAN, APWB), pp. 159–168.

HCI-SHI-1993-LauesenH #data flow #design #modelling

Dialogue Design Through Modified Dataflow and Data Modelling (SL, MBH), pp. 220–225.

ICSE-1993-HamletGN #array #data flow #testing

Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.

PLDI-1992-TanL #analysis #compilation #data flow #logic programming #source code

Compiling Dataflow Analysis of Logic Programs (JT, IPL), pp. 106–115.

ICALP-1992-Debray #analysis #complexity #data flow #logic programming #on the #source code

On the Complexity of Dataflow Analysis of Logic Programs (SKD), pp. 509–520.

LICS-1992-Stark #calculus #data flow #network

A Calculus of Dataflow Networks (Extended Abstract) (EWS), pp. 125–136.

FPCA-1991-Traub #architecture #code generation #data flow #multi #source code #strict #thread

Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs (KRT), pp. 73–101.

DAC-1990-ScheichenzuberGLM #behaviour #data flow #hardware #synthesis

Global Hardware Synthesis from Behavioral Dataflow Descriptions (JS, WG, UL, SM), pp. 456–461.

ICALP-1990-PanangadenSS #data flow #network

Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.

NACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog

The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.

VLDB-1989-Muralikrishna #algorithm #data flow #optimisation #query

Optimization and Dataflow Algorithms for Nested Tree Queries (MM), pp. 77–85.

POPL-1989-Jonsson #data flow #network

A Fully Abstract Trace Model for Dataflow Networks (BJ), pp. 155–165.

SIGMOD-1988-AlexanderC #data flow #data-driven #distributed #process

Process And Dataflow Control In Distributed Data-Intensive Systems (WA, GPC), pp. 90–98.

ESOP-1988-WeemeeuwBH #architecture #data flow #implementation #logic programming #on the #programming language

On Implementing Logic Programming Languages on a Dataflow Architecture (PW, MB, MDH), pp. 359–372.

POPL-1988-Debray #analysis #data flow #logic programming #performance #source code

Efficient Dataflow Analysis of Logic Programs (SKD), pp. 260–273.

JICSCP-1988-Wu88 #data flow

An Extended Dataflow Model of FGHC (HW), pp. 1272–1276.

FPCA-1987-RuggieroS #data flow #parallel

Control of parallelism in the Manchester Dataflow Machine (CAR, JS), pp. 1–15.

VLDB-1986-DeWittGGHKM #data flow #database #named #performance

GAMMA — A High Performance Dataflow Database Machine (DJD, RHG, GG, MLH, KBK, MM), pp. 228–237.

LFP-1986-SarkarH #clustering #parallel #source code

Partitioning Parallel Programs for Macro-Dataflow (VS, JLH), pp. 202–211.

LICS-1986-JonssonMW #data flow #deduction #network #synthesis #towards

Towards Deductive Synthesis of Dataflow Networks (BJ, ZM, RJW), pp. 26–37.

ICSE-1984-DeMarcoS #data flow #modula #named

SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.

SLP-1984-BroughE84 #data flow #logic #programming

Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.

POPL-1983-Pratt #data flow #design #paradigm #programming

Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment (VRP), pp. 1–9.

ICALP-1982-Faustini #data flow #semantics

An Operational Semantics for Pure Dataflow (AAF), pp. 212–224.

SOSP-1977-ArvindGP #data flow #monitoring

Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.