Search results for "data flow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Lori L. Pollock, Mary Lou Soffa	An Incremental Version of Iterative Data Flow Analysis.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	union data flow problems, incremental version, iterative data flow analysis, intersection data-flow problems, program edits, data-flow information, data-flow sets, two-phase approach, data-flow sets, local code changes, parallel programming, systems analysis, iterative methods, set theory, iterative approach
6	P. Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete	Cyclo-Dynamic Dataflow.	PDP	1996	DBLP DOI BibTeX RDF	cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools
6	Robert Kramer, Rajiv Gupta, Mary Lou Soffa	The Combining DAG: A Technique for Parallel Data Flow Analysis.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	parallel data flow analysis, sequential data flow algorithm, parallel data flow algorithms, rapid data flow problems, cyclic structures, combining directed acyclic graph, parallelized sequential algorithm, performance, parallel algorithms, parallel algorithm, parallel processing, parallel programming, software tools, multiprocessors, directed graphs, program compilers, DAG, parallel compilers, control flow graph, sequential algorithm
5	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis
5	Rajiv Gupta, David A. Berson, Jesse Zhixi Fang	Resource-Sensitive Profile-Directed Data Flow Analysis for Code Optimization.	MICRO	1997	DBLP BibTeX RDF	aggressive code motion, data flow algorithms, functional unit resources, instruction reordering, partial dead code elimination, resource-sensitive profile-directed data flow analysis, optimization, data flow analysis, instruction schedulers, code optimization, partial redundancy elimination, resource availability
5	Matthew B. Dwyer, Lori A. Clarke	A Flexible Architecture for Building Data Flow Analyzers.	ICSE	1996	DBLP BibTeX RDF	combined data flow problems, data flow analyzer building, high-level component generators, pre-existing components, rapid prototyping, data flow analysis, software prototyping, precision, program diagnostics, design tradeoffs, flexible architecture
5	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
4	Nanshan Du, Yiwen Liang, Li Zhao	Data-flow skeleton filled with activities driven workflow design.	ICUIMC	2008	DBLP DOI BibTeX RDF	data-flow dependency tree, data-flow skeleton, workflow cooperation and coordination, workflow design
4	Frank Wolz, Reiner Kolla	Disproving the Perfect-Rate Property of Data-Flow Graphs Unfolded by the Least Common Multiple of the Number of Loop Registers.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	data-flow programs, perfect-rate, Data-flow graphs
4	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, safety-critical software, hard real-time systems, safety-critical applications, verification methods
4	John V. Harrison, Anthony Berglas	Data Flow Analysis within the ITOC Information System Design Recovery Tool. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	ITOC information system design recovery tool, contemporary fourth-generation languages, redevelopment, rewriting effort, application structure, static schema definition, design recovery tool, 4GL-based information, data flow analysis, data flow analysis
4	István Forgács	An Exact Array Reference Analysis for Data Flow Testing.	ICSE	1996	DBLP BibTeX RDF	approximate information, definition-use pairs, exact array reference analysis, formulae negation avoidance, precise method, program path execution, program testing, data flow analysis, arrays, program optimization, data flow testing, program parallelization
4	Aziz Can Yuceturk, Bernd Klauer, Stefan Zickenheiner, Ronald Moore, Klaus Waldschmidt	Mapping of Neural Networks onto Data Flow Graphs.	EUROMICRO	1996	DBLP DOI BibTeX RDF	mapping neural networks, neural networks, neural nets, data flow graphs, data flow computers
4	Michael Goedecke, Sorin A. Huss, Kai Morich	Automatic Parallelization of the Visual Data-Flow Language Cantata for Efficient Characterization of Analog Circuit Behavior. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	engineering workstations, Cantata visual data-flow language, analog circuit behavior characterisation, application specific functions, execution time reduction, data-flow scheduler, usable workstations, usable workstation performance, program availability, fully automated process, simulation, computational complexity, load balancing, parallel programming, resource allocation, visual languages, digital simulation, processor scheduling, circuit analysis computing, workloads, automatic parallelization, parallel languages, distributed environment, workstations, analogue circuits, control operators
4	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
4	Jayesh Siddhiwala, Liang-Fang Chao	Scheduling conditional data-flow graphs with resource sharing.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	conditional data-flow graphs, resource sharing algorithm, pipeline scheduling algorithms, loop constructs, condition vector, dynamic resource sharing, rotation scheduling technique, parallel algorithms, data structures, data structure, resource allocation, high level synthesis, high level synthesis, processor scheduling, pipeline processing, data flow graphs, loop pipelining, conditional branches
4	Ken Kennedy, Nenad Nedeljkovic	Combining dependence and data-flow analyses to optimize communication. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	data-flow analyses, regular communication, data-flow analysis method, overlapping communication, performance, compilers, dependence, program compilers, distributed memory systems, parallel languages, communication overhead, communication optimizations, distributed-memory machines, data-parallel languages
4	Rajiv Gupta, Mary Lou Soffa	Priority based data flow testing. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics
4	Yves Le Traon, Chantal Robach	Testability analysis of co-designed systems.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	co-designed data-flow specifications, high level testability analysis, information transfer graph, bipartite directed graph, SATAN tool, computer assisted specification diagram, all-nodes criterion, all-paths criterion, multiple clue strategy, start big strategy, diagnosis quality factor, software components testability, formal specification, fault diagnosis, program testing, data flow analysis, computer aided software engineering, hardware description languages, data flow graphs, testability analysis, automatic test software, functional specification, test set generation, avionics systems, hardware modelling
4	Uday P. Khedker, Dhananjay M. Dhamdhere	A Generalized Theory of Bit Vector Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	bidirectional data flows, data flow frameworks, data flow analysis
4	Elaine J. Weyuker	More Experience with Data Flow Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	Rapps-Weyuker data flow testing criteria, tester variability, cost assessment, data adequacy, software testing, fault detection, program testing, software cost estimation, data flow testing, numerical programs
4	Sukhamoy Som, Roland R. Mielke, John W. Stoughton	Prediction of Performance and Processor Requirements in Real-Time Data Flow Architectures.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	processor requirements, ATAMM, Algorithm to Architecture Mapping Model, multiprocessor operating system, reliableperformance, four-processor architecture, VHSIC 1750A Instruction Set Processor, iterative control, signal processing algorithms, nonpreemptive, dynamicmultiprocessor scheduling, processor requirement prediction, faulttolerant computing, real-timesystems, scheduling, performance, real-time systems, multiprocessing systems, operating systems (computers), periodic, data flow graph, data flow architectures
4	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
4	Yong-Fong Lee, Barbara G. Ryder	A comprehensive approach to parallel data flow analysis.	ICS	1992	DBLP DOI BibTeX RDF	parallel data flow analysis, parallel algorithms, data flow analysis
4	Elaine J. Weyuker	The Cost of Data Flow Testing: An Empirical Study.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	test data adequacy criteria, data-flow information, theoretical complexity analysis, software testing criteria, parallel programming, empirical study, program testing, cost, data flow testing
4	Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil	A Formal Evaluation of Data Flow Path Selection Criteria.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	formal evaluation, data flow path selection criteria, data-flow relationships, subsumption hierarchy, syntactic information, infeasible-path problem, software engineering, flowcharting
3	Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk	Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	single-rate data flow, homogeneous synchronous data flow, buffer minimization, Scheduling, throughput optimization
3	Philippe Grosse, Yves Durand, Paul Feautrier	Methods for power optimization in SOC-based data flow systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	4G base-band modem, data-driven SOC, synchronous data-flow graph, Power optimization
3	Edward Walker, Weijia Xu, Vinoth Chandar	Composing and executing parallel data-flow graphs with shell pipes.	SC-WORKS	2009	DBLP DOI BibTeX RDF	data-flow processing, parallel processing, coordination languages
3	Daniel Yuh Chao	Unfolding of Multirate Data-Flow Graph to Compute Iteration Bound.	ICA3PP	2009	DBLP DOI BibTeX RDF	iteration bound, Petri nets, Data Flow Graph (DFG), Concurrent Processing
3	Lijun Mei, W. K. Chan, T. H. Tse	Data flow testing of service choreography.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	web services, software testing, service composition, orchestration, choreography, data flow testing
3	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on Windows Vista.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
3	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on windows vista.	PLAS	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
3	Aditya V. Thakur, R. Govindarajan	Comprehensive path-sensitive data-flow analysis.	CGO	2008	DBLP DOI BibTeX RDF	destructive merge, split graph, data-flow analysis, precision, restructuring, path-sensitive, code duplication
3	Shashidhar Mysore, Bita Mazloom, Banit Agrawal, Timothy Sherwood	Understanding and visualizing full systems with data flow tomography.	ASPLOS	2008	DBLP DOI BibTeX RDF	data flow tracking, virtual machine, tomography
3	Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik	Data Flow Analysis of UML Action Semantics for Executable Models.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	Data Flow Analysis, Executable modeling, Executable UML, Action Semantics
3	Sebastian Fischer, Herbert Kuchen	Data-flow testing of declarative programs.	ICFP	2008	DBLP DOI BibTeX RDF	data flow, code coverage, curry
3	Peter Bertels, Wim Heirman, Dirk Stroobandt	Efficient measurement of data flow enabling communication-aware parallelisation.	IFMT	2008	DBLP DOI BibTeX RDF	profiling, data-flow
3	James J. Hunt, Isabel Tonin, Fridtjof Siebert	Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	realtime Java, verification, data flow analysis, worst case execution time, formal analysis
3	Andrew Cain, Tsong Yueh Chen, D. D. Grant, Fei-Ching Kuo, Jean-Guy Schneider	An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis
3	Luis Palomino Ramírez, Miguel L. Bote-Lorenzo, Juan I. Asensio-Pérez, Yannis A. Dimitriadis	LeadFlow4LD: Learning and Data Flow Composition-Based Solution for Learning Design in CSCL.	CRIWG	2008	DBLP DOI BibTeX RDF	Workflow, Data Flow, CSCL, Learning Design, IMS-LD
3	Walter Chang, Brandon Streiff, Calvin Lin	Efficient and extensible security enforcement using dynamic data flow analysis.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	security enforcement, static analysis, dynamic data flow analysis
3	Yogesh Singh, Anju Saha	Enhancing Data Flow Testing of Classes through Design by Contract.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	design by contract, object oriented testing, data flow testing
3	Konstantinos Liaskos, Marc Roper, Murray Wood	Investigating data-flow coverage of classes using evolutionary algorithms.	GECCO	2007	DBLP DOI BibTeX RDF	data-flow coverage, evolutionary algorithms, object-oriented testing, automatic test-case generation
3	Jun Qin, Thomas Fahringer	Advanced data flow support for scientific grid workflow applications.	SC	2007	DBLP DOI BibTeX RDF	data collection, data flow, data distribution, grid workflow
3	Marwan Abi-Antoun, Daniel Wang, Peter Torr	Checking threat modeling data flow diagrams for implementation conformance and security.	ASE	2007	DBLP DOI BibTeX RDF	reflexion models, denial of service, security analysis, threat modeling, data flow diagrams, information disclosure, tampering, spoofing
3	Jose Antonio Boluda, Fernando Pardo	Speeding-Up Differential Motion Detection Algorithms Using a Change-Driven Data Flow Processing Strategy.	CAIP	2007	DBLP DOI BibTeX RDF	Data flow processing, Motion detection
3	Antoine Fillinger, Lukas Diduch, Imad Hamchi, Stéphane Degré, Vincent Stanford	NIST smart data flow system II: speaker localization.	IPSN	2007	DBLP DOI BibTeX RDF	multimodal data transport infrastructure, smart data flow, distributed computing, data streams, smart spaces
3	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
3	Thierry Gautier, Xavier Besseron, Laurent Pigeon	KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors.	PASCO	2007	DBLP DOI BibTeX RDF	cluster, multi-core, data flow, work-stealing, multi-processor
3	Bageshri Karkare, Uday P. Khedker	An improved bound for call strings based interprocedural analysis of bit vector frameworks.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Bit Vector Data Flow Frameworks, Interprocedural Data Flow Analysis
3	Antoine Fillinger, Stéphane Degré, Imad Hamchi, Vincent Stanford	The NIST smart data flow system II multimodal data transport infrastructure.	ICMI	2006	DBLP DOI BibTeX RDF	multimodal data transport infrastructure, smart data flow, distributed computing, data streams, smart spaces
3	Michelle Mills Strout, Barbara Kreaseck, Paul D. Hovland	Data-Flow Analysis for MPI Programs.	ICPP	2006	DBLP DOI BibTeX RDF	MPI-ICFG, MPI, data-flow analysis, SPMD, activity analysis
3	Guangshun Li, Guang-Sheng Ma, Donghai Li	Complex Data Flow Matching Algorithm Based on TDG.	IMSCCS	2006	DBLP DOI BibTeX RDF	Data flow polynomial, modified TDG, Components matching and grouping strategy
3	Davy Genbrugge, Lieven Eeckhout, Koen De Bosschere	Accurate memory data flow modeling in statistical simulation.	ICS	2006	DBLP DOI BibTeX RDF	memory data flow modeling, performance modeling, statistical simulation
3	Bastian Knerr, Martin Holzer 0002, Markus Rupp	Task sheduling for power optimisation of multi frequency synchronous data flow graphs.	SBCCI	2005	DBLP DOI BibTeX RDF	multi frequency systems, power optimisation, synchronous data flow graphs, task scheduling, frequency scaling
3	Philip T. Cox, Simon Gauvin, Andrew Rau-Chaplin	Adding parallelism to visual data flow programs.	SOFTVIS	2005	DBLP DOI BibTeX RDF	parallel, visual language, data flow
3	Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet	Towards a higher-order synchronous data-flow language.	EMSOFT	2004	DBLP DOI BibTeX RDF	Kahn processes, stream functions, synchronous data-flow programming language, functional programming, type system, dynamic reconfiguration
3	Hiren D. Patel, Sandeep K. Shukla	Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	simulation efficiency, synchronous data flow, heterogeneous, SystemC, models of computation, embedded system design
3	Yuting Chen, Shaoying Liu, Fumiko Nagoya	An Approach to Integration Testing Based on Data Flow Specifications.	ICTAC	2004	DBLP DOI BibTeX RDF	SOFL, specification-based testing, test cases generation, data flow diagrams
3	François Charot, Madeleine Nyamsi, Patrice Quinton, Charles Wagner	Modeling and Scheduling Parallel Data Flow Systems using Structured Systems of Recurrence Equations.	ASAP	2004	DBLP DOI BibTeX RDF	multi-rate systems, systems of recurrence equations, data flow systems, 3G mobile telephony, scheduling, FPGA, prototyping, WCDMA
3	Adam Smyk, Marek Tudruj	Program Implementation Based on Macro Data Flow Paradigm with RDMA Communication Support.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Macro Data Flow analysis, Remote DMA, MPI, FDTD
3	Seda Ogrenci Memik, Gokhan Memik, Roozbeh Jafari, Eren Kursun	Global resource sharing for synthesis of control data flow graphs on FPGAs.	DAC	2003	DBLP DOI BibTeX RDF	control data flow graph, FPGA, resource sharing
3	Nguyen Thanh Binh, Michel Delaunay, Chantal Robach	Testability Analysis Applied to Embedded Data-flow Software.	QSIC	2003	DBLP DOI BibTeX RDF	Data-flow Software, Software Measurement, Testability Analysis
3	Kyung-Goo Doh, Seung Cheol Shin	Detection of information leak by data flow analysis.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	static analysis, data flow analysis, secure information flow
3	Fayez Chayab, Lev Kirischian, Lucas Szajek	Architecture-to-Task Optimization System (ATOS) for Parallel Multi-Mode Data-Flow Architectures on a Base of a Partially Reconfigurable Computing Platform.	PARELEC	2002	DBLP DOI BibTeX RDF	data-flow applications, optimization, FPGA, Parallel architecture, DFG, partial reconfiguration, automated synthesis
3	Gleb Naumovich	Using the observer design pattern for implementation of data flow analyses.	PASTE	2002	DBLP DOI BibTeX RDF	algorithm implementation, static analysis, data flow analysis
3	Darren C. Atkinson, William G. Griswold	Implementation Techniques for Efficient Data-Flow Analysis of Large Programs. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	program understanding, program slicing, data-flow analysis
3	Smaranda Muresan, Tudor Muresan, Rodica Potolea	Data Flow Coherence Criteria in ILP Tools. (PDF / PS)	ICTAI	2001	DBLP DOI BibTeX RDF	Data Flow Coherence Criteria, Pruning the Search Space, Inductive Logic Programming, Automatic Program Generation
3	Junjie Gu, Zhiyuan Li	Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	array data-flow analysis, Parallelizing compiler, interprocedural analysis, symbolic analysis
3	Lynn Choi, Pen-Chung Yew	Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	Compiler, shared-memory multiprocessors, data-flow analysis, cache coherence, interprocedural analysis
3	Michel Auguin, Luc Bianco, L. Capella, Emmanuel Gresset	Partitioning Conditional Data Flow Graphs for Embedded System Design.	ASAP	2000	DBLP DOI BibTeX RDF	dynamic data flow, partitioning, System synthesis
3	Bruce A. Draper, Walid A. Najjar, A. P. Wim Böhm, Jeffrey Hammes, Robert Rinker, Charlie Ross, Monica Chawathe, José Bins	Compiling and Optimizing Image Processing Algorithms for FPGAs.	CAMP	2000	DBLP DOI BibTeX RDF	SA-C, language features, SA-C algorithms, performance numbers, image processing routines, Annapolis Microsystems WildForce board, Xilinx 4036XL FPGAs, FPGAs, VHDL, optimizing compiler, high-level language, data flow graphs, data flow graphs, image processing algorithms
3	Mahmut T. Kandemir, Prithviraj Banerjee, Alok N. Choudhary, J. Ramanujam, U. Nagaraj Shenoy	A global communication optimization technique based on data-flow analysis and linear algebra.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	message vectorization, parallelism, global optimizations, data-flow analysis, communication optimizations, distributed-memory machines
3	Nikola Bogunovic	A Programming Model for Composing Data-Flow Collaborative Applications.	ECBS	1999	DBLP DOI BibTeX RDF	distributed systems, visual programming, data-flow computing
3	S. Varada, V. Oduol, A. Shelat	Data Flow and Buffer Management in Multi-Channel Data Link Controller. (PDF / PS)	LCN	1999	DBLP DOI BibTeX RDF	TDM networks, Data flow management, ASIC, Buffer management
3	Donglin Liang, Mary Jean Harrold	Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers.	PASTE	1999	DBLP DOI BibTeX RDF	data-flow analysis, alias analysis
3	Jens Knoop	Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
3	James B. Fenwick Jr., Lori L. Pollock	Data Flow Analysis across Tuplespace Process Boundaries. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	explicity parallelism, distributed shared memory, data flow analysis, tuplespace
3	Pu-Lin Yeh, Jin-Cherng Lin	Software Testability Measurements Derived from Data Flow Analysis.	CSMR	1998	DBLP DOI BibTeX RDF	software testability, software testing, software measurement, data flow, testing criteria
3	Liang-Fang Chao, Edwin Hsing-Mean Sha	Scheduling Data-Flow Graphs via Retiming and Unfolding.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	scheduling, parallel processing, retiming, unfolding, Data-flow graphs, loop parallelization
3	Thomas Fahringer, Eduard Mehofer	Buffer-Safe Communication Optimization Based on Data Flow Analysis and Performance Prediction.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Communication, Performance Prediction, Data Flow Analysis, Communication Optimization
3	Gab Joong Jeong, Kyoung Hwan Kwon, Moon Key Lee, Seung Han An	A Scalable Memory System Design.	VLSI Design	1997	DBLP DOI BibTeX RDF	scalable memory system, pipeline technique, systolic data flow, sub-memory blocks, partial binary tree structure, multidirectional data flow, chip size, 4 kbit, 0.8 micron, 5.1 ns, 3.5 mm, throughput, latency, memory architecture, memory architecture, CMOS technology, communication channel, access time, operating speed, clock speed
3	Michael Doorley, Anthony Cahill	Experiences in Automatic Leveling of Data Flow Diagrams. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	diagram layout, structural abstraction, cohesion, readability, Data Flow Diagram, architectural views, levelling, redocumentation
3	B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini	Reachability and Timing Analysis in Data Flow Networks: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	data flow networks, computer control systems, performance, safety, timing analysis, reachability analysis, reachability analysis
3	Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski	Region Analysis: A Parallel Elimination Method for Data Flow Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	elimination algorithms, parallel algorithms, Data flow analysis, program optimization, interval analysis
3	Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder	Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	lattice frameworks, data flow analysis
3	Tsong Yueh Chen, Chi Keen Low	Dynamic Data Flow Analysis for C++.	APSEC	1995	DBLP DOI BibTeX RDF	Software testing, object oriented programming, C++, dynamic data flow analysis
3	Greg Abram, Lloyd Treinish	An Extended Data-Flow Architecture for Data Analysis and Visualization.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	visual programming, data-flow, visualization systems, graph analysis
3	Siamak Arya, Howard Sachs, Sreeram Duvvuru	An architecture for high instruction level parallelism.	HICSS	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, branches, program control structures, registers, functional units, multiple instructions, conditional execution
3	Ivan P. Radivojevic, Forrest Brewer	Analysis of conditional resource sharing using a guard-based control representation. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	conditional resource sharing, guard-based control representation, hardware resources optimisation, conditional data-flow graph behavior, cyclic loops, maximization of throughput, high level synthesis, high level synthesis, systems analysis, software pipelined, data flow graphs
3	István Forgács	Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	double iterative frameworks, data flow analysis
3	Wouter B. Teeuw, Henk M. Blanken	Control Versus Data Flow in Parallel Database Machines.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	parallel database machines, control messages, database system performance, local areanetworks, message management, parallel query execution, query processing, distributed databases, distributed databases, data flow, control flow, database queries, query execution, parallelmachines
3	Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs	Data-Flow Synchronous Languages.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	synchrony vs. asynchrony, real-time, concurrency, data-flow, reactive
3	Mario Südholt, Christoph Steigner	On Interprocedural Data Flow Analysis for Object Oriented Languages.	CC	1992	DBLP DOI BibTeX RDF	class scope, Object oriented language, interprocedural data flow analysis, virtual function
3	Barbara G. Ryder, William Landi, Hemant D. Pande	Profiling an Incremental Data Flow Analysis Algorithm.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	incremental data flow analysis algorithm, empirical profiling, parallel programming, program testing, evolving software systems
3	Michael G. Burke, Barbara G. Ryder	A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
3	Jean-Luc Gaudiot, Andrew Sohn	Data-Driven Parallel Production Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	parallel production systems, data-flow principles, high programmability, data-driven principles, RETE match algorithm, actor set, program graph design, tagged data-flow computer, deterministic simulation, artificial intelligence production systems, parallel programming, parallel architectures, expert systems, symbolic computations, symbol manipulation, multiprocessor architecture, numerical computations, multiprocessor environment, data-driven architectures
3	Mike Adler	An Algebra for Data Flow Diagram Process Decomposition.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	data flow diagram process decomposition, De Marco representation scheme, input/output connectivity matrix, software engineering, software engineering, program verification, directed graphs, directed acyclic graph, grammar, programming theory, top-down method
3	Phyllis G. Frankl, Elaine J. Weyuker	An Applicable Family of Data Flow Testing Criteria.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	definition-use associations, software reliability, program testing, program testing, Pascal, data flow testing, ASSET, adequacy criteria