Search results for "dominator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	J. Jenny Li	Prioritize Code for Testing to Improve Code Coverage of Complex Software.	ISSRE	2005	DBLP DOI BibTeX RDF	coverage priority, Testing, code coverage, dominator analysis
94	Rajiv Gupta 0001	Generalized Dominators and Post-Dominators.	POPL	1992	DBLP DOI BibTeX RDF
94	T. Y. Chen, Y. Y. Cheung	Structural Properties of Post-Dominator Trees.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	post dominator trees, program slicing, trees (mathematics), test suite reduction, structural properties, construction algorithm, code optimisation
88	Ralucca Gera	On the Dominator Colorings in Bipartite Graphs.	ITNG	2007	DBLP DOI BibTeX RDF
78	Andrzej S. Murawski, C.-H. Luke Ong	Dominator Trees and Fast Verification of Proof Nets.	LICS	2000	DBLP DOI BibTeX RDF	verification of proof nets, Linear Logic, dominator trees
75	Tzong-Wann Kao, Shi-Jinn Horng	Computing Dominators and Its Applications on Processor Arrays with Reconfigurable Bus Systems.	ISPAN	1996	DBLP DOI BibTeX RDF	bridge-connected components, reconfigurable bus system, dominator, undirected graphs, bridge, dominator tree, biconnected components, articulation point
72	Martin D. Carroll, Barbara G. Ryder	Incremental Data Flow Analysis via Dominator and Attribute Updates.	POPL	1988	DBLP DOI BibTeX RDF
63	Miranda Mowbray, Antonio Lain	Dominator-tree analysis for distributed authorization.	PLAS	2008	DBLP DOI BibTeX RDF	access control, dominator tree, distributed authorization
59	Tetsuo Saitou, Mitsugu Suzuki, Tan Watanabe	Dominance analysis of irreducible CFGs by reduction.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	dominance frontier, immediate dominator, reduction, control flow graph, dominator tree, irreducible
56	Loukas Georgiadis, Robert Endre Tarjan	Dominator tree verification and vertex-disjoint paths.	SODA	2005	DBLP BibTeX RDF
56	Hira Agrawal	Efficient Coverage Testing Using Global Dominator Graphs.	PASTE	1999	DBLP DOI BibTeX RDF
53	G. Ramalingam	On loops, dominators, and dominance frontiers.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	irreducible graph, iterated dominance frontier, least common ancestor, loop nesting forest, sparse evaluation, graph transformation, Dominator, loop
47	Maxim Teslenko, Elena Dubrova	An Efficient Algorithm for Finding Double-Vertex Dominators in Circuit Graphs.	DATE	2005	DBLP DOI BibTeX RDF
47	Gao Nianshu, Zhaoqing Zhang, Ruliang Qiao	Precise Dependence Test for Scalar within Nested Loops.	APDC	1997	DBLP DOI BibTeX RDF
47	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	Incremental Computation of Dominator Trees.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	DJ graphs, dominance frontiers, dominator trees, incremental compilation
41	David Bañeres, Jordi Cortadella, Michael Kishinevsky	Dominator-based partitioning for delay optimization.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	logic design, timing optimization, logic partitioning
41	Chin Ngai Sze, Yu-Liang Wu	Improved alternative wiring scheme applying dominator relationship.	ASP-DAC	2001	DBLP DOI BibTeX RDF
41	G. Ramalingam, Thomas W. Reps	An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.	POPL	1994	DBLP DOI BibTeX RDF
38	Evan K. Maxwell, Godmar Back, Naren Ramakrishnan	Diagnosing memory leaks using graph mining on heap dumps.	KDD	2010	DBLP DOI BibTeX RDF	heap profiling, graph mining, graph grammars, memory leaks, dominator tree
38	Mustafa M. Tikir, Jeffrey K. Hollingsworth	Efficient instrumentation for code coverage testing.	ISSTA	2002	DBLP DOI BibTeX RDF	dynamic code deletion, dynamic code patching, on-demand instrumentation, testing, code coverage, dominator tree
38	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
31	Hongtu Ma, Rongcai Zhao, Ling Liang, Xun Li	A Multi-variable Algorithm for Placing Phi-nodes.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
31	Loukas Georgiadis	Computing Frequency Dominators and Related Problems.	ISAAC	2008	DBLP DOI BibTeX RDF
31	Bjorn De Sutter, Ludo Van Put, Koen De Bosschere	A practical interprocedural dominance algorithm.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Interprocedural control flow graph, dominators, interprocedural analysis
31	Marco T. Morazán, Ulrik Pagh Schultz	Optimal Lambda Lifting in Quadratic Time.	IFL	2007	DBLP DOI BibTeX RDF
31	Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley	Correcting the Dynamic Call Graph Using Control-Flow Constraints.	CC	2007	DBLP DOI BibTeX RDF
31	Nick Mitchell	The Runtime Structure of Object Ownership.	ECOOP	2006	DBLP DOI BibTeX RDF
31	Theresa Foley, Mike Houston, Pat Hanrahan	Efficient partitioning of fragment shaders for multiple-output hardware.	Graphics Hardware	2004	DBLP DOI BibTeX RDF
31	M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana	Fault equivalence identification in combinational circuits using implication and evaluation techniques.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
31	Matthew Fluet, Stephen Weeks	Contification Using Dominators.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
31	M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana	Fault Equivalence Identification Using Redundancy Information and Static and Dynamic Extraction.	VTS	2001	DBLP DOI BibTeX RDF
31	Vugranam C. Sreedhar, Guang R. Gao	A Linear Time Algorithm for Placing phi-nodes.	POPL	1995	DBLP DOI BibTeX RDF
25	Sayani Das, Sounaka Mishra	Approximation algorithm for minimum q-dominator partization problem.	Discret. Math. Algorithms Appl.	2024	DBLP DOI BibTeX RDF
25	Adel P. Kazemi, Farshad Kazemnejad	Total dominator total chromatic numbers of cycles and paths.	RAIRO Oper. Res.	2023	DBLP DOI BibTeX RDF
25	Parvin Jalilolghadr, Ali Behtoei	Total dominator chromatic number of Kneser graphs.	AKCE Int. J. Graphs Comb.	2023	DBLP DOI BibTeX RDF
25	Michael A. Henning, Kusum, Arti Pandey, Kaustav Paul	Complexity of Total Dominator Coloring in Graphs.	Graphs Comb.	2023	DBLP DOI BibTeX RDF
25	Michael A. Henning, Kusum, Arti Pandey, Kaustav Paul	Complexity of total dominator coloring in graphs.	CoRR	2023	DBLP DOI BibTeX RDF
25	Farshad Kazemnejad, Behnaz Pahlavsay, Elisa Palezzato, Michele Torielli	Total dominator coloring number of middle graphs.	Discret. Math. Algorithms Appl.	2023	DBLP DOI BibTeX RDF
25	Aritra Banik, Prahlad Narasimhan Kasthurirangan, Venkatesh Raman 0001	Dominator Coloring and CD Coloring in Almost Cluster Graphs.	WADS	2023	DBLP DOI BibTeX RDF
25	Anna Bachstein, Wayne Goddard, Michael A. Henning, John Xue	Compelling colorings: A generalization of the dominator chromatic number.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
25	Saeid Alikhani, Nima Ghanbari, Samaneh Soltani	Total dominator chromatic number of k-subdivision of graphs.	Art Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
25	Aritra Banik, Prahlad Narasimhan Kasthurirangan, Venkatesh Raman 0001	Dominator Coloring Parameterized by Cluster Vertex Deletion Number.	CoRR	2022	DBLP DOI BibTeX RDF
25	Wayne Goddard, Michael A. Henning	Domination and dominator colorings in planar graphs with small diameter.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
25	Fairouz Beggas, Hamamache Kheddouci, Walid Marweni	On the double total dominator chromatic number of graphs.	Discret. Math. Algorithms Appl.	2022	DBLP DOI BibTeX RDF
25	R. Rangarajan, David A. Kalarkop	A note on global dominator coloring of graphs.	Discret. Math. Algorithms Appl.	2022	DBLP DOI BibTeX RDF
25	Soumia Aioula, Mustapha Chellali, Noureddine Ikhlef Eschouf	On the dominator chromatic number of the generalized caterpillars forest.	RAIRO Oper. Res.	2021	DBLP DOI BibTeX RDF
25	Sandi Klavzar, Mostafa Tavakoli	Dominated and dominator colorings over (edge) corona and hierarchical products.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
25		Dominator tree data flow cognitive analysis for green public building design.	J. Supercomput.	2020	DBLP DOI BibTeX RDF
25	André Schäfer, Wolfram Amme, Thomas S. Heinze	Detection of Similar Functions Through the Use of Dominator Information.	ACSOS Companion	2020	DBLP DOI BibTeX RDF
25	M. Rajeswari, Ismail Sahul Hamid	Global dominator coloring of graphs.	Discuss. Math. Graph Theory	2019	DBLP DOI BibTeX RDF
25	Ke Deng, Yanhua Li, Jia Zeng, Mingxuan Yuan, Jun Luo 0007, Jeffrey Xu Yu	User Preference Analysis for Most Frequent Peer/Dominator.	IEEE Trans. Knowl. Data Eng.	2019	DBLP DOI BibTeX RDF
25	Michael Cary	Dominator Chromatic Numbers of Orientations of Trees.	CoRR	2019	DBLP BibTeX RDF
25	Michael Cary	Dominator Colorings of Digraphs.	CoRR	2019	DBLP BibTeX RDF
25	Michael Cary	A Linear Algorithm for Minimum Dominator Colorings of Orientations of Paths.	CoRR	2019	DBLP BibTeX RDF
25	S. Arumugam 0001, K. Raja Chandrasekar	Linear time algorithm for dominator chromatic number of trestled graphs.	Discret. Math. Algorithms Appl.	2019	DBLP DOI BibTeX RDF
25	A. Mohammed Abid, T. R. Ramesh Rao	Dominator coloring of Mycielskian graphs.	Australas. J Comb.	2019	DBLP BibTeX RDF
25	B. Jayaram 0003, S. Arumugam 0001, Krishnaiyan Thulasiraman	Dominator sequences in bipartite graphs.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
25	Qin Chen, Chengye Zhao, Min Zhao	Dominator Colorings of Certain Cartesian Products of Paths and Cycles.	Graphs Comb.	2017	DBLP DOI BibTeX RDF
25	Chungang Yang, Yue Zhang, Jiandong Li 0001, Zhu Han 0001	Power Control Mean Field Game with Dominator in Ultra-Dense Small Cell Networks.	GLOBECOM	2017	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Robert E. Tarjan	Addendum to "Dominator Tree Certification and Divergent Spanning Trees".	ACM Trans. Algorithms	2016	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Robert E. Tarjan	Dominator Tree Certification and Divergent Spanning Trees.	ACM Trans. Algorithms	2016	DBLP DOI BibTeX RDF
25	P. Paulraja, K. Raja Chandrasekar	Dominator Colorings of Products of Graphs.	ICTCSDM	2016	DBLP DOI BibTeX RDF
25	J. Maria Jeyaseeli, Nazanin Movarraei, S. Arumugam 0001	Dominator Coloring of Generalized Petersen Graphs.	ICTCSDM	2016	DBLP DOI BibTeX RDF
25	Bob Kurtz	On the utility of dominator mutants for mutation testing.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
25	Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio Eduardo Delamaro, Mariet Kurtz, Nida Gökçe	Analyzing the validity of selective mutation with dominator mutants.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
25	Michael A. Henning	Total Dominator Colorings and Total Domination in Graphs.	Graphs Comb.	2015	DBLP DOI BibTeX RDF
25	B. S. Panda 0001, Arti Pandey	On the dominator coloring in proper interval graphs and block graphs.	Discret. Math. Algorithms Appl.	2015	DBLP DOI BibTeX RDF
25	Houcine Boumediene Merouane, Mustapha Chellali	An algorithm for the dominator chromatic number of a tree.	J. Comb. Optim.	2015	DBLP DOI BibTeX RDF
25	S. Arumugam 0001, B. Jayaram 0003, Krishnaiyan Thulasiraman	Independent Dominator Sequence Number of a Graph.	ICGTIS	2015	DBLP DOI BibTeX RDF
25	Sandrine Blazy, Delphine Demange, David Pichardie	Validating Dominator Trees for a Fast, Verified Dominance Test.	ITP	2015	DBLP DOI BibTeX RDF
25	Abhishek Bichhawat	Post-Dominator Analysis for Precisely Handling Implicit Flows.	ICSE (2)	2015	DBLP DOI BibTeX RDF
25	Luigi Laura, Umberto Nanni, Marco Temperini	Visual Analysis Based on Dominator Trees with Application to Personalized eLearning.	ICWL	2014	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Luigi Laura, Nikos Parotsidis, Robert Endre Tarjan	Dominator Certification and Independent Spanning Trees: An Experimental Study.	SEA	2013	DBLP DOI BibTeX RDF
25	Mustapha Chellali, Hocine Boumediene Merouane	On the dominator colorings in trees.	Discuss. Math. Graph Theory	2012	DBLP DOI BibTeX RDF
25	Mustapha Chellali, Frédéric Maffray	Dominator Colorings in Some Classes of Graphs.	Graphs Comb.	2012	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Robert Endre Tarjan	Dominator Tree Certification and Independent Spanning Trees	CoRR	2012	DBLP BibTeX RDF
25	Wojciech Fraczak, Andrew Miller	Disjoint Set Forest Digraph Representation for an Efficient Dominator Tree Construction.	IWOCA	2012	DBLP DOI BibTeX RDF
25	HyoJung Han, HoonSang Jin, Fabio Somenzi	Clause simplification through dominator analysis.	DATE	2011	DBLP DOI BibTeX RDF
25	Stefan Stattelmann, Oliver Bringmann 0001, Wolfgang Rosenstiel	Dominator homomorphism based code matching for source-level simulation of embedded software.	CODES+ISSS	2011	DBLP DOI BibTeX RDF
25	S. Arumugam 0001, K. Raja Chandrasekar, Neeldhara Misra, Geevarghese Philip, Saket Saurabh 0001	Algorithmic Aspects of Dominator Colorings in Graphs.	IWOCA	2011	DBLP DOI BibTeX RDF
25	Hira Agrawal	Efficient coverage testing using global dominator graphs.	ACM SIGSOFT Softw. Eng. Notes	1999	DBLP DOI BibTeX RDF
25	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	Incremental Computation of Dominator Trees.	Intermediate Representations Workshop	1995	DBLP DOI BibTeX RDF
25	S. J. Horng	Parallel Dominator Computation on a Rap.	Parallel Algorithms Appl.	1994	DBLP DOI BibTeX RDF
25	Jeff Chu	Optimal Algorithm for the Nearest Common Dominator Problem.	J. Algorithms	1992	DBLP DOI BibTeX RDF
25	Philip H. Sweany, Steven J. Beaty	Dominator-path scheduling: a global scheduling method.	MICRO	1992	DBLP DOI BibTeX RDF
25	Dick B. Simmons	Communications: a software group productivity dominator.	Softw. Eng. J.	1991	DBLP DOI BibTeX RDF
25	Ernst L. Leiss	On the Degree of Dominator Trees.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
22	John Homer, Ashok Varikuti, Xinming Ou, Miles A. McQueen	Improving Attack Graph Visualization through Data Reduction and Attack Grouping.	VizSEC	2008	DBLP DOI BibTeX RDF	attack graph visualization, network security analysis, dominator, graph clustering, attack graph
22	Trung T. Dinh-Trong, Birgit Geppert, J. Jenny Li, Frank Rößler	Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests.	QSIC	2008	DBLP DOI BibTeX RDF	testing, refactoring, dominator, control flow graph, code coverage, test adequacy criteria
22	Andrzej S. Murawski, C.-H. Luke Ong	Fast verification of MLL proof nets via IMLL.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Multiplicative linear logic, disjoint union find, essential nets, dominator trees, proof nets
22	Jaejin Lee, David A. Padua	Hiding Relaxed Memory Consistency with a Compiler.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	relaxed memory consistency, fence, compiler, synchronization, NP-hard, dominator, Sequential consistency
22	Adam L. Buchsbaum, Yih-Farn Chen, Huale Huang, Eleftherios Koutsofios, John M. Mocenigo, Anne Rogers, Michael Jankowsky, Spiros Mancoridis	Visualizing and Analyzing Software Infrastructures.	IEEE Softw.	2001	DBLP DOI BibTeX RDF	Enterprise Database, Clustering, Java, World Wide Web, Software Architecture, Dominator, JDBC, Software Infrastructure, Database Visualization
22	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	Identifying Loops Using DJ Graphs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	DJ graphs, Tarjan's interval, irreducible flowgraphs, reducible flowgraphs, dominator trees
22	Marc M. Brandis, Hanspeter Mössenböck	Single-Pass Generation of Static Single-Assignment Form for Structured Languages.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	structured languages, dominator tree, static single-assignment form
22	Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck	Efficiently Computing Static Single Assignment Form and the Control Dependence Graph.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	def-use chain, optimizing compilers, dominator, control flow graph, control dependence
22	Daniel Brand	Detecting Sneak Paths in Transistor Networks.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	transistor network, sneak path, synthesis, Dominator
16	Rajiv Misra, Chittaranjan A. Mandal	Rotation of CDS via Connected Domatic Partition in Ad Hoc Sensor Networks.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
16	Atif M. Memon	Automatically repairing event sequence-based GUI test suites for regression testing.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	repairing test cases, test case management, test maintenance, Graphical user interfaces, regression testing
16	Subhajit Roy 0001, Y. N. Srikant	Improving flow-insensitive solutions for non-separable dataflow problems.	SAC	2008	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis
16	Dibyendu Das 0001, Manish Gupta, Rajan Ravindran, W. Shivani, P. Sivakeshava, Rishabh Uppal	Compiler-controlled extraction of computation-communication overlap in MPI applications.	IPDPS	2008	DBLP DOI BibTeX RDF