BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
analysi (41)
program (28)
graph (22)
synchron (19)
model (17)

Stem dataflow$ (all stems)

158 papers:

CASECASE-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.
DATEDATE-2015-LeleMB #case study #data flow
FP-scheduling for mode-controlled dataflow: a case study (AL, OM, KvB), pp. 1257–1260.
DATEDATE-2015-MamaghaniGE #named
De-elastisation: from asynchronous dataflows to synchronous circuits (MJM, JDG, DAE), pp. 273–276.
SIGMODSIGMOD-2015-DudoladovXSKETM
Optimistic Recovery for Iterative Dataflows in Action (SD, CX, SS, AK, SE, KT, VM), pp. 1439–1443.
VLDBVLDB-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.
FoSSaCSFoSSaCS-2015-AbadiMP #data flow #difference
Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
GPCEGPCE-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.
PADLPADL-2015-FowlerDG #data flow
Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.
SACSAC-2015-JakobsW #analysis #data flow #proving #source code
Programs from proofs of predicated dataflow analyses (MCJ, HW), pp. 1729–1736.
HPCAHPCA-2015-LoCIS #monitoring #runtime #using
Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.
ASEASE-2014-LutzD #comparison #data flow #difference #interactive #programming #using #visual notation
Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
DACDAC-2014-SiyoumGC #analysis #data flow
Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.
DATEDATE-2014-SalunkheMB #analysis #data flow #modelling
Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver (HS, OM, KvB), pp. 1–4.
DATEDATE-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.
VLDBVLDB-2015-BuBJCC14 #data flow #graph #named
Pregelix: Big(ger) Graph Analytics on a Dataflow Engine (YB, VRB, JJ, MJC, TC), pp. 161–172.
SASSAS-2014-MadsenM #analysis #data flow #pointer #reachability
Sparse Dataflow Analysis with Pointers and Reachability (MM, AM), pp. 201–218.
GPCEGPCE-2014-JarviFH #constraints #data flow #multi
Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.
SPLCSPLC-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.
CCCC-2014-TavaresBPR #analysis #data flow
Parameterized Construction of Program Representations for Sparse Dataflow Analyses (ALCT, BB, FMQP, FR), pp. 18–39.
LCTESLCTES-2014-BebelisFG #data flow #framework #manycore #parametricity
A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDIOSDI-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.
ASEASE-2013-LiRSDC #data flow #generative #named #source code
SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASEASE-2013-XuHRW #data flow #testing
Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
PLDIPLDI-2013-ZhangNY #abstraction #analysis #data flow #parametricity
Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.
SACSAC-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.
ICSEICSE-2013-HassanA #data flow #multi
Comparing multi-point stride coverage and dataflow coverage (MMH, JHA), pp. 172–181.
CCCC-2013-BhaskaracharyaB #data flow #framework #named #visual notation
PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
LCTESLCTES-2013-BouakazT #data flow #graph #scheduling
Buffer minimization in earliest-deadline first scheduling of dataflow graphs (AB, JPT), pp. 133–142.
LCTESLCTES-2013-GeunsHB #automation #data flow #realtime
Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PPoPPPPoPP-2013-YukiFRS #analysis #array #data flow #source code
Array dataflow analysis for polyhedral X10 programs (TY, PF, SVR, VS), pp. 23–34.
SOSPSOSP-2013-MurrayMIIBA #data flow #named
Naiad: a timely dataflow system (DGM, FM, RI, MI, PB, MA), pp. 439–455.
DACDAC-2012-ChoiOKH #architecture #data flow #graph #manycore
Executing synchronous dataflow graphs on a SPM-based multicore architecture (JC, HO, SK, SH), pp. 664–671.
DACDAC-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.
DATEDATE-2012-DamavandpeymaSBGC #data flow #graph #modelling
Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.
DATEDATE-2012-TheelenKW #data flow #model checking
Model checking of Scenario-Aware Dataflow with CADP (BDT, JPK, HW), pp. 653–658.
DATEDATE-2012-ThieleE #analysis #data flow #graph #optimisation #performance
Optimizing performance analysis for synchronous dataflow graphs with shared resources (DT, RE), pp. 635–640.
WCREWCRE-2012-VanciuA #data flow #graph
Ownership Object Graphs with Dataflow Edges (RV, MAA), pp. 267–276.
ECOOPECOOP-2012-DugganY #data flow
Static Sessional Dataflow (DD, JY), pp. 484–508.
DATEDATE-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.
DATEDATE-2011-HausmansBC #data flow #graph
Resynchronization of Cyclo-Static Dataflow graphs (JPHMH, MJGB, HC), pp. 1315–1320.
SIGMODSIGMOD-2011-OlstonR #debugging #distributed #framework #monitoring
Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.
VLDBVLDB-2011-OlstonR #debugging #distributed #framework #monitoring
Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.
ESOPESOP-2011-DeDN #analysis #data flow #source code
Dataflow Analysis for Datarace-Free Programs (AD, DD, RN), pp. 196–215.
SEFMSEFM-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.
OOPSLAOOPSLA-2011-DemetrescuFR #constraints #data flow #imperative #programming
Reactive imperative programming with dataflow constraints (CD, IF, AR), pp. 407–426.
OOPSLAOOPSLA-2011-TrippYFS #data flow #effectiveness #named #parallel
HAWKEYE: effective discovery of dataflow impediments to parallelization (OT, GY, JF, MS), pp. 207–224.
ESEC-FSEESEC-FSE-2011-RamamurthiRS #analysis #data flow #graph #probability #using
Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.
ICSEICSE-2011-HermansPD #data flow #diagrams #generative #spreadsheet
Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
CCCC-2011-RodriguezL #analysis #data flow #parallel
Actor-Based Parallel Dataflow Analysis (JR, OL), pp. 179–197.
CGOCGO-2011-GreathouseLAB #analysis #data flow #distributed #scalability
Highly scalable distributed dataflow analysis (JLG, CL, TMA, VB), pp. 277–288.
DACDAC-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.
SACSAC-2010-TraulsenH #data flow #parallel
Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
ASPLOSASPLOS-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.
HPDCHPDC-2010-TeodoroHCF #optimisation #runtime
Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.
DACDAC-2009-Geilen #data flow #graph #reduction
Reduction techniques for synchronous dataflow graphs (MG), pp. 911–916.
DACDAC-2009-PlishkerSB #data flow #effectiveness #scheduling
Mode grouping for more effective generalized scheduling of dynamic dataflow applications (WP, NS, SSB), pp. 923–926.
DATEDATE-2009-PlishkerSB #approach #data flow #scheduling
A generalized scheduling approach for dynamic dataflow applications (WP, NS, SSB), pp. 111–116.
SIGMODSIGMOD-2009-OlstonCS #data flow #generative #source code
Generating example data for dataflow programs (CO, SC, US), pp. 245–256.
VLDBVLDB-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.
FoSSaCSFoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
CSMRCSMR-2009-Trifu #approach #identification
Improving the Dataflow-Based Concern Identification Approach (MT), pp. 109–118.
SASSAS-2009-XiaFL #data flow
Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.
KDDKDD-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.
CCCC-2009-FarooqJ #architecture #data flow #scheduling
Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures (MUF, LKJ), pp. 190–203.
CGOCGO-2009-Bronevetsky #data flow #message passing #parallel
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
HPDCHPDC-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.
DACDAC-2008-HsuPB #data flow #graph #parallel #simulation #thread
Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
CSMRCSMR-2008-Trifu #data flow #identification #object-oriented #using
Using Dataflow Information for Concern Identification in Object-Oriented Software Systems (MT), pp. 193–202.
PLDIPLDI-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.
SASSAS-2008-LalR #data flow #multi #query #using
Solving Multiple Dataflow Queries Using WPDSs (AL, TWR), pp. 93–109.
GT-VMTGT-VMT-2008-KoehlerCPA #configuration management #data flow
Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).
SACSAC-2008-RoyS #data flow #problem
Improving flow-insensitive solutions for non-separable dataflow problems (SR, YNS), pp. 211–216.
CCCC-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.
HPDCHPDC-2008-BarkerWH #data flow #peer-to-peer
Eliminating the middleman: peer-to-peer dataflow (AB, JBW, JIvH), pp. 55–64.
LCTESLCTES-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.
LICSLICS-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.
DACDAC-2007-StuijkBGC #data flow #graph #multi #resource management
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.
DACDAC-2007-WiggersBS #data flow #graph #performance
Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.
DATEDATE-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.
TACASTACAS-2007-FarzanM #analysis #concurrent #data flow #source code
Causal Dataflow Analysis for Concurrent Programs (AF, PM), pp. 102–116.
DACDAC-2006-HsuRKPB #data flow #graph #performance #simulation
Efficient simulation of critical synchronous dataflow graphs (CJH, SR, MYK, JLP, SSB), pp. 893–898.
DACDAC-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.
ESOPESOP-2006-CooperK #call-by #data flow
Embedding Dynamic Dataflow in a Call-by-Value Language (GHC, SK), pp. 294–308.
SASSAS-2006-DhurjatiDY #analysis #data flow #refinement
Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
SOFTVISSOFTVIS-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.
LDTALDTA-2006-ZengME #data flow #domain-specific language #generative
A Domain-Specific Language for Generating Dataflow Analyzers (JZ, CM, SAE), pp. 103–119.
ASPLOSASPLOS-2006-MercaldiSPPSOE #architecture #data flow #scheduling
Instruction scheduling for a tiled dataflow architecture (MM, SS, AP, AP, AS, MO, SJE), pp. 141–150.
CCCC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability
Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.
CBSECBSE-2005-Rountev #analysis #component #data flow
Component-Level Dataflow Analysis (AR), pp. 82–89.
DACDAC-2005-GeilenBS #data flow #graph #model checking #requirements
Minimising buffer requirements of synchronous dataflow graphs with model checking (MG, TB, SS), pp. 819–824.
PASTEPASTE-2005-HampapuramYD #analysis #data flow #simulation
Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
CEFPCEFP-2005-UustaluV #data flow #programming
The Essence of Dataflow Programming (TU, VV), pp. 135–167.
POPLPOPL-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-FSEESEC-FSE-2005-FischerJM #data flow
Joining dataflow with predicates (JF, RJ, RM), pp. 227–236.
COCVCOCV-J-2005-SalcianuA #analysis #correctness #data flow #proving
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses (AS, KA), pp. 53–68.
WICSAWICSA-2004-NortonF #architecture
Reactive Types for Dataflow-Oriented Software Architectures (BN, MF), pp. 211–220.
ASEASE-2004-MarceauCKR #data flow #debugging
Dataflow Language for Scriptable Debugging (GM, GHC, SK, SPR), pp. 218–227.
DATEDATE-v1-2004-GreenE #data flow #uml
Integrating the Synchronous Dataflow Model with UML (PG, SE), pp. 736–737.
SIGMODSIGMOD-2004-ShahHB #fault tolerance #parallel
Highly-Available, Fault-Tolerant, Parallel Dataflows (MAS, JMH, EAB), pp. 827–838.
DATEDATE-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.
SIGMODSIGMOD-2003-ChandrasekaranCDFHHKMRS #data flow #named
TelegraphCQ: Continuous Dataflow Processing (SC, OC, AD, MJF, JMH, WH, SK, SM, FR, MAS), p. 668.
FASEFASE-2003-JinELJ #analysis #composition #data flow #network #process
Modular Analysis of Dataflow Process Networks (YJ, RE, CL, JWJ), pp. 184–199.
SASSAS-2003-RepsSJ #analysis #automaton #data flow #interprocedural
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis (TWR, SS, SJ), pp. 189–213.
DACDAC-2002-OhH #data flow #graph #multi #performance #synthesis
Efficient code synthesis from extended dataflow graphs for multimedia applications (HO, SH), pp. 275–280.
SASSAS-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.
SASSAS-2002-Ruf #analysis #data flow #precise
Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.
POPLPOPL-2002-LernerGC #analysis #data flow
Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.
LCTESLCTES-SCOPES-2002-OhH #data flow #multi #performance #synthesis
Fractional rate dataflow model and efficient code synthesis for multimedia applications (HO, SH), pp. 12–17.
PASTEPASTE-2001-BallR #data flow #interprocedural #named
Bebop: a path-sensitive interprocedural dataflow engine (TB, SKR), pp. 97–103.
DACDAC-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.
DATEDATE-2000-MurthyB #data flow #implementation #memory management #specification
Shared Memory Implementations of Synchronous Dataflow Specifications (PKM, SSB), pp. 404–410.
POPLPOPL-2000-MuthD #analysis #complexity #data flow #on the
On the Complexity of Flow-Sensitive Dataflow Analyses (RM, SKD), pp. 67–80.
CAiSECAiSE-1999-Wietek #data analysis #modelling #multi #visual notation
Modelling Multidimensional Data in a Dataflow-Based Visual Data Analysis Environment (FW), pp. 149–163.
TOOLSTOOLS-EUROPE-1999-Telea #data flow #modelling #object-oriented #simulation
Combining Object Orientation and Dataflow Modelling in the Vission Simulation System (ACT), pp. 56–65.
SASSAS-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.
AdaSIGAda-1998-James #ada #data flow #distributed #evolution #using
The Evolution of a Distributed dataflow Processing Model Using Ada (SJ), pp. 39–44.
PLDIPLDI-1997-Goodwin #analysis #data flow #execution #interprocedural
Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
ICFPICFP-1997-Wailly #data flow #functional #named #parallel
λ-Flow: A Parallel Functional Synchronous Dataflow Language (GdW), p. 322.
POPLPOPL-1997-Ruf #analysis #clustering #data flow #using
Partitioning Dataflow Analyses Using Types (ER), pp. 15–26.
ESOPESOP-1996-Stolen #data flow #network
Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness (KS), pp. 356–372.
ICALPICALP-1996-Raymond #data flow #network #regular expression
Recognizing Regular Expressions by Means of Dataflow Networks (PR), pp. 336–347.
SACSAC-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.
PEPMPEPM-1995-Jensen #analysis #data flow #source code
Clock Analysis of Synchronous Dataflow Programs (TPJ), pp. 156–167.
SASSAS-1995-NordinLM #data flow #named #prolog
IGOR: A Tool for Developing Prolog Dataflow Analyzers (MN, TL, HM), pp. 420–421.
PPDPPLILP-1995-ColussiMM #constraints #data flow #logic programming #semantics #source code
A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.
POPLPOPL-1995-RepsHS #analysis #data flow #graph #interprocedural #precise #reachability
Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.
FSEFSE-1995-HorwitzRS #analysis #data flow #interprocedural
Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.
PPoPPPPoPP-1995-CollardBF #analysis #array #data flow #fuzzy
Fuzzy Array Dataflow Analysis (JFC, DB, PF), pp. 92–101.
AdaTRI-Ada-1994-Thornley #ada #data flow #parallel #programming
Integrating Parallel Dataflow Programming with the Ada Tasking Model (JT), pp. 417–428.
SACSAC-1994-RondogiannisW #data flow #hardware #higher-order #implementation
Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.
ICSEICSE-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.
ICLPICLP-1994-Kagedal #analysis #data flow #prolog
A Dataflow Analysis Method for Ground Prolog (AK), p. 746.
FPCAFPCA-1993-Ang #data flow #implementation #performance
Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.
FPCAFPCA-1993-RohNB #clustering #data flow #evaluation #generative
Generation and Quantitative Evaluation of Dataflow Clusters (LR, WAN, APWB), pp. 159–168.
HCIHCI-SHI-1993-LauesenH #data flow #design #modelling
Dialogue Design Through Modified Dataflow and Data Modelling (SL, MBH), pp. 220–225.
ICSEICSE-1993-HamletGN #array #data flow #testing
Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.
PLDIPLDI-1992-TanL #analysis #compilation #data flow #logic programming #source code
Compiling Dataflow Analysis of Logic Programs (JT, IPL), pp. 106–115.
ICALPICALP-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.
LICSLICS-1992-Stark #calculus #data flow #network
A Calculus of Dataflow Networks (Extended Abstract) (EWS), pp. 125–136.
FPCAFPCA-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.
DACDAC-1990-ScheichenzuberGLM #behaviour #data flow #hardware #synthesis
Global Hardware Synthesis from Behavioral Dataflow Descriptions (JS, WG, UL, SM), pp. 456–461.
ICALPICALP-1990-PanangadenSS #data flow #network
Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.
ICLPNACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
VLDBVLDB-1989-Muralikrishna #algorithm #data flow #optimisation #query
Optimization and Dataflow Algorithms for Nested Tree Queries (MM), pp. 77–85.
POPLPOPL-1989-Jonsson #data flow #network
A Fully Abstract Trace Model for Dataflow Networks (BJ), pp. 155–165.
SIGMODSIGMOD-1988-AlexanderC #data flow #data-driven #distributed #process
Process And Dataflow Control In Distributed Data-Intensive Systems (WA, GPC), pp. 90–98.
ESOPESOP-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.
POPLPOPL-1988-Debray #analysis #data flow #logic programming #performance #source code
Efficient Dataflow Analysis of Logic Programs (SKD), pp. 260–273.
ICLPJICSCP-1988-Wu88 #data flow
An Extended Dataflow Model of FGHC (HW), pp. 1272–1276.
FPCAFPCA-1987-RuggieroS #data flow #parallel
Control of parallelism in the Manchester Dataflow Machine (CAR, JS), pp. 1–15.
VLDBVLDB-1986-DeWittGGHKM #data flow #database #named #performance
GAMMA — A High Performance Dataflow Database Machine (DJD, RHG, GG, MLH, KBK, MM), pp. 228–237.
LISPLFP-1986-SarkarH #clustering #parallel #source code
Partitioning Parallel Programs for Macro-Dataflow (VS, JLH), pp. 202–211.
LICSLICS-1986-JonssonMW #data flow #deduction #network #synthesis #towards
Towards Deductive Synthesis of Dataflow Networks (BJ, ZM, RJW), pp. 26–37.
ICSEICSE-1984-DeMarcoS #data flow #modula #named
SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.
ICLPSLP-1984-BroughE84 #data flow #logic #programming
Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.
POPLPOPL-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.
ICALPICALP-1982-Faustini #data flow #semantics
An Operational Semantics for Pure Dataflow (AAF), pp. 212–224.
SOSPSOSP-1977-ArvindGP #data flow #monitoring
Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.