|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4293 occurrences of 2379 keywords
|
|
|
Results
Found 7776 publication records. Showing 7776 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Konstantinos Kyriakopoulos, Kleanthis Psarris |
Data Dependence Analysis Techniques for Increased Accuracy and Extracted Parallelism. |
Int. J. Parallel Program. |
2004 |
DBLP DOI BibTeX RDF |
program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization |
79 | Andy Podgurski, Lori A. Clarke |
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
data flow dependence, syntactic dependence, semantic dependence, formal specification, software testing, debugging, program testing, maintenance, formal model, program debugging, program dependences |
76 | Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang |
Omega - an integrated environment for C++ program maintenance. |
ICSM |
1996 |
DBLP DOI BibTeX RDF |
C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations |
73 | Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang 0001, Dongyan Xu |
Strict control dependence and its effect on dynamic information flow analyses. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
dynamic information flow, strict control dependence, data dependence, control dependence, taint analysis |
68 | Bixin Li, Ying Zhou, Yancheng Wang, Junhui Mo |
Matrix-based component dependence representation and its applications in software quality assurance. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
direct dependence graph, slicing techniques, dependence analysis, software quality assurance, dependence matrix |
66 | Feng Chen 0006, Grigore Rosu |
Parametric and Termination-Sensitive Control Dependence. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro |
Quantifying Degrees of Dependence in Social Dependence Relations. |
MABS |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, John Hatcliff, Matthew B. Dwyer |
A new foundation for control dependence and slicing for modern program structures. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence |
62 | Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel |
Interprocedural control dependence. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
interprocedural control dependence, semantic dependence, software maintenance, program slicing, interprocedural analysis |
62 | I. A. Natour |
On the control dependence in the program dependence graph. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
devoted followers, followers, leader and non-leader nodes, control dependence, program dependence graph |
61 | Kleanthis Psarris, Konstantinos Kyriakopoulos |
An Experimental Evaluation of Data Dependence Analysis Techniques. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization |
61 | 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 |
60 | M. C. Jones, Inge Koch |
Dependence maps: Local dependence in practice. |
Stat. Comput. |
2003 |
DBLP DOI BibTeX RDF |
bivariate distribution, kernel smoothing, permutation test, correlation, association |
58 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
Program dependence analysis of concurrent logic programs and its applications. |
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 |
57 | William W. 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 |
57 | Yiannakis Sazeides, Stamatis Vassiliadis, James E. Smith 0001 |
The Performance Potential of Data Dependence Speculation & Collapsing. |
MICRO |
1996 |
DBLP DOI BibTeX RDF |
address generation-load dependences, address prediction rate, base instruction level parallel machine, dependence collapsing, performance potential, true data dependences, parallel programming, trace-driven simulation, data dependence speculation, address prediction |
57 | Kleanthis Psarris, Santosh Pande |
Classical dependence analysis techniques: sufficiently accurate in practice. |
HICSS (2) |
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 |
57 | Ten H. Tzen, Lionel M. Ni |
Dependence Uniformization: A Loop Parallelization Technique. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
data dependence uniformisation, doubly nested loop, irregulardependence constraints, parallel programming, loop parallelization, parallelalgorithms, synchronization method, dependence constraints |
56 | Andreas Moshovos, Gurindar S. Sohi |
Reducing Memory Latency via Read-after-Read Memory Dependence Prediction. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
memory dependence prediction, cache, dynamic optimization, load |
56 | Shaw-Yen Tseng, Chung-Ta King, Chuan Yi Tang |
Profiling Dependence Vectors for Loop Parallelization. |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
linear subscript, parallel computing, parallelizing compiler, Dependence analysis, loop parallelization |
55 | Bo An 0001, Chunyan Miao, Lianggui Tang, Shuangqing Li, Daijie Cheng |
Toward Transitive Dependence in MAS. |
IDEAL |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Yonghong Song, Xiangyun Kong |
Index-Association Based Dependence Analysis and its Application in Automatic Parallelization. |
LCPC |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Hyoung Seok Hong, Hasan Ural |
Dependence Testing: Extending Data Flow Testing with Control Dependence. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
55 | John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren |
Conversion of Control Dependence to Data Dependence. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
53 | Loren Larsen, Mary Jean Harrold |
Slicing Object-Oriented Software. |
ICSE |
1996 |
DBLP BibTeX RDF |
class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language |
53 | Jouko Väänänen |
Grelling on Dependence. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Eric Pacuit, Fan Yang 0004 |
Dependence and Independence in Social Choice: Arrow's Theorem. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Arnaud Durand 0001, Juha Kontinen, Heribert Vollmer |
Expressivity and Complexity of Dependence Logic. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Henrik J. Nyman, Johan Pensar, Jukka Corander |
Context-Specific and Local Independence in Markovian Dependence Structures. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Sebastian Link |
Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
52 | 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 |
51 | Pei Li, Bo Hu, Hongyan Liu 0002, Jun He 0008, Xiaoyong Du 0001 |
DepRank: A Probabilistic Measure of Dependence via Heterogeneous Links. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
probabilistic measure, object dependence, link graph |
51 | David W. 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 |
51 | Rosa Meo |
Theory of dependence values. |
ACM Trans. Database Syst. |
2000 |
DBLP DOI BibTeX RDF |
dependence rules, variables independence, association rules, entropy |
51 | Mary Jean Harrold, James A. Jones, Gregg Rothermel |
Empirical Studies of Control Dependence Graph Size for C Programs. |
Empir. Softw. Eng. |
1998 |
DBLP DOI BibTeX RDF |
software engineering, static analysis, program analysis, control dependence |
51 | A. Zaafrani, Mabo Robert Ito |
Expressing cross-loop dependencies through hyperplane data dependence analysis. |
SC |
1994 |
DBLP DOI BibTeX RDF |
automatic generation of communication statements, index alignment, parallelizing compilers, data dependence, multicomputers |
50 | Tong Chen 0010, Jin Lin, Xiaoru Dai, Wei-Chung Hsu, Pen-Chung Yew |
Data Dependence Profiling for Speculative Optimizations. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Justiani, Laurie J. Hendren |
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
50 | Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel |
Efficient Construction of Program Dependence Graphs. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
48 | Narayan Ranganathan, Manoj Franklin |
An Empirical Study of Decentralized ILP Execution Models. |
ASPLOS |
1998 |
DBLP DOI BibTeX RDF |
execution unit dependence, hardware window, instruction-level parallelism, data dependence, dynamic scheduling, speculative execution, control dependence, decentralization |
48 | Erik H. D'Hollander |
Partitioning and Labeling of Loops by Unimodular Transformations. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
loop labelling, invariant dependence relation, independent subsets, constant dependence vectors, serial loop, parallel DO-ALL loops, dependent iterations, n-fold nested loop, multithreaded dynamicscheduling, join primitive, scheduling, parallel algorithms, computational complexity, program compilers, programming theory, partitioning algorithm, parallelprogramming, labelling algorithm, unimodular transformations, unimodular transformation, loop partitioning, dependence matrix |
47 | Zhenqiang Chen, Baowen Xu, Jianjun Zhao 0001 |
An overview of methods for dependence analysis of concurrent programs. |
ACM SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
concurrent program dependence graph, program dependence analysis, concurrency, program slicing |
47 | Kleanthis Psarris, Konstantinos Kyriakopoulos |
Data Dependence Testing in Practice. |
IEEE PACT |
1999 |
DBLP DOI BibTeX RDF |
Compiler Optimization, Data Dependence, Dependence Analysis, Automatic Parallelization |
47 | Michael Wolfe |
The Definition of Dependence Distance. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
dependence distance, dependence analysis |
47 | Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Cost effective dynamic program slicing. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
testing, debugging, dynamic dependence graph |
46 | Johnnie Birch, Robert A. van Engelen, Kyle A. Gallivan, Yixin Shou |
An empirical evaluation of chains of recurrences for array dependence testing. |
PACT |
2006 |
DBLP DOI BibTeX RDF |
chains of recurrences, dependence testing, loop optimization |
46 | Andrés Molina |
A Vector Approach to the Analysis of (Patterns with) Spatial Dependence. |
SSPR/SPR |
2000 |
DBLP DOI BibTeX RDF |
directional trend, circular statistics, anisotropy, spatial dependence |
46 | Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha |
Computation of Interprocedural Control Dependence. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
control and semantic dependence, interprocedual analysis |
46 | Thomas Ball |
What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
regions, control-flow graph, control dependence |
45 | Lin Qiao, Weitong Huang, Zhizhong Tang |
A Static Data Dependence Analysis Approach for Software Pipelining. |
NPC |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Konstantinos Kyriakopoulos, Kleanthis Psarris |
Data Dependence Analysis for Complex Loop Regions. |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
45 | David W. Binkley, Mark Harman |
Locating Dependence Clusters and Dependence Pollution. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Hong Hao, Edward J. McCluskey |
Analysis of Gate Oxide Shorts in CMOS Circuits. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
resistance dependence, voltage dependence, pattern dependence, logic gate operation, p-channel transistors, n-channel transistors, CMOS integrated circuits, integrated logic circuits, CMOS circuits, logic gates, defect models, temperature dependence, gate oxide shorts, semiconductor device models |
44 | Wuu Yang, Susan Horwitz, Thomas W. Reps |
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations. |
ACM Trans. Softw. Eng. Methodol. |
1992 |
DBLP DOI BibTeX RDF |
coarsest partition, flow dependence, program integration, program representation graph, data-flow analysis, data dependence, control dependence, program dependence graph, static-single-assignment form |
43 | Ivano Ciardelli |
Dependency as Question Entailment. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Wilfrid Hodges |
Remarks on Compositionality. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Erich Grädel |
Games for Inclusion Logic and Fixed-Point Logic. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer |
Introduction. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Pietro Galliani |
On Strongly First-Order Dependencies. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Åsa Hirvonen |
Independence in Model Theory. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Andreas Blass |
Introduction to Secret-Sharing. |
Dependence Logic |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Ben He, Iadh Ounis |
On setting the hyper-parameters of term frequency normalization for information retrieval. |
ACM Trans. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Query-dependence, TREC experimentation, collection-dependence, term frequency normalization, relevance feedback, information retrieval models |
42 | Daniel Jackson 0001, Eugene J. Rollins |
A New Model of Program Dependences for Reverse Engineering. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
dataflow dependence, reverse engineering, specifications, modularity, program slicing, program dependence graph |
42 | Robert Geist, James Westall |
Practical aspects of simulating systems having arrival processes with long-range dependence. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
analysis methodology, stochastic dependence, long-range dependence, network traffic models |
42 | Gerardo Canfora, Aniello Cimitile |
Algorithms for program dependence graph production. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
program dependence graph production algorithms, software maintenance workbench, automatic external representation construction, F(p) program representation, program information access, control dependence graph, use sets, variable definition, graph theory, software maintenance, index, internal representation |
41 | Mohammad R. Haghighat, Constantine D. Polychronopoulos |
Symbolic Analysis for Parallelizing Compilers. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
parallelization, dependence analysis, symbolic analysis |
41 | Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman |
Coherent dependence clusters. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
clustering, dependence, program comprehension, program slicing |
41 | Michael Bendersky, Donald Metzler, W. Bruce Croft |
Learning concept importance using a weighted dependence model. |
WSDM |
2010 |
DBLP DOI BibTeX RDF |
query concept weighting, weighted dependence model |
41 | Jing Zhou, Guosun Zeng |
A general data dependence analysis for parallelizing compilers. |
J. Supercomput. |
2008 |
DBLP DOI BibTeX RDF |
Dependence test, Integer interval theory, Nonlinear subscript, Nested loop |
41 | Mohamad K. Allouche, Éloi Bossé |
Fusion of Dependence Networks in Multi-agent Systems - Application to Support Net-Enabled Littoral Surveillance. |
AIS-ADM |
2007 |
DBLP DOI BibTeX RDF |
Fusion Dependence Networks, Multi-Agent Systems, Social Reasoning |
41 | Jennifer A. Miller, Janet Franklin |
Explicitly incorporating spatial dependence in predictive vegetation models in the form of explanatory variables: a Mojave Desert case study. |
J. Geogr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Predictive vegetation models, Classification tree, Generalized linear model, Spatial dependence |
41 | Peng Wu 0001, 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 |
41 | Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu 0005, 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 |
41 | Jianjun Zhao 0001 |
Multithreaded Dependence Graphs for Concurrent Java Programs. |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrency, software maintenance, program slicing, dependence graph |
41 | Keshav Pingali, Gianfranco Bilardi |
Optimal Control Dependence Computation and the Roman Chariots Problem. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compilers, program transformation, program optimization, control dependence |
41 | Jianjun Zhao 0001 |
Slicing Aspect-Oriented Software. |
IWPC |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li 0002, Laurence Tratt |
A theoretical and empirical study of EFSM dependence. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Bo An 0001, Zhiqi Shen 0001, Chunyan Miao, Daijie Cheng |
Algorithms for Transitive Dependence-Based Coalition Formation. |
IEEE Trans. Ind. Informatics |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, Matthew B. Dwyer, John Hatcliff |
A New Foundation for Control-Dependence and Slicing for Modern Program Structures. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Jianyu Xiao, Deyun Zhang, Haiquan Chen, Hao Dong 0002 |
Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs. |
APPT |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Patricio Bulic, Veselko Gustin |
Fast Dependence Analysis in a Multimedia Vectorizing Compiler. |
PDP |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
A Program Dependence Model for Concurrent Logic Programs and its Applications. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Moshovos, Gurindar S. Sohi |
Read-After-Read Memory Dependence Prediction. |
MICRO |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Claudia Bianchi |
Three Forms of Contextual Dependence. |
CONTEXT |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Gianfranco Bilardi, Keshav Pingali |
Generalized Dominance and Control Dependence. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
40 | Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, Andreas Krall |
Dependence-Conscious Global Register Allocation. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
40 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural Slicing Using Dependence Graphs. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural Slicing Using Dependence Graphs. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
40 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural slicing using dependence graphs (with retrospective) |
Best of PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
38 | Arun Kejariwal, Xinmin Tian, Wei Li 0015, Milind Girkar, Sergey Kozhukhov, Hideki Saito 0001, Utpal Banerjee, Alexandru Nicolau, Alexander V. Veidenbaum, Constantine D. Polychronopoulos |
On the performance potential of different types of speculative thread-level parallelism: The DL version of this paper includes corrections that were not made available in the printed proceedings. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
DOALL loops, value dependence, performance evaluation, data dependence, speculative execution, control dependence |
37 | 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 |
37 | Mariam Kamkar, Patrik Krajina |
Dynamic slicing of distributed programs. |
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 |
37 | William W. Pugh, David Wonnacott |
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
Omega test, array data-dependence analysis, optimization, compilation, automatic parallelization, Presburger arithmetic, dependence relation |
37 | Ken Kennedy, Kathryn S. McKinley |
Loop distribution with arbitrary control flow. |
SC |
1990 |
DBLP DOI BibTeX RDF |
loop distribution, parallelization, transformation, vectorization, data dependence, control dependence |
37 | Yanping Chen 0004, 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 |
37 | Yanping Chen 0004, 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 |
37 | Ali Dasdan, Ivan Hom |
Handling inverted temperature dependence in static timing analysis. |
ACM Trans. Design Autom. Electr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
timing corners, voltage dependence, Static timing analysis, temperature dependence |
37 | Der-Lin Pean, Guan-Joe Lai, Cheng Chen |
An Optimized Dependence Convex Hull Partitioning Technique to Maximize Parallelism of Nested Loops with Non-Uniform Dependences. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
non-uniform dependence, dependence convex hull, parallel processing, compilers, parallel compiler, loop parallelization |
36 | Yuanxia Shen, Guoyin Wang 0001, Chunmei Tao |
Positive Linear Correlation Particle Swarm Optimization. |
RSKT |
2009 |
DBLP DOI BibTeX RDF |
Particle swarm optimization, dependence, population diversity |
Displaying result #1 - #100 of 7776 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|