The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Data flow analysis (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1977 (20) 1978-1980 (17) 1981-1983 (18) 1984-1986 (18) 1987-1988 (19) 1989-1990 (25) 1991-1992 (22) 1993 (17) 1994 (25) 1995 (27) 1996 (25) 1997 (28) 1998 (35) 1999 (34) 2000 (23) 2001 (18) 2002 (26) 2003 (19) 2004 (19) 2005 (15) 2006 (33) 2007 (24) 2008 (31) 2009 (19) 2010-2012 (22) 2013-2014 (18) 2015-2016 (19) 2017-2018 (16) 2019 (6)
Publication types (Num. hits)
article(181) book(1) incollection(3) inproceedings(448) phdthesis(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 933 occurrences of 479 keywords

Results
Found 638 publication records. Showing 638 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
73Mary Lou Soffa Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
56Robert Kramer, Rajiv Gupta 0001, Mary Lou Soffa The Combining DAG: A Technique for Parallel Data Flow Analysis. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 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
52Aditya V. Thakur, R. Govindarajan Comprehensive path-sensitive data-flow analysis. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF destructive merge, split graph, data-flow analysis, precision, restructuring, path-sensitive, code duplication
50Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 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
48Gleb Naumovich Using the observer design pattern for implementation of data flow analyses. Search on Bibsonomy PASTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF algorithm implementation, static analysis, data flow analysis
47Uday P. Khedker, Dhananjay M. Dhamdhere A Generalized Theory of Bit Vector Data Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF bidirectional data flows, data flow frameworks, data flow analysis
45John V. Harrison, Anthony Berglas Data Flow Analysis within the ITOC Information System Design Recovery Tool. Search on Bibsonomy ASE The full citation details ... 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
44Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam Array Data-Flow Analysis and its Use in Array Privatization. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Yong-Fong Lee, Barbara G. Ryder A comprehensive approach to parallel data flow analysis. Search on Bibsonomy ICS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF parallel data flow analysis, parallel algorithms, data flow analysis
41Barry K. Rosen Monoids for Rapid Data Flow Analysis. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
41Michelle Mills Strout, Barbara Kreaseck, Paul D. Hovland Data-Flow Analysis for MPI Programs. Search on Bibsonomy ICPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MPI-ICFG, MPI, data-flow analysis, SPMD, activity analysis
41Lori L. Pollock, Mary Lou Soffa An Incremental Version of Iterative Data Flow Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
39István Forgács Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF double iterative frameworks, data flow analysis
38Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski Region Analysis: A Parallel Elimination Method for Data Flow Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF elimination algorithms, parallel algorithms, Data flow analysis, program optimization, interval analysis
37James B. Fenwick Jr., Lori L. Pollock Data Flow Analysis across Tuplespace Process Boundaries. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF explicity parallelism, distributed shared memory, data flow analysis, tuplespace
35Donglin Liang, Mary Jean Harrold Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. Search on Bibsonomy PASTE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF data-flow analysis, alias analysis
35Matthew B. Dwyer, Lori A. Clarke A Flexible Architecture for Building Data Flow Analyzers. Search on Bibsonomy ICSE The full citation details ... 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
34Thomas Fahringer, Eduard Mehofer Buffer-Safe Communication Optimization Based on Data Flow Analysis and Performance Prediction. Search on Bibsonomy IEEE PACT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Communication, Performance Prediction, Data Flow Analysis, Communication Optimization
34Tsong Yueh Chen, Chi Keen Low Dynamic Data Flow Analysis for C++. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Software testing, object oriented programming, C++, dynamic data flow analysis
34Rajiv Gupta 0001, David A. Berson, Jesse Zhixi Fang Resource-Sensitive Profile-Directed Data Flow Analysis for Code Optimization. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  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
34Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik Data Flow Analysis of UML Action Semantics for Executable Models. Search on Bibsonomy ECMDA-FA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Data Flow Analysis, Executable modeling, Executable UML, Action Semantics
33Donglin Liang, Mary Jean Harrold Equivalence analysis and its application in improving the efficiency of program slicing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program slicing, data-flow analysis, Alias analysis
33Alexander Münnich PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. Search on Bibsonomy RTCSA The full citation details ... 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
33Richard Johnson, Michael S. Schlansker Analysis Techniques for Predicated Code. Search on Bibsonomy MICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF boolean operand, graph-based data structure, predicated code, program analysis tools, run-time value, compiler optimization, instruction-level parallelism, data flow analysis, compiler analysis
32Andrew Cain, Tsong Yueh Chen, Doug D. Grant, Fei-Ching Kuo, Jean-Guy Schneider An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis
32Atanas Rountev, Barbara G. Ryder, William Landi Data-Flow Analysis of Program Fragments. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Peng Li, Hyundo Park, Debin Gao, Jianming Fu Bridging the Gap between Data-Flow and Control-Flow Analysis for Anomaly Detection. Search on Bibsonomy ACSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Darren C. Atkinson, William G. Griswold Implementation Techniques for Efficient Data-Flow Analysis of Large Programs. Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF program understanding, program slicing, data-flow analysis
31Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. Search on Bibsonomy ICSE The full citation details ... 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
30Bageshri Karkare, Uday P. Khedker An improved bound for call strings based interprocedural analysis of bit vector frameworks. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Bit Vector Data Flow Frameworks, Interprocedural Data Flow Analysis
30Sungdo Moon, Mary W. Hall Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization. Search on Bibsonomy PPOPP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Junjie Gu, Zhiyuan Li Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF array data-flow analysis, Parallelizing compiler, interprocedural analysis, symbolic analysis
30Florian Martin 0001 PAG - An Efficient Program Analyzer Generator. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
29Bogdan Korel Automated Software Test Data Generation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
29Dhananjay M. Dhamdhere, Uday P. Khedker Complexity of Bidirectional Data Flow Analysis. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Michael G. Burke, Barbara G. Ryder A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
29Mary Jean Harrold, Gregg Rothermel Separate Computation of Alias Information for Reuse. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF separate analysis, static analysis, reuse, data flow analysis, Aliasing, pointers
29James 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. Search on Bibsonomy JTRES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF realtime Java, verification, data flow analysis, worst case execution time, formal analysis
29Barbara G. Ryder, William Landi, Hemant D. Pande Profiling an Incremental Data Flow Analysis Algorithm. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF incremental data flow analysis algorithm, empirical profiling, parallel programming, program testing, evolving software systems
29Hanne Riis Nielson, Flemming Nielson Flow Logics for Constraint Based Analysis. Search on Bibsonomy CC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Program analysis, data flow analysis, attribute grammars, control flow analysis, constraint based analysis
28Zhiyuan Li, Junjie Gu, Gyungho Lee Interprocedural Analysis Based on Guarded Array Regions. Search on Bibsonomy Compiler Optimizations for Scalable Parallel Systems Languages The full citation details ... 2001 DBLP  DOI  BibTeX  RDF array data flow analysis, array privatization, guarded array regions, Parallelizing compilers, interprocedural analysis, symbolic analysis
28Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. Search on Bibsonomy ISSTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
27Alessandra Cavarra Data Flow Analysis and Testing of Abstract State Machines. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Amr Sabry, Matthias Felleisen Is Continuation-Passing Useful for Data Flow Analysis? Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Jens Knoop Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
26Uday P. Khedker, Amitabha Sanyal, Amey Karkare Heap reference analysis using access graphs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF heap references, data flow analysis, liveness, Aliasing
26Mahmut 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. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF message vectorization, parallelism, global optimizations, data-flow analysis, communication optimizations, distributed-memory machines
25Kyung-Goo Doh, Seung Cheol Shin Detection of information leak by data flow analysis. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2002 DBLP  DOI  BibTeX  RDF static analysis, data flow analysis, secure information flow
25Eva Rose Lightweight Bytecode Verification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data flow analysis, proof-carrying code, bytecode verification
25Mario Südholt, Christoph Steigner On Interprocedural Data Flow Analysis for Object Oriented Languages. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF class scope, Object oriented language, interprocedural data flow analysis, virtual function
25Thomas J. Marlowe, Barbara G. Ryder An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Ken Kennedy, Linda Zucconi Applications of Graph Grammar for Program Control Flow Analysis. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
24Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa Demand-driven Computation of Interprocedural Data Flow. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen Data-Flow Analysis as Model Checking Within the jABC. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Vladimir I. Shelekhov, Sergey V. Kuksenko Data Flow Analysis of Java Programs in the Presence of Exceptions. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Suneel Jain, Carol L. Thompson An Efficient Approach to Data Flow Analysis in a Multi Pass Global Optimizer. Search on Bibsonomy PLDI The full citation details ... 1988 DBLP  DOI  BibTeX  RDF FORTRAN
23Sungdo Moon, Byoungro So, Mary W. Hall, Brian R. Murphy A Case for Combining Compile-Time and Run-Time Parallelization. Search on Bibsonomy LCR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23Lynn Choi, Pen-Chung Yew Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Compiler, shared-memory multiprocessors, data-flow analysis, cache coherence, interprocedural analysis
23Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham 0001 Vigilante: End-to-end containment of Internet worm epidemics. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment
23Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor A practical dynamic single assignment transformation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reaching definitions, parallelization, Data flow analysis, arrays, single assignment
22Harold Johnson Data flow analysis for 'intractable' system software. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
22Larry Koved, Marco Pistoia, Aaron Kershenbaum Access rights analysis for Java. Search on Bibsonomy OOPSLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java security, invocation graph, security, data flow analysis, call graph, access rights
22Jodi Tims, Rajiv Gupta 0001, Mary Lou Soffa Data Flow Analysis Driven Dynamic Data Partitioning. Search on Bibsonomy LCR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Moheb R. Girgis Corrigendum for "Constraint-Based Automatic Test Data Generation". (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.) Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF constraint-based test data generation, weak mutation, control flow testing, program testing, data flow analysis, program debugging, FORTRAN-77
21Sung-Kwan Kim, Sang Lyul Min, Rhan Ha Efficient worst case timing analysis of data caching. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF efficient worst case timing analysis, accurate timing analysis, pipelined execution, multiple memory locations, pointer based references, dynamic load/store instructions, WCET overestimation, global data flow analysis, benchmark programs, real-time systems, computational complexity, data caching, cache storage, instruction sets, reduced instruction set computing, data dependence analysis, cache block
21Zhiqiang Tan, Karen A. Lemone A research environment for incremental data flow analysis. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
21Walter Chang, Brandon Streiff, Calvin Lin Efficient and extensible security enforcement using dynamic data flow analysis. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security enforcement, static analysis, dynamic data flow analysis
21Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF DJ graphs, Tarjan's interval, exhaustive and incremental data flow analysis, irreducible flowgraphs, reducible flowgraphs
21Takanobu Baba, S. Bing Yao, Alan R. Hevner Design of a Functionally Distributed, Multiprocessor Database Machine Using Data Flow Analysis. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1987 DBLP  DOI  BibTeX  RDF parallel and pipelining processing, performance analysis, Data flow analysis, multiprocessor architecture, relational database system
21Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam Interprocedural parallelization analysis in SUIF. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis
21Marsha Chechik, John D. Gannon Automatic Analysis of Consistency between Requirements and Designs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF SCR requirements, finite-state abstraction, formal specification, static analysis, data-flow analysis
21P. Fairfield, Michael A. Hennell Data flow analysis of recursive procedures. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
21Manish Gupta 0002, Edith Schonberg, Harini Srinivasan A Unified Framework for Optimizing Communication in Data-Parallel Programs. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Array section descriptors, data-flow analysis, data-parallelism, High Performance Fortran, communication optimizations, partial redundancy elimination, data availability
21L. Howard Holley, Barry K. Rosen Qualified Data Flow Problems. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
21Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa Reducing the Cost of Data Flow Analysis By Congruence Partitioning. Search on Bibsonomy CC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21Glenn Ammons, James R. Larus Improving Data-flow Analysis with Path Profiles. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Glenn Ammons, James R. Larus Improving data-flow analysis with path profiles (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Kechang Dai Code Parallelization for the LGDG Large-Grain Dataflow Computation. Search on Bibsonomy CONPAR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF global data flow analysis, function-preserving code parallelization, Programming language, optimizing compiler, dataflow computation
21Natalia Sidorova, Martin Steffen Embedding Chaos. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF open reactive systems, Model checking, data-flow analysis, SDL
20Mahmut T. Kandemir, Alok N. Choudhary, Prithviraj Banerjee, J. Ramanujam, U. Nagaraj Shenoy Minimizing Data and Synchronization Costs in One-Way Communication. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF One-way communication, redundant synchronization, linear algebra techniques, message-passing, compiler optimizations, data-flow analysis, data-parallel languages
20William E. Weihl Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
20Xiaojie Li, Kenichi Harada An efficient asynchronous data transmission mechanism for data parallel languages. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF asynchronous data transmission mechanism, linguistic support, array references, N-level message queue, exact data-flow analysis, data transmission requests, SPMD code, parallel programming, compilers, program compilers, distributed memory systems, parallel languages, optimization techniques, distributed memory multiprocessors, data parallel languages
20Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil Efficient Composite Data Flow Analysis Applied to Concurrent Programs. Search on Bibsonomy PASTE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil Verification of Communication Protocols Using Data Flow Analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Jens Knoop From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
20Gerardo Canfora, Aniello Cimitile, Ugo de Carlini A Logic-Based Approach to Reverse Engineering Tools Production. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF reverse engineering tools, intermodular data flow analysis, Pascal software systems, evolutionary tool, Prolog program dictionary, Prolog abstractor, logic programming, static analysis, software maintenance, software tools, query answering, interactive tool
20Hassen Saïdi Guarded models for intrusion detection. Search on Bibsonomy PLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intrusion detection, static analysis, dynamic analysis, invariant generation
19Junjie Gu, Zhiyuan Li, Gyungho Lee Experience with Efficient Array Data-Flow Analysis for Array Privatization. Search on Bibsonomy PPOPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Jérôme Leroux, Grégoire Sutre Acceleration in Convex Data-Flow Analysis. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Eduard Mehofer, Bernhard Scholz Probabilistic data flow system with two-edge profiling. Search on Bibsonomy Dynamo The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Matthew B. Dwyer, Lori A. Clarke Data Flow Analysis for Verifying Properties of Concurrent Programs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Jingling Xue, Qiong Cai A lifetime optimal algorithm for speculative PRE. Search on Bibsonomy TACO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF classic PRE, speculative PRE, data-flow analysis, Partial redundancy elimination, lifetime optimality, computational optimality
19Silvius Rus, Guobin He, Lawrence Rauchwerger Scalable Array SSA and Array Data Flow Analysis. Search on Bibsonomy LCPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Shmuel Sagiv, O. Edelstein, Nissim Francez, Michael Rodeh Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
19Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization
19Andy King, Jan-Georg Smaus, Patricia M. Hill Quotienting Share for Dependency Analysis. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs
18Anthony Berglas, John V. Harrison Evaluation of the ITOC information system design recovery tool. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ITOC information system design recovery tool evaluation, legacy information systems, Ingres to Oracle Conversion project, large collaborative research initiative, application structure, static schema definition, Ingres 4GL applications, Oracle CASE tool, simple data mining, real commercial applications, software maintenance, data flow analysis, query analysis
18Therrezinha Fernandes A Kleene Algebra Framework for Data Flow Analysis. Search on Bibsonomy ASWEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18C. Samuel Hsieh A Fine-Grained Data-Flow Analysis Framework. Search on Bibsonomy Acta Inf. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 638 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license