Search results for "dependence analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Zhenqiang Chen, Baowen Xu, Jianjun Zhao	An overview of methods for dependence analysis of concurrent programs.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	concurrent program dependence graph, program dependence analysis, concurrency, program slicing
3	Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener	VADA: A Transformation-Based System for Variable Dependence Analysis.	SCAM	2002	DBLP DOI BibTeX RDF	Variable Dependence Analysis, Program Transformation, Program Slicing
3	Boris Vaysburg, Luay Ho Tahat, Bogdan Korel	Dependence analysis in reduction of requirement based test suites.	ISSTA	2002	DBLP DOI BibTeX RDF	EFSM dependence analysis, EFSM system model, model-based testing, system testing, test suite reduction, interaction pattern
3	William Pugh, David Wonnacott	Constraint-Based Array Dependence Analysis.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	array dataflow analysis, dependence abstraction, parallelization, static analysis, dependence analysis, Presburger Arithmetic
3	Wolfram Amme, Peter Braun, Eberhard Zehendner, François Thomasset	Data Dependence Analysis of Assembly Code.	IEEE PACT	1998	DBLP DOI BibTeX RDF	ILP, data dependence analysis, memory disambiguation
3	Yanhong A. Liu	Dependence Analysis for Recursive Data. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	recursive data, recursive substructure, dead-code analysis, partially dead recursive data, regular tree grammars, grammar transformers, projections, dependence analysis, efficient algorithms, approximation operations
3	Paul Petersen, David A. Padua	Static and Dynamic Evaluation of Data Dependence Analysis Techniques.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	parallelism detection, evaluation of compiler techniques, compiler optimizations, Dependence analysis, automatic parallelization
3	Jianjun Zhao, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
3	Kleanthis Psarris, Santosh Pande	Classical dependence analysis techniques: sufficiently accurate in practice.	HICSS	1995	DBLP DOI BibTeX RDF	GCD test, Banerjee-Wolfe test, statement data dependence, automatic loop parallelization, Perfect benchmarks, exact test, program testing, data analysis, accuracy, parallelizing compilers, program diagnostics, sufficient conditions, program control structures, parallelising compilers, data dependence analysis, greatest common divisor, automatic vectorization
3	Zhiyuan Li, Pen-Chung Yew, Chuan-Qi Zhu	An Efficient Data Dependence Analysis for Parallelizing Compilers.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	array subscripts, loop bounds, lambda test, multidimensional array references, Parafrase, Fortran program parallelization restructurer, parallel programming, FORTRAN, program compilers, parallelizing compilers, numerical methods, convex set, hyperplanes, data dependence analysis, linear inequalities, program restructuring
2	Zheng Li	Identifying high-level dependence structures using slice-based dependence analysis.	ICSM	2009	DBLP DOI BibTeX RDF
2	Masahiro Fujita, Yoshihisa Kojima, Amir Masoud Gharehbaghi	Debugging from high level down to gate level.	DAC	2009	DBLP DOI BibTeX RDF	post-silicon debug, dependence analysis, system level design, equivalence checking, high-level design
2	Jing Zhou, Guosun Zeng	A general data dependence analysis for parallelizing compilers.	The Journal of Supercomputing	2008	DBLP DOI BibTeX RDF	Dependence test, Integer interval theory, Nonlinear subscript, Nested loop
2	Christoph von Praun, Rajesh Bordawekar, Calin Cascaval	Modeling optimistic concurrency using quantitative dependence analysis.	PPOPP	2008	DBLP DOI BibTeX RDF	available parallelism, dependence density, transactional memory, dependence analysis, program parallelization, optimistic concurrency, implicit parallelism
2	Saswat Anand, Alessandro Orso, Mary Jean Harrold	Type-Dependence Analysis and Program Transformation for Symbolic Execution.	TACAS	2007	DBLP DOI BibTeX RDF
2	Zakarya Alzamil	Redundant Coupling Detection Using Dynamic Dependence Analysis.	ICSEA	2007	DBLP DOI BibTeX RDF
2	Yanping Chen, Robert L. Probert, Hasan Ural	Regression test suite reduction using extended dependence analysis.	SOQUA	2007	DBLP DOI BibTeX RDF	regression test suite reduction, regression testing, data dependence, control dependence, extended finite state machine
2	Yanping Chen, Robert L. Probert, Hasan Ural	Model-based regression test suite generation using dependence analysis.	A-MOST	2007	DBLP DOI BibTeX RDF	regression test suite construction, regression testing, data dependence, control dependence, extended finite state machine
2	Gerhard W. Zumbusch	Data Dependence Analysis for the Parallelization of Numerical Tree Codes.	PARA	2006	DBLP DOI BibTeX RDF
2	Jing Zhou, Guosun Zeng	A general data dependence analysis to nested loop using integer interval theory.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Nicolas Vasilache, Cédric Bastoul, Albert Cohen, Sylvain Girbal	Violated dependence analysis.	ICS	2006	DBLP DOI BibTeX RDF
2	Masahiro Fujita, Shunsuke Sasaki, Ken Matsui	Object-oriented analysis and design of hardware/software co-designs with dependence analysis for design reuse.	IRI	2005	DBLP DOI BibTeX RDF
2	Lin Qiao, Weitong Huang, Zhizhong Tang	A Static Data Dependence Analysis Approach for Software Pipelining.	NPC	2005	DBLP DOI BibTeX RDF
2	Konstantinos Kyriakopoulos, Kleanthis Psarris	Efficient Techniques for Advanced Data Dependence Analysis.	IEEE PACT	2005	DBLP DOI BibTeX RDF
2	Regina Lúcia de Oliveira Moraes, Eliane Martins, Naaliel Vicente Mendes	Fault Injection Approach Based on Dependence Analysis.	COMPSAC	2005	DBLP DOI BibTeX RDF
2	Bixin Li, Ying Zhou, Yancheng Wang, Junhui Mo	Matrix-based component dependence representation and its applications in software quality assurance.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	direct dependence graph, slicing techniques, dependence analysis, software quality assurance, dependence matrix
2	Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel	Optimizing aggregate array computations in loops.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization
2	Rubing Duan, Radu Prodan, Thomas Fahringer	DEE: A Distributed Fault Tolerant Workflow Enactment Engine for Grid Computing.	HPCC	2005	DBLP DOI BibTeX RDF	distributed enactment engine, overhead analysis, fault tolerance, Grid computing, checkpointing, dependence analysis
2	Konstantinos Kyriakopoulos, Kleanthis Psarris	Data Dependence Analysis Techniques for Increased Accuracy and Extracted Parallelism.	International Journal of Parallel Programming	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
2	Kleanthis Psarris, Konstantinos Kyriakopoulos	An Experimental Evaluation of Data Dependence Analysis Techniques.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
2	Miia Viitanen, Timo D. Hämäläinen	Comparison of Data Dependence Analysis Tests.	SAMOS	2004	DBLP DOI BibTeX RDF
2	Patricio Bulic, Veselko Gustin	D-Test: An Extension to Banerjee Test for a Fast Dependence Analysis in a Multimedia Vectorizing Compiler.	IPDPS	2004	DBLP DOI BibTeX RDF
2	S. Regimbal, Yvon Savaria, Guy Bois	Verification Strategy Determination Using Dependence Analysis of Transaction-Level Models.	IWSOC	2004	DBLP DOI BibTeX RDF
2	David Binkley, Mark Harman	Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	software maintenance, program comprehension, program slicing, Dependence analysis
2	Judith A. Stafford, Alexander L. Wolf, Mauro Caporuscio	The Application of Dependence Analysis to Software Architecture Descriptions.	SFM	2003	DBLP DOI BibTeX RDF
2	Kleanthis Psarris, Konstantinos Kyriakopoulos	The impact of data dependence analysis on compilation and program parallelization.	ICS	2003	DBLP DOI BibTeX RDF	program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization
2	Yonghong Song, Xiangyun Kong	Index-Association Based Dependence Analysis and its Application in Automatic Parallelization.	LCPC	2003	DBLP DOI BibTeX RDF
2	Bogdan Korel, Luay Ho Tahat, Boris Vaysburg	Model Based Regression Test Reduction Using Dependence Analysis. (PDF / PS)	ICSM	2002	DBLP DOI BibTeX RDF
2	Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang	A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis. (PDF / PS)	ICSM	2002	DBLP DOI BibTeX RDF
2	Robert Seater, David Wonnacott	Efficient Manipulation of Disequalities During Dependence Analysis.	LCPC	2002	DBLP DOI BibTeX RDF
2	Peng Wu, Paul Feautrier, David A. Padua, Zehra Sura	Instance-wise points-to analysis for loop-based dependence testing.	ICS	2002	DBLP DOI BibTeX RDF	pointer arrays, Java, dependence analysis, pointer analysis, heap analysis
2	Vivek Sarkar, Stephen J. Fink	Efficient Dependence Analysis for Java Arrays.	Euro-Par	2001	DBLP DOI BibTeX RDF
2	Konstantinos Kyriakopoulos, Kleanthis Psarris	Data Dependence Analysis for Complex Loop Regions. (PDF / PS)	ICPP	2001	DBLP DOI BibTeX RDF
2	H. X. Lin	Designing Parallel Sparse Matrix Algorithms beyond Data Dependence Analysis.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
2	Jianjun Zhao	Dependence Analysis of Java Bytecode. (PDF / PS)	COMPSAC	2000	DBLP DOI BibTeX RDF
2	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
2	Roxane Adle, Marc Aiguier, Franck Delaplace	Automatic Parallelization of Sparse Matrix Computations: A Static Analysis.	Euro-Par	2000	DBLP DOI BibTeX RDF	fill-in, non-standard semantics, sparse dependence analysis, Bernstein's conditions
2	Craig Chambers, Igor Pechtchanski, Vivek Sarkar, Mauricio J. Serrano, Harini Srinivasan	Dependence Analysis for Java.	LCPC	1999	DBLP DOI BibTeX RDF
2	Kleanthis Psarris, Konstantinos Kyriakopoulos	Data Dependence Testing in Practice.	IEEE PACT	1999	DBLP DOI BibTeX RDF	Compiler Optimization, Data Dependence, Dependence Analysis, Automatic Parallelization
2	Yanhong A. Liu, Scott D. Stoller	Loop Optimization for Aggregate Array Computations. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation
2	Chihong Zhang, Zhizhong Tang	An Improvement on Data Dependence Analysis Supporting Software Pipelining Technique.	APDC	1997	DBLP DOI BibTeX RDF
2	Jingde Cheng	Dependence Analysis of Parallel and Distributed Programs and Its Applications.	APDC	1997	DBLP DOI BibTeX RDF
2	Wei-Tek Tsai	Application of data-centered approach to Year 2000 problem. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	data-centered approach, variable classifications, generalised program slicing, traceability links, regression testing, dependence analysis, systems re-engineering, ripple effect analysis, Year 2000 problem
2	Zhaoqing Zhang, Gao Nianshu, Ruliang Qiao, Qiang Liu	Advanced compilation techniques used in PORT system.	ISPAN	1996	DBLP DOI BibTeX RDF	optimization, parallelization, compilation, software tools, visual programming, data flow analysis, flow analysis, visualization tools, PORT, parallelising compilers, data dependence analysis, optimising compilers
2	Mariam Kamkar, Patrik Krajina, Peter Fritzson	Dynamic Slicing of Parallel Message-Passing Programs.	PDP	1996	DBLP DOI BibTeX RDF	parallel message-passing programs, program maintenance activities, new functionality, software development resources, computer-supported methods, error sources, parallel MIMD computer, distributed systems, parallel programming, software testing, software maintenance, debugging, message passing, software metrics, program testing, dependence analysis, program debugging, software complexity, dynamic program slicing, program decomposition
2	Sung-Kwan Kim, Sang Lyul Min, Rhan Ha	Efficient worst case timing analysis of data caching. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	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
2	Mariam Kamkar, Patrik Krajina	Dynamic slicing of distributed programs. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice
2	A. Zaafrani, Mabo Robert Ito	Expressing cross-loop dependencies through hyperplane data dependence analysis.	SC	1994	DBLP BibTeX RDF	automatic generation of communication statements, index alignment, parallelizing compilers, data dependence, multicomputers
2	Vadim Maslov	Lazy Array Data-Flow Dependence Analysis.	POPL	1994	DBLP DOI BibTeX RDF
2	Vadim Maslov, William Pugh	Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise.	CONPAR	1994	DBLP DOI BibTeX RDF
2	S. P. Johnson, Cos S. Ierotheou, Mark Cross, P. F. Leggett	User Interaction and Symbolic Extensions to Dependence Analysis.	CONPAR	1994	DBLP DOI BibTeX RDF
2	Peiyi Tang	Exact Side Effects for Interprocedural Dependence Analysis.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
2	William Y. Chen, Scott A. Mahlke, Wen-mei W. Hwu, Tokuzo Kiyohara, Pohua P. Chang	Tolerating data access latency with register preloading.	ICS	1992	DBLP DOI BibTeX RDF	VLIW/superscalar processor, load latency, register preload, register file, data dependence analysis
2	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
2	Zhiyu Shen, Zhiyuan Li, Pen-Chung Yew	An Empirical Study of Fortran Programs for Parallelizing Compilers.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	array references, program characteristics, integer-valued test, program transformations, FORTRAN, program compilers, parallelizing compilers, data dependence analysis, Fortran programs
2	Zhiyuan Li, Pen-Chung Yew, Chuan-Qi Zhu	Data dependence analysis on multi-dimensional array references.	ICS	1989	DBLP DOI BibTeX RDF
2	Michael G. Burke, Ron Cytron	Interprocedural dependence analysis and parallelization (with retrospective)	Best of PLDI	1986	DBLP DOI BibTeX RDF
1	Armand Navabi, Xiangyu Zhang, Suresh Jagannathan	Dependence analysis for safe futures.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Asaf Cohen, Shlomi Dolev, Guy Leshem	Sensor Networks: from Dependence Analysis Via Matroid Bases to Online Synthesis	CoRR	2012	DBLP BibTeX RDF
1	George Tzenakis, Angelos Papatriantafyllou, John Kesapides, Polyvios Pratikakis, Hans Vandierendonck, Dimitrios S. Nikolopoulos	BDDT: : block-level dynamic dependence analysis for deterministic task-based parallelism.	PPOPP	2012	DBLP DOI BibTeX RDF
1	Xiaoming Chen, Wei Wu, Yu Wang, Hao Yu, Huazhong Yang	An EScheduler-Based Data Dependence Analysis and Task Scheduling for Parallel Circuit Simulation.	IEEE Trans. on Circuits and Systems	2011	DBLP DOI BibTeX RDF
1		Dependence Analysis.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Asaf Cohen, Shlomi Dolev, Guy Leshem	Sensor Fusion: From Dependence Analysis via Matroid Bases to Online Synthesis.	ALGOSENSORS	2011	DBLP DOI BibTeX RDF
1	Ratneshwer Gupta, Anil Kumar Tripathi	Dependence analysis of software component.	ACM SIGSOFT Software Engineering Notes	2010	DBLP DOI BibTeX RDF
1	Naomi Hiromichi, Naoko Yoshii, Masami Takata, Kazuki Joe	Update Dependence Analysis of Web Pages for Incremental Crawling.	PDPTA	2010	DBLP BibTeX RDF
1	Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv	Field-sensitive program dependence analysis.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Hasan Ural, Hüsnü Yenigün	Dependence Analysis for Regression Test Suite Selection and Augmentation.	ISCIS	2010	DBLP DOI BibTeX RDF
1	Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau	Optimizing control flow in loops using interval and dependence analysis.	Design Autom. for Emb. Sys.	2009	DBLP DOI BibTeX RDF
1	Javier J. Sánchez Medina, Manuel J. Galán Moreno, Enrique Rubio Royo	Global Speed vs. Mean Travel Time. Polynomial Dependence Analysis in Traffic Signals Optimization Using Genetic Algorithms and Parallel Computing.	IC-AI	2009	DBLP BibTeX RDF
1	Xunfa Lu, Kin Keung Lai	Dependence Analysis of Diversification Benefits of Chinese Real Estate Securities.	CSO	2009	DBLP DOI BibTeX RDF
1	Eric Stotzer, Ernst L. Leiss	Modulo scheduling without overlapped lifetimes.	LCTES	2009	DBLP DOI BibTeX RDF	instruction level parallelism, register allocation, software pipelining, modulo scheduling
1	Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt	A theoretical and empirical study of EFSM dependence.	ICSM	2009	DBLP DOI BibTeX RDF
1	Vivek Sarkar	Challenges in Code Optimization of Parallel Programs.	CC	2009	DBLP DOI BibTeX RDF
1	Qiang Cheng, JianWen Cao, Bin Wang, Haibin Zhang	Adjoint code generator.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	automatic differentiation, gradient, Hessian, adjoint model
1	Toshihiro Matsuda, Yuya Sugiyama, Keita Nohara, Kazuhiro Morita, Hideyuki Iwata, Takashi Ohzone, Takayuki Morishita, Kiyotaka Komoku	A Test Structure for Asymmetry and Orientation Dependence Analysis of CMOSFETs.	IEICE Transactions	2008	DBLP DOI BibTeX RDF
1	Jing Zhou, Guosun Zeng	A general data dependence analysis for parallelizing compilers.	The Journal of Supercomputing	2008	DBLP DOI BibTeX RDF
1	Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes	User-Input Dependence Analysis via Graph Reachability.	SCAM	2008	DBLP DOI BibTeX RDF
1	Johnnie Birch, Kleanthis Psarris	Discovering Maximum Parallelization Using Advanced Data Dependence Analysis.	HPCC	2008	DBLP DOI BibTeX RDF
1	Guoqing (Harry) Xu, Atanas Rountev	AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.	AOSD	2008	DBLP DOI BibTeX RDF	AspectJ, dataflow analysis, interprocedural analysis
1	Vivek Sarkar	Code optimization of parallel programs: evolutionary vs. revolutionary approaches.	CGO	2008	DBLP DOI BibTeX RDF	parallel programs, multicore processors, code optimization
1	Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos	Iterative optimization in the polyhedral model: part ii, multidimensional time.	PLDI	2008	DBLP DOI BibTeX RDF	genetic algorithm, loop transformation, iterative compilation, affine scheduling
1	Chunfu Jia, Deqiang Chen, Kai Lin	The Application of the Relative Entropy Density Divergence in Intrusion Detection Models.	CSSE	2008	DBLP DOI BibTeX RDF
1	Hongtao Zhong, Mojtaba Mehrara, Steven A. Lieberman, Scott A. Mahlke	Uncovering hidden loop level parallelism in sequential applications.	HPCA	2008	DBLP DOI BibTeX RDF
1	Sejong Oh, Tag Gon Kim, Jeonghun Cho, Elaheh Bozorgzadeh	Speculative Loop-Pipelining in Binary Translation for Hardware Acceleration.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Kleanthis Psarris	Symbolic Analysis for Increased Program Execution Performance.	ICA3PP	2008	DBLP DOI BibTeX RDF
1	Anna Beletska, Wlodzimierz Bielecki, Krzysztof Siedlecki, Pierluigi San Pietro	Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops.	ICCSA	2008	DBLP DOI BibTeX RDF	arbitrarily nested loops, synchronization-free parallelism, slicing, loop transformations
1	Martin Burtscher, Milind Kulkarni, Dimitrios Prountzos, Keshav Pingali	On the Scalability of an Automatically Parallelized Irregular Application.	LCPC	2008	DBLP DOI BibTeX RDF	sparse graph algorithm, amorphous data-parallelism, optimistic execution, parallel programming, multicore processors, mesh refinement
1	Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya	A non-standard semantics for program slicing and dependence analysis.	J. Log. Algebr. Program.	2007	DBLP DOI BibTeX RDF
1	Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa	Java Bytecode Dependence Analysis for Secure Information Flow.	I. J. Network Security	2007	DBLP BibTeX RDF
1	Karl-Filip Faxén	Meeting the Multicore Challenge: Dynamic Dependence Analysis for Parallelization.	ERCIM News	2007	DBLP BibTeX RDF