Search results for "dataflow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Toshiaki Yasue, Yoichi Muraoka	A compiling technique for dataflow machines - new algorithm for optimum translation from control flow graph into dataflow graph.	Syst. Comput. Jpn.	1996	DBLP DOI BibTeX RDF
23	Arvind, Stephen Brobst	The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC.	Int. J. High Speed Comput.	1993	DBLP DOI BibTeX RDF
23	Stephen M. Nemecek	An anomaly found during the implementation of a 2-dimensional dataflow editor for constructing dataflow graphs in NAKL: not another keypunch language.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
23	Xubo Fei, Shiyong Lu, Cui Lin	A MapReduce-Enabled Scientific Workflow Composition Framework.	ICWS	2009	DBLP DOI BibTeX RDF
23	Bart D. Theelen	A Performance Analysis Tool for Scenario-Aware Streaming Applications.	QEST	2007	DBLP DOI BibTeX RDF
23	Pan Yu, Tulika Mitra	Disjoint Pattern Enumeration for Custom Instructions Identification.	FPL	2007	DBLP DOI BibTeX RDF
23	Shigeru Kusakabe, Satoshi Yamada, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	OS Mechanism for Continuation-based Fine-grained Threads on Dedicated and Commodity Processors.	IPDPS	2007	DBLP DOI BibTeX RDF
23	Kyle Rupnow, Keith D. Underwood, Katherine Compton	Scientific Application Acceleration with Reconfigurable Functional Units.	FCCM	2007	DBLP DOI BibTeX RDF
23	Erika Rice Scherpelz, Sorin Lerner, Craig Chambers	Automatic inference of optimizer flow functions from semantic meanings.	PLDI	2007	DBLP DOI BibTeX RDF
23	Kyle Rupnow, Arun Rodrigues, Keith D. Underwood, Katherine Compton	Scientific applications vs. SPEC-FP: a comparison of program behavior.	ICS	2006	DBLP DOI BibTeX RDF
23	Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya	Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition.	SCOPES	2004	DBLP DOI BibTeX RDF
23	Byeong-Mo Chang, Jong-Deok Choi	Thread-Sensitive Points-to Analysis for Multithreaded Java Programs.	ISCIS	2004	DBLP DOI BibTeX RDF
23	Ken Brodlie, David A. Duce, Julian R. Gallop, Musbah Shahop Sagar, Jeremy Walton, Jason D. Wood	Visualization in Grid Computing Environments.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	visualization reference models, XML, grid computing, visualization systems, computational steering
23	Ming-Yung Ko, Shuvra S. Bhattacharyya	Partitioning for DSP Software Synthesis.	SCOPES	2003	DBLP DOI BibTeX RDF
23	Vijayshankar Raman, Joseph M. Hellerstein	Partial results for online query processing.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
23	Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState-an internal design representation for codesign.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
23	Praveen K. Murthy, Shuvra S. Bhattacharyya	Shared buffer implementations of signal processing systems usinglifetime analysis techniques.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
23	Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState - an internal design representation for codesign.	ICCAD	1999	DBLP DOI BibTeX RDF
23	Florence Maraninchi, Yann Rémond	Mode-Automata: About Modes and States for Reactive Systems.	ESOP	1998	DBLP DOI BibTeX RDF
23	Uwe Tangen, Ludger Schulte, John S. McCaskill	A parallel hardware evolvable computer POLYP.	FCCM	1997	DBLP DOI BibTeX RDF
23	Jiang Zhu, Ted G. Lewis, Weldon Jackson, Russel L. Wilson	Scheduling in Hard Real-Time Applications.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
23	Mary Jean Harrold, Loren Larsen, John Lloyd, David Nedved, Melanie Page, Gregg Rothermel, Manvinder Singh, Michael Smith 0023	Aristotle: a system for development of program analysis based tools.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
23	Taewhan Kim, Noritake Yonezawa, Jane W.-S. Liu, C. L. Liu 0001	A scheduling algorithm for conditional resource sharing-a hierarchical reduction approach.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
23	Goetz Graefe	Encapsulation of Parallelism in the Volcano Query Processing System.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
23	Guang R. Gao, Herbert H. J. Hum, Yue-Bong Wong	Towards efficient fine-grain software pipelining.	ICS	1990	DBLP DOI BibTeX RDF
23	Samson Abramsky	A Generalized Kahn Principle for Abstract Asynchronous Networks.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
23	Roger Eggen, John R. Metzner	Development of a parallel algorithmic language (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
20	Peng Li, Kunal Agrawal, Jeremy Buhler, Roger D. Chamberlain	Deadlock avoidance for streaming computations with filtering.	SPAA	2010	DBLP DOI BibTeX RDF	architecturally diverse platforms, dataflow, data filtering
20	Atsutomo Kobayashi, Buntarou Shizuki, Jiro Tanaka	ImproV: A System for Improvisational Construction of Video Processing Flow.	HCI (4)	2009	DBLP DOI BibTeX RDF	visual music, visual performance, visual jockey, VJ, video authoring, video compositing, visual programming, dataflow, improvisation, live performance
20	Nicholas Lowell	Model-based software design tools for the cell processor.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	run-time kernel, system dataflow modeling, code generation, automatic target recognition, cell processor
20	Lorenzo De Carli, Yi Pan, Amit Kumar 0007, Cristian Estan, Karthikeyan Sankaralingam	PLUG: flexible lookup modules for rapid deployment of new protocols in high-speed routers.	SIGCOMM	2009	DBLP DOI BibTeX RDF	high-speed routers, flexibility, dataflow, forwarding, lookup, tiled architectures
20	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
20	Jacob Sorensen, Scott B. Baden	Hiding Communication Latency with Non-SPMD, Graph-Based Execution.	ICCS (1)	2009	DBLP DOI BibTeX RDF	non-SPMD, coarse grain dataflow, parallel programming, latency tolerance
20	Jin Hwan Park, H. K. Dai 0001	Reconfigurable hardware solution to parallel prefix computation.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Parallel prefix computation, Field-programmable gate arrays, Pipeline, Dataflow, Reconfigurable hardware
20	Ming-Yung Ko, Chung-Ching Shen, Shuvra S. Bhattacharyya	Memory-constrained Block Processing for DSP Software Optimization.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	block processing, block diagram compiler, activation overhead, embedded systems, memory management, vectorization, dataflow, context switch
20	Andreas Gal, Christian W. Probst, Michael Franz	Java bytecode verification via static single assignment form.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java bytecode verification, dataflow analysis, static single assignment form
20	Ando Saabas, Tarmo Uustalu	Proof optimization for partial redundancy elimination.	PEPM	2008	DBLP DOI BibTeX RDF	program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination
20	Augusto Celentano, Andrea Minuto	Gestures, Shapes and Multitouch Interaction.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Visual Dataflow Programming, Shape recognition, Natural interaction, FTIR, Gesture tracking
20	Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit	Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	variable rate dataflow, buffer capacity computation
20	Benjamin Tissoires, Stéphane Conversy	Graphic Rendering Considered as a Compilation Chain.	DSV-IS	2008	DBLP DOI BibTeX RDF	compiler, computer graphics, modularity, dataflow, interactive software
20	Vineet Kahlon, Aarti Gupta	On the analysis of interacting pushdown systems.	POPL	2007	DBLP DOI BibTeX RDF	model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems
20	Yuan Lin 0002, Manjunath Kudlur, Scott A. Mahlke, Trevor N. Mudge	Hierarchical coarse-grained stream compilation for software defined radio.	CASES	2007	DBLP DOI BibTeX RDF	MPSoC compilation, dataflow programming model, software defined radio, modulo scheduling
20	Glynn Winskel	Symmetry and Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF	higher order processes, nondeterministic dataflow, higher dimensional automata, Petri nets, symmetry, unfolding, Event structures, spans, pseudo monads
20	Lixia Liu, Xiao-Feng Li, Michael K. Chen, Roy Dz-Ching Ju	A Throughput-Driven Task Creation and Mapping for Network Processors.	HiPEAC	2007	DBLP DOI BibTeX RDF	Intel IXP, Task Creation and Mapping, Throughput, Network Processors, Dataflow Programming
20	Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly	Dryad: distributed data-parallel programs from sequential building blocks.	EuroSys	2007	DBLP DOI BibTeX RDF	concurrency, cluster computing, distributed programming, dataflow
20	Dirk Stichling, Natascha Esau, Bernd Kleinjohann, Lisa Kleinjohann	Real-Time Camera Tracking for Mobile Devices: The VisiTrack System.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	camera tracking, synchronous dataflow graphs, computer vision, real-time, augmented reality, robotics, SDF
20	Seung Chan Slim Lim, Peter Lucas 0002	JDA: a step towards large-scale reuse on the web.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	black box reuse, information devices architecture, rich web application, composition, web engineering, JavaScript, dataflow architecture
20	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating stack overflow by abstract interpretation.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
20	Arnab Roy 0001, Subrat Kumar Panda, Rajeev Kumar 0004, P. P. Chakrabarti 0001	A framework for systematic validation and debugging of pipeline simulators.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Simulation-based verification, dataflow equivalence, pipeline validation, design space exploration, instruction scheduling, pipelined architectures
20	Snehal Thakkar, José Luis Ambite, Craig A. Knoblock	Composing, optimizing, and executing plans for bioinformatics web services.	VLDB J.	2005	DBLP DOI BibTeX RDF	Dataflow-style streaming execution, Data integration, Bioinformatics, Query optimization, Web service composition
20	Janis Sermulins, William Thies, Rodric M. Rabbah, Saman P. Amarasinghe	Cache aware optimization of stream programs.	LCTES	2005	DBLP DOI BibTeX RDF	cache, embedded, fusion, cache optimizations, synchronous dataflow, stream programing, StreamIt
20	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	2005	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
20	Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica	Implementing declarative overlays.	SOSP	2005	DBLP DOI BibTeX RDF	dataflow engines, declarative overlays, executable pseudocode
20	Neal K. Bambha, Shuvra S. Bhattacharyya	Communication strategies for shared-bus embedded multiprocessors.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, dataflow, interprocessor communication
20	Louis Bavoil, Steven P. Callahan, Carlos Eduardo Scheidegger, Huy T. Vo, Patricia Crossno, Cláudio T. Silva, Juliana Freire	VisTrails: Enabling Interactive Multiple-View Visualizations.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	interrogative visualization, caching, dataflow, coordinated views
20	João M. P. Cardoso	Dynamic loop pipelining in data-driven architectures.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	compilation, reconfigurable computing, software pipelining, dataflow, data-driven architectures
20	William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe	Teleport messaging for distributed stream programs.	PPoPP	2005	DBLP DOI BibTeX RDF	embedded, digital signal processing, dependence analysis, synchronous dataflow, StreamIt, event handling
20	Westley Weimer, George C. Necula	Finding and preventing run-time error handling mistakes.	OOPSLA	2004	DBLP DOI BibTeX RDF	destructors, try-finally, dataflow, exceptions, finalizers
20	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
20	Stephen A. Edwards	Tutorial: Compiling concurrent languages for sequential processors.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	communication, Petri nets, Compilation, concurrency, code generation, partial evaluation, dataflow, Verilog, Esterel, sequential, Lustre, discrete-event
20	Xavier Leroy	Java Bytecode Verification: Algorithms and Formalizations.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
20	Gerwin Klein, Martin Wildmoser	Verified Bytecode Subroutines.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification
20	Sukhamay Kundu	The concept of path-closed subsets and its use in software functional design.	APSEC	2000	DBLP DOI BibTeX RDF	path-closed subsets, software functional design, software engineering, data structures, data structures, data flow analysis, diagrams, partial order, functional decomposition, equivalence relation, function blocks, dataflow diagram
20	Alexandre R. J. François, Gérard G. Medioni	A modular middleware flow scheduling framework (poster session).	ACM Multimedia	2000	DBLP DOI BibTeX RDF	multimedia middleware, synchronization, dataflow programming
20	Mukul Khandelia, Shuvra S. Bhattacharyya	Contention-Conscious Transaction Ordering in Embedded Multiprocessors.	ASAP	2000	DBLP DOI BibTeX RDF	self-timed scheduling, multiprocessor synchronization, interprocessor communication, dataflow programming, embedded multiprocessors
20	Parimala Thulasiraman, Kevin B. Theobald, Ashfaq A. Khokhar, Guang R. Gao	Multithreaded algorithms for the fast Fourier transform.	SPAA	2000	DBLP DOI BibTeX RDF	parallel algorithms, multithreading, fine-grained, dataflow architecture, non-preemptive
20	John Morris	Performance of Fault Tolerant Networks of Workstations.	ISPAN	1999	DBLP DOI BibTeX RDF	Fault Tolerance, Networks of Workstations, Dataflow
20	Min-You Wu, Wei Shu	On Parallelization of Static Scheduling Algorithms.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	parallel scheduling algorithm, macro dataflow graph, modified critical-path algorithm, Static scheduling
20	Clifford Beshers, Steven Feiner	Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	multivariate data visualization, program transformation, virtual worlds, partial evaluation, dataflow
20	Frédéric Rousseau 0001, J. M. Bergé, Michel Israël	Hardware/Software Partitioning for Telecommunications Systems.	COMPSAC	1996	DBLP DOI BibTeX RDF	echo suppression, dataflow systems, list scheduling algorithm, force calculation, acoustic echo canceller, scheduling, real-time systems, embedded systems, resource allocation, resource allocation, system design, logic design, systems analysis, directed graphs, directed graphs, telecommunication, task scheduling, assignment, precedence constraints, telecommunication computing, hardware software partitioning, telecommunications systems
20	William O'Connell, Grace Au, David Schrader	Multimodal query support in database servers.	ICCD	1996	DBLP DOI BibTeX RDF	query support, multiple data types, parallel multimedia engine, Actors parallel programming model, agent migration, agent cloning, data streaming, multimedia systems, agent model, dataflow graphs, query execution, database servers, user-defined functions
20	Shuvra S. Bhattacharyya, Sundararajan Sriram, Edward A. Lee	Latency-constrained Resynchronization for Multiprocessor DSP Implementation.	ASAP	1996	DBLP DOI BibTeX RDF	static multi-processor schedules, iterative dataflow programs, self-timed execution, latency, synchronization overhead
20	Ishfaq Ahmad, Yu-Kwong Kwok, Min-You Wu	Analysis, evaluation, and comparison of algorithms for scheduling task graphs on parallel processors.	ISPAN	1996	DBLP DOI BibTeX RDF	edge-weighted directed acyclic graph, bounded number of processors scheduling, arbitrary processor network, scheduling, scheduling, parallel programming, processor scheduling, data flow graphs, task graphs, parallel processors, dataflow graph
20	Abdul Waheed, Vincent F. Melfi, Diane T. Rover	A model for instrumentation system management in concurrent computer systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
20	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn	From a formal dynamic semantics of Sisal to a Sisal environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
20	Siamak Arya, Howard Sachs, Sreeram Duvvuru	An architecture for high instruction level parallelism.	HICSS (1)	1995	DBLP DOI BibTeX RDF	high instruction level parallelism, sequential order, code execution, dataflow problems, condition bits, nonblocking cache, Software Scheduled SuperScalar, parallel programming, compiler, parallel architectures, parallel architecture, pipelining, program compilers, data flow analysis, software pipelining, pipeline processing, data flow, processor architecture, speculative execution, control flow, hardware support, program control structures, branches, registers, functional units, multiple instructions, conditional execution
20	Chuck Monahan, Forrest Brewer	Symbolic execution of data paths.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	combinational switching, data-path model, path constraints, bus hazards, register constraints, control encoding limitations, path-constrained model, DSP microprocessor, switching logic, connection constraints, operand constraints, scheduling, Boolean functions, Boolean functions, logic design, combinational circuits, data flow analysis, processor scheduling, symbolic execution, data flow graphs, digital signal processing chips, constraint handling, combinational logic, dataflow graphs, hazards and race conditions, memory elements
20	Raimo Rask, Petteri Laamanen, Kalle Lyytinen	Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification level metrics, function bang metrics, automatically generated randomized dataflow diagrams, built CASE environment, statistical correlation, software development, software tools, software metrics, software cost estimation, software cost estimation, simulation study, function points, system specifications, statistical sample, software size estimates, DFDs
20	Robert E. Strom, Daniel M. Yellin	Extending Typestate Checking Using Conditional Liveness Analysis.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	typestate checking, conditional liveness analysis, uninitialized variable errors, dataflow analysis algorithm, statically tracked information, program verification, program verification, programming errors
20	Andreas L. Opdahl, Guttorm Sindre	Concepts for Real-World Modelling	CAiSE	1993	DBLP DOI BibTeX RDF	real-world modelling, problem analysis, object-orientation, conceptual modelling, dataflow diagrams
20	Evan Tick	Monaco: A High-Performance Flat Concurrent Logic Programming System.	PARLE	1993	DBLP DOI BibTeX RDF	compilation, dataflow analysis, concurrent logic programming
20	Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel	Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	data-flow language LUSTRE, synchronous data-flow language, critical real-time systems, ergonomy, dataflow approach, traditional description tools, verification tool LESAR, critical properties, real-time systems, parallel programming, program verification, program verification, parallel languages, verification methods, formal design
20	Robert B. France	Semantically Extended Data Flow Diagrams: A Formal Specification Tool.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	formal specification tool, semantic decompositions, formal specification, systems analysis, diagrams, data transforms, semantic properties, dataflow diagram, application functionality
20	L. Beth Protsko, Paul G. Sorenson, J. Paul Tremblay, Douglas A. Schaefer	Towards the Automatic Generation of Software Diagrams.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software diagrams, MONDRIAN, metasystem, software objects, location constraints, programming, routing algorithms, diagrams, computer-aided software engineering, drawing, graphical representation, automatic generation, flowcharting, placement algorithms, layout algorithms, dataflow diagrams, CASE environments
20	Ikuo Nakata, Masataka Sassa	Programming with Streams in a Pascal-Like Language.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages
20	Zhiwei Xu, Kai Hwang 0001	Molecule: A Language Construct for Layered Development of Parallel Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	layered development, molecule type, computation mode, layered software development, iPSC, application flexibility, algorithms, parallel programs, parallel programming, parallel computers, pipelining, multicomputer, dataflow, high-level languages, multiprocessing, sequential, array processing, user friendliness, language construct, procedural language, PAL
20	Lee D. Erman, Jay S. Lark, Frederick Hayes-Roth	ABE: An Environment for Engineering Intelligent Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multilevel architecture, module-oriented programming, cooperative operating system, knowledge processing tools, skeletal systems, virtual machine, virtual machines, software tools, programming environments, programming environments, intelligent systems, knowledge engineering, knowledge engineering, software reusability, software reusability, operating systems (computers), dataflow, control flow, blackboards, ABE, large-scale applications
20	Prakash Panangaden	Abstract Interpretation and Indeterminacy.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF	indeterminate operators, hiatons, dataflow networks, fairness, abstract interpretation
19	Michelle L. Goodstein, Evangelos Vlachos, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry	Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring.	ASPLOS	2010	DBLP DOI BibTeX RDF	dynamic program monitoring, parallel programming, static analysis, data flow analysis
19	Daniel Zinn, Shawn Bowers, Timothy M. McPhillips, Bertram Ludäscher	X-CSR: Dataflow Optimization for Distributed XML Process Pipelines.	ICDE	2009	DBLP DOI BibTeX RDF
19	Melinda T. Gervasio, Janet L. Murdock	What were you thinking?: filling in missing dataflow through inference in learning from demonstration.	IUI	2009	DBLP DOI BibTeX RDF	knowledge-base inference, task learning, end-user programming, programming by demonstration, programming by example
19	Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer	Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.	FoSSaCS	2009	DBLP DOI BibTeX RDF
19	Songtao Xia, Manuel Fähndrich, Francesco Logozzo	Inferring Dataflow Properties of User Defined Table Processors.	SAS	2009	DBLP DOI BibTeX RDF
19	C. van Reeuwijk	Maestro: a self-organizing peer-to-peer dataflow framework using reinforcement learning.	HPDC	2009	DBLP DOI BibTeX RDF	peer to peer, reinforcement learning, self organizing
19	Suriya Subramanian, Kathryn S. McKinley	HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic.	HiPEAC	2009	DBLP DOI BibTeX RDF
19	Sander Stuijk, Marc Geilen, Twan Basten	Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
19	John Plaice, Blanca Mancilla, Gabriel Ditu	From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	multidimensional programming, Lucid programming language, Declarative programming
19	Ayon Basumallik, Rudolf Eigenmann	Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis.	IWOMP	2008	DBLP DOI BibTeX RDF
19	Jörn W. Janneck, Ian D. Miller, David B. Parlour, Ghislain Roquier, Matthieu Wipliez, Mickaël Raulet	Synthesizing hardware from dataflow programs: An MPEG-4 simple profile decoder case study.	SiPS	2008	DBLP DOI BibTeX RDF
19	Mircea Trifu	Using Dataflow Information for Concern Identification in Object-Oriented Software Systems.	CSMR	2008	DBLP DOI BibTeX RDF