|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 32(4), pp. 317-359, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 965-979, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 114-, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 13-24, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(11), pp. 29-36, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, pp. 387-404, 2006, Springer, 3-540-37756-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro |
Quantifying Degrees of Dependence in Social Dependence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MABS ![In: Multi-Agent-Based Simulation VII, International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers, pp. 172-187, 2006, Springer, 978-3-540-76536-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(5), pp. 27, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 10(2), pp. 209-254, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 510-519, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(3), pp. 196-213, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 205-214, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 13(3), pp. 241-255, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 282-291, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(3), pp. 635-678, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 29, Paris, France, December 2-4, 1996, pp. 238-247, 1996, ACM/IEEE Computer Society, 0-8186-7641-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 123-132, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(5), pp. 547-558, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(3), pp. 313-326, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 23-27, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2005, 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings, pp. 486-493, 2005, Springer, 3-540-26972-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Yonghong Song, Xiangyun Kong |
Index-Association Based Dependence Analysis and its Application in Automatic Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers, pp. 226-240, 2003, Springer, 3-540-21199-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Hyoung Seok Hong, Hasan Ural |
Dependence Testing: Extending Data Flow Testing with Control Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 23-39, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren |
Conversion of Control Dependence to Data Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 177-189, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
53 | Loren Larsen, Mary Jean Harrold |
Slicing Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 495-505, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 33-52, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Eric Pacuit, Fan Yang 0004 |
Dependence and Independence in Social Choice: Arrow's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 235-260, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Arnaud Durand 0001, Juha Kontinen, Heribert Vollmer |
Expressivity and Complexity of Dependence Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 5-32, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Henrik J. Nyman, Johan Pensar, Jukka Corander |
Context-Specific and Local Independence in Markovian Dependence Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 219-234, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Sebastian Link |
Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 183-217, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
52 | Christoph von Praun, Rajesh Bordawekar, Calin Cascaval |
Modeling optimistic concurrency using quantitative dependence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 185-196, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint International Conferences, APWeb/WAIM 2009, Suzhou, China, April 2-4, 2009, Proceedings, pp. 677-682, 2009, Springer, 978-3-642-00671-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(11), pp. 715-735, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software maintenance, program comprehension, program slicing, Dependence analysis |
51 | Rosa Meo |
Theory of dependence values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 25(3), pp. 380-406, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 3(2), pp. 203-211, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '94, Washington, DC, USA, November 14-18, 1994, pp. 508-517, 1994, IEEE Computer Society, 0-8186-6605-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 57-72, 2004, Springer, 3-540-21297-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Justiani, Laurie J. Hendren |
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings, pp. 309-323, 1994, Springer, 3-540-57877-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
50 | Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel |
Efficient Construction of Program Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993, pp. 160-170, 1993, ACM, 0-89791-608-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
48 | Narayan Ranganathan, Manoj Franklin |
An Empirical Study of Decentralized ILP Execution Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 272-281, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(4), pp. 465-476, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(8), pp. 45-52, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, Newport Beach, California, USA, October 12-16, 1999, pp. 264-273, 1999, IEEE Computer Society, 0-7695-0425-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Compiler Optimization, Data Dependence, Dependence Analysis, Automatic Parallelization |
47 | Michael Wolfe |
The Definition of Dependence Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1114-1116, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dependence distance, dependence analysis |
47 | Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Cost effective dynamic program slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 94-106, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), Seattle, Washington, USA, September 16-20, 2006, pp. 295-304, 2006, ACM, 1-59593-264-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Advances in Pattern Recognition, Joint IAPR International Workshops SSPR 2000 and SPR 2000, [8th International Workshop on Structural and Syntactic Pattern Recognition, 3rd International Workshop on Statistical Techniques in Pattern Recognition], Alicante, Spain, August 30 - September 1, 2000, Proceedings, pp. 571-580, 2000, Springer, 3-540-67946-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998, pp. 11-20, 1998, ACM, 0-89791-971-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 1-16, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings, pp. 213-220, 2005, Springer, 3-540-29810-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Konstantinos Kyriakopoulos, Kleanthis Psarris |
Data Dependence Analysis for Complex Loop Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2001 International Conference on Parallel Processing, ICPP 2002, 3-7 September 2001, Valencia, Spain, pp. 195-204, 2001, IEEE Computer Society, 0-7695-1257-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | David W. Binkley, Mark Harman |
Locating Dependence Clusters and Dependence Pollution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 177-186, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Hong Hao, Edward J. McCluskey |
Analysis of Gate Oxide Shorts in CMOS Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(12), pp. 1510-1516, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 1(3), pp. 310-354, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 129-181, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Wilfrid Hodges |
Remarks on Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 99-107, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Erich Grädel |
Games for Inclusion Logic and Fixed-Point Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 73-98, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 1-3, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Pietro Galliani |
On Strongly First-Order Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 53-71, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Åsa Hirvonen |
Independence in Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 109-128, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Andreas Blass |
Introduction to Secret-Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependence Logic ![In: Dependence Logic, Theory and Applications, pp. 261-276, 2016, Springer, 978-3-319-31801-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Ben He, Iadh Ounis |
On setting the hyper-parameters of term frequency normalization for information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 25(3), pp. 13, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994, pp. 2-10, 1994, ACM, 978-0-89791-691-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 666-674, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 157-, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(4), pp. 477-518, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallelization, dependence analysis, symbolic analysis |
41 | Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman |
Coherent dependence clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 53-60, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSDM ![In: Proceedings of the Third International Conference on Web Search and Web Data Mining, WSDM 2010, New York, NY, USA, February 4-6, 2010, pp. 31-40, 2010, ACM, 978-1-60558-889-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
query concept weighting, weighted dependence model |
41 | Jing Zhou, Guosun Zeng |
A general data dependence analysis for parallelizing compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 45(2), pp. 236-252, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS-ADM ![In: Autonomous Intelligent Systems: Multi-Agents and Data Mining, Second International Workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007, Proceedings, pp. 206-211, 2007, Springer, 978-3-540-72838-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 8(4), pp. 411-435, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 16th international conference on Supercomputing, ICS 2002, New York City, NY, USA, June 22-26, 2002, pp. 262-273, 2002, ACM, 1-58113-483-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada, pp. 55-64, 2002, IEEE Computer Society, 0-7695-1793-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Variable Dependence Analysis, Program Transformation, Program Slicing |
41 | Jianjun Zhao 0001 |
Multithreaded Dependence Graphs for Concurrent Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999, pp. 13-23, 1999, IEEE Computer Society, 0-7695-0191-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(3), pp. 462-491, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
compilers, program transformation, program optimization, control dependence |
41 | Jianjun Zhao 0001 |
Slicing Aspect-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 10th International Workshop on Program Comprehension (IWPC 2002), 27-29 June 2002, Paris, France, pp. 251-260, 2002, IEEE Computer Society, 0-7695-1495-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 25th IEEE International Conference on Software Maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada, pp. 287-296, 2009, IEEE Computer Society, 978-1-4244-4897-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Bo An 0001, Zhiqi Shen 0001, Chunyan Miao, Daijie Cheng |
Algorithms for Transitive Dependence-Based Coalition Formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 3(3), pp. 234-245, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 77-93, 2005, Springer, 3-540-25435-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings, pp. 121-130, 2005, Springer, 3-540-29639-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Patricio Bulic, Veselko Gustin |
Fast Dependence Analysis in a Multimedia Vectorizing Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 12th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2004), 11-13 February 2004, A Coruna, Spain, pp. 176-183, 2004, IEEE Computer Society, 0-7695-2083-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
A Program Dependence Model for Concurrent Logic Programs and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 672-681, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Moshovos, Gurindar S. Sohi |
Read-After-Read Memory Dependence Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 32nd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 32, Haifa, Israel, November 16-18, 1999, pp. 177-185, 1999, ACM/IEEE Computer Society, 0-7695-0437-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Claudia Bianchi |
Three Forms of Contextual Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 67-76, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Gianfranco Bilardi, Keshav Pingali |
Generalized Dominance and Control Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 291-300, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
40 | Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, Andreas Krall |
Dependence-Conscious Global Register Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and System Architectures ![In: Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings, pp. 125-136, 1994, Springer, 3-540-57840-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
40 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural Slicing Using Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(1), pp. 26-60, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural Slicing Using Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 35-46, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
40 | Susan Horwitz, Thomas W. Reps, David W. Binkley |
Interprocedural slicing using dependence graphs (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 229-243, 1988, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 20th Annual International Conference on Supercomputing, ICS 2006, Cairns, Queensland, Australia, June 28 - July 01, 2006, pp. 24, 2006, ACM, 1-59593-282-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(1), pp. 162-186, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 222-, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1248-1278, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, pp. 407-416, 1990, IEEE Computer Society, 0-89791-412-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pp. 54-62, 2007, ACM, 978-1-59593-850-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOQUA ![In: Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007, pp. 62-69, 2007, ACM, 978-1-59593-724-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 11(2), pp. 306-324, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 367-374, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 367-374, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|