Search results for "dominators"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
170	Rajiv Gupta 0001	Generalized Dominators and Post-Dominators.	POPL	1992	DBLP DOI BibTeX RDF
128	Maxim Teslenko, Elena Dubrova	An Efficient Algorithm for Finding Double-Vertex Dominators in Circuit Graphs.	DATE	2005	DBLP DOI BibTeX RDF
128	René Krenz, Elena Dubrova	A fast algorithm for finding common multiple-vertex dominators in circuit graphs.	ASP-DAC	2005	DBLP DOI BibTeX RDF
93	Loukas Georgiadis	Computing Frequency Dominators and Related Problems.	ISAAC	2008	DBLP DOI BibTeX RDF
93	Rene Krenz-Baath, Andreas Glowatz, Jürgen Schlöffel	Computation and Application of Absolute Dominators in Industrial Designs.	ETS	2007	DBLP DOI BibTeX RDF
93	Loukas Georgiadis, Robert Endre Tarjan	Finding dominators revisited: extended abstract.	SODA	2004	DBLP BibTeX RDF
78	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
76	René Krenz	Efficient computation of dominators in multiple-output circuit graphs.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
69	Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook	A New, Simpler Linear-Time Dominators Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	flowgraphs, microtrees, path compression, compilers, dominators
59	Loukas Georgiadis, Renato Fonseca F. Werneck, Robert Endre Tarjan, Spyridon Triantafyllis, David I. August	Finding Dominators in Practice.	ESA	2004	DBLP DOI BibTeX RDF
52	Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook	Corrigendum: a new, simpler linear-time dominators algorithm.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	flowgraphs, microtrees, path compression, Compilers, dominators
50	Sujatha Srinivasan, Sivakumar Ramakrishnan	Dominators vs pure dominators on the accuracy of a classifier with a multi objective cultural algorithm.	ICACCI	2012	DBLP DOI BibTeX RDF
44	Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal	BDD Decomposition for Efficient Logic Synthesis.	ICCD	1999	DBLP DOI BibTeX RDF	Decomposition, Logic Synthesis, BDD, Dominators
42	René Krenz, Elena Dubrova	Improved Boolean function hashing based on multiple-vertex dominators.	ASP-DAC	2005	DBLP DOI BibTeX RDF
42	Mahadevan Subramaniam, Jiangfan Shi	Using Dominators to Extract Observable Protocol Contexts.	SEFM	2005	DBLP DOI BibTeX RDF
42	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
42	Thomas Lengauer, Robert Endre Tarjan	A Fast Algorithm for Finding Dominators in a Flowgraph.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
34	Elena Dubrova	A Polynomial Time Algorithm for Non-Disjoint Decomposition of Multiple-Valued Functions.	ISMVL	2004	DBLP DOI BibTeX RDF
34	Jaejin Lee, David A. Padua	Hiding Relaxed Memory Consistency with Compilers.	IEEE PACT	2000	DBLP DOI BibTeX RDF
27	Matthew A. Hammer, Umut A. Acar, Yan Chen 0001	CEAL: a C-based language for self-adjusting computation.	PLDI	2009	DBLP DOI BibTeX RDF	control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation
27	John Gilbert, David M. Abrahamson	Adaptive Compression of Graph Structured Text.	DCC	2008	DBLP DOI BibTeX RDF	adaptive compression, graphs, dominators, lzw
27	Maroun Kassab, Eduard Cerny, Sidi Aourid, Thomas H. Krodel	Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis.	DATE	1998	DBLP DOI BibTeX RDF	Waveforms, Graph Dominators, Domain narrowing, Formal Verification, Timing Verification, Combinational Logic circuits
25	Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner	Constant-Loop Dominators for Single-Path Code Optimization.	WCET	2023	DBLP DOI BibTeX RDF
25	Yosuke Mizutani, Annie Staker, Blair D. Sullivan	Minimizing Congestion for Balanced Dominators.	KDD	2022	DBLP DOI BibTeX RDF
25	Nan Jiang	A data flow analysis algorithm for computing dominators.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
25	Loukas Georgiadis, Konstantinos Giannis, Giuseppe F. Italiano, Aikaterini Karanasiou, Luigi Laura	Dynamic Dominators and Low-High Orders in DAGs.	ESA	2019	DBLP DOI BibTeX RDF
25	Jiang Bian 0003, Weibo Wang, Xiang Zhang 0001, Wei Wang 0010, Arthur Huang, Zhishan Guo	On Generating Dominators of Customer Preferences.	IEEE BigData	2019	DBLP DOI BibTeX RDF
25	Hua Lu 0001, Man Lung Yiu, Xike Xie	Querying spatial data by dominators in neighborhood.	Inf. Syst.	2018	DBLP DOI BibTeX RDF
25	Quan Liu, Yanbo Wang, Bo Yuan 0002	Matrix Factorization From a Few Dominators.	IEEE Trans. Neural Networks Learn. Syst.	2018	DBLP DOI BibTeX RDF
25	Yong Zheng 0001	Identifying Dominators and Followers in Group Decision Making based on The Personality Traits.	IUI Workshops	2018	DBLP BibTeX RDF
25	Loukas Georgiadis, Thomas Dueholm Hansen, Giuseppe F. Italiano, Sebastian Krinninger, Nikos Parotsidis	Decremental Data Structures for Connectivity and Dominators in Directed Graphs.	CoRR	2017	DBLP BibTeX RDF
25	Loukas Georgiadis, Thomas Dueholm Hansen, Giuseppe F. Italiano, Sebastian Krinninger, Nikos Parotsidis	Decremental Data Structures for Connectivity and Dominators in Directed Graphs.	ICALP	2017	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Federico Santaroni	An Experimental Study of Dynamic Dominators.	CoRR	2016	DBLP BibTeX RDF
25	Maxim Teslenko, Elena Dubrova	A Linear-Time Algorithm for Finding All Double-Vertex Dominators of a Given Vertex.	CoRR	2015	DBLP BibTeX RDF
25	David Gerard, Peter D. Hoff	Equivariant minimax dominators of the MLE in the array normal model.	J. Multivar. Anal.	2015	DBLP DOI BibTeX RDF
25	Simone Wurster, Knut Blind, Sebastian Fischer	Born Global Market Dominators: Insight into a Unique Class of Young Companies and Their Environment.	Int. J. IT Stand. Stand. Res.	2014	DBLP DOI BibTeX RDF
25	Wojciech Fraczak, Loukas Georgiadis, Andrew Miller, Robert Endre Tarjan	Corrections to "Finding dominators via disjoint set union" [J. Discrete Algorithms 23 (2013) 2-20].	J. Discrete Algorithms	2014	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Luigi Laura, Nikos Parotsidis, Robert Endre Tarjan	Loop Nesting Forests, Dominators, and Applications.	SEA	2014	DBLP DOI BibTeX RDF
25	Aharon Abadi, Yishai A. Feldman	A Parallel On-Demand Algorithm for Computing Interprocedural Dominators.	SCAM	2014	DBLP DOI BibTeX RDF
25	Wojciech Fraczak, Loukas Georgiadis, Andrew Miller, Robert Endre Tarjan	Finding dominators via disjoint set union.	J. Discrete Algorithms	2013	DBLP DOI BibTeX RDF
25	Wojciech Fraczak, Loukas Georgiadis, Andrew Miller, Robert Endre Tarjan	Finding Dominators via Disjoint Set Union.	CoRR	2013	DBLP BibTeX RDF
25	Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Federico Santaroni	An Experimental Study of Dynamic Dominators.	ESA	2012	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Robert Endre Tarjan	Dominators, Directed Bipolar Orders, and Independent Spanning Trees.	ICALP (1)	2012	DBLP DOI BibTeX RDF
25	Jianzhou Zhao, Steve Zdancewic	Mechanized Verification of Computing Dominators for Formalizing Compilers.	CPP	2012	DBLP DOI BibTeX RDF
25	Thanh Dang Nguyen, Vyacheslav V. Zalyubovskiy, Hyunseung Choo	Efficient Time Latency of Data Aggregation Based on Neighboring Dominators in WSNs.	GLOBECOM	2011	DBLP DOI BibTeX RDF
25	Konstantinos Patakakis, Loukas Georgiadis, Vasileios A. Tatsis	Dynamic Dominators in Practice.	Panhellenic Conference on Informatics	2011	DBLP DOI BibTeX RDF
25	Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus	Leveraging dominators for preprocessing QBF.	DATE	2010	DBLP DOI BibTeX RDF
25	Adam L. Buchsbaum, Loukas Georgiadis, Haim Kaplan, Anne Rogers, Robert Endre Tarjan, Jeffery R. Westbrook	Linear-Time Algorithms for Dominators and Other Path-Evaluation Problems.	SIAM J. Comput.	2008	DBLP DOI BibTeX RDF
25	Loukas Georgiadis, Robert Endre Tarjan, Renato Fonseca F. Werneck	Finding Dominators in Practice.	J. Graph Algorithms Appl.	2006	DBLP DOI BibTeX RDF
25	Luis Quesada 0001, Peter Van Roy, Yves Deville, Raphaël Collet	Using Dominators for Solving Constrained Path Problems.	PADL	2006	DBLP DOI BibTeX RDF
25	Roman Gershman, Maya Koifman, Ofer Strichman	Deriving Small Unsatisfiable Cores with Dominators.	CAV	2006	DBLP DOI BibTeX RDF
25	Elena Dubrova, Maxim Teslenko, Andrés Martinelli	On relation between non-disjoint decomposition and multiple-vertex dominators.	ISCAS (4)	2004	DBLP BibTeX RDF
25	Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook	Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators	CoRR	2002	DBLP BibTeX RDF
25	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
25	Matthew Fluet, Stephen Weeks	Contification Using Dominators.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
25	Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup	Generalized Dominators for Structured Programs.	Algorithmica	2000	DBLP DOI BibTeX RDF
25	Emilio Carrizosa, Frank Plastria	Dominators for Multiple-objective Quasiconvex Maximization Problems.	J. Glob. Optim.	2000	DBLP DOI BibTeX RDF
25	G. Ramalingam	On loops, dominators, and dominance frontier.	PLDI	2000	DBLP DOI BibTeX RDF
25	Stephen Alstrup, Dov Harel, Peter W. Lauridsen, Mikkel Thorup	Dominators in Linear Time.	SIAM J. Comput.	1999	DBLP DOI BibTeX RDF
25	Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook	Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators.	STOC	1998	DBLP DOI BibTeX RDF
25	Tzong-Wann Kao, Shi-Jinn Horng	Computing Dominators on Interval Graphs.	J. Inf. Sci. Eng.	1997	DBLP BibTeX RDF
25	Stephen Alstrup, Jens Clausen, Kristian Jørgensen	An O(\|V\|*\|E\|) Algorithm for Finding Immediate Multiple-Vertex Dominators.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
25	Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup	Generalized Dominators for Structured Programs.	SAS	1996	DBLP DOI BibTeX RDF
25	Rajiv Gupta 0001	Generalized Dominators.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
25	Hiralal Agrawal	Dominators, Super Blocks, and Program Coverage.	POPL	1994	DBLP DOI BibTeX RDF
25	Shi-Jinn Horng	Computing Dominators on a Cube-Connected Machine.	Parallel Comput.	1993	DBLP DOI BibTeX RDF
25	Shi-Jinn Horng	Parallel Compting Dominators on Hypercube Multiprocessors.	ICCI	1993	DBLP BibTeX RDF
25	Bernd Becker 0001, Ralf Hahn, Rolf Krieger	Fast fault simulation in combinational circuits: an efficient data structure, dynamic dominators and refined check-up.	EURO-DAC	1992	DBLP DOI BibTeX RDF
25	Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan	Computing Dominators in Parallel.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
25	Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan	A Parallel Algorithm for Dominators.	ICPP	1986	DBLP BibTeX RDF
25	Dov Harel	A Linear Time Algorithm for Finding Dominators in Flow Graphs and Related Problems	STOC	1985	DBLP DOI BibTeX RDF
25	Renata Ochranová	Finding Dominators.	FCT	1983	DBLP DOI BibTeX RDF
25	Robert Endre Tarjan	Finding Dominators in Directed Graphs.	SIAM J. Comput.	1974	DBLP DOI BibTeX RDF
17	Nicholas Cameron 0001, Sophia Drossopoulou	Existential Quantification for Variant Ownership.	ESOP	2009	DBLP DOI BibTeX RDF
17	Robert Endre Tarjan	Reachability Problems on Directed Graphs.	ISAAC	2008	DBLP DOI BibTeX RDF
17	Yang Zhao, John Boyland	A Fundamental Permission Interpretation for Ownership Types.	TASE	2008	DBLP DOI BibTeX RDF	Ownership, Permission
17	Paolo Bonzini, Laura Pozzi	Polynomial-time subgraph enumeration for automated instruction set extension.	DATE	2007	DBLP DOI BibTeX RDF
17	Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002	Infering Ownership Types for Encapsulated Object-Oriented Program Components.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
17	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
17	Vishwani D. Agrawal, Soumitra Bose, Vijay Gangaram	Upper Bounding Fault Coverage by Structural Analysis and Signal Monitoring.	VTS	2006	DBLP DOI BibTeX RDF
17	Jing Wu, Guo-Chang Gu	RealTime-BestPoint-Based Compiler Optimization Algorithm.	APWeb Workshops	2006	DBLP DOI BibTeX RDF	Real-time best-point, live-vertex, semilive-vertex, complete semilive-vertex
17	Egon Balas, Cid C. de Souza	The vertex separator problem: a polyhedral investigation.	Math. Program.	2005	DBLP DOI BibTeX RDF
17	Loukas Georgiadis, Robert Endre Tarjan	Dominator tree verification and vertex-disjoint paths.	SODA	2005	DBLP BibTeX RDF
17	Gregor Snelting	Concept Lattices in Software Analysis.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
17	Rajesh Venkatasubramanian, John P. Hayes	Discovering 1-FT Routes in Mobile Ad Hoc Networks.	DSN	2004	DBLP DOI BibTeX RDF
17	Benjamin Aminof, Thomas Ball, Orna Kupferman	Reasoning About Systems with Transition Fairness.	LPAR	2004	DBLP DOI BibTeX RDF
17	Bo Gao, Yuhang Yang, Huiye Ma	An Effective Distributed Approximation Algorithm for Constructing Minimum Connected Dominating Set in Wireless Ad Hoc Networks.	CIT	2004	DBLP DOI BibTeX RDF
17	Bo Gao, Huiye Ma, Yuhang Yang	A New Distributed Approximation Algorithm for Constructing Minimum Connected Dominating Set in Wireless Ad Hoc Networks.	ISPA	2004	DBLP DOI BibTeX RDF
17	Devdatt P. Dubhashi, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan, Aravind Srinivasan	Fast distributed algorithms for (weakly) connected dominating sets and linear-size skeletons.	SODA	2003	DBLP BibTeX RDF	Ad hoc networks, distributed algorithms, dominating sets
17	Dick B. Simmons	Measuring and Tracking Distributed Software Development Projects.	FTDCS	2003	DBLP DOI BibTeX RDF
17	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
17	Chin Ngai Sze, Yu-Liang Wu	Improved alternative wiring scheme applying dominator relationship.	ASP-DAC	2001	DBLP DOI BibTeX RDF
17	Congguang Yang, Maciej J. Ciesielski	Synthesis for Mixed CMOS/PTl Logic.	DATE	2000	DBLP DOI BibTeX RDF
17	Andrew Begel, Steven McCanne, Susan L. Graham	BPF+: Exploiting Global Data-Flow Optimization in a Generalized Packet Filter Architecture.	SIGCOMM	1999	DBLP DOI BibTeX RDF
17	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
17	Torsten Grüning, Udo Mahlstedt, Wilfried Daehn, Cengiz Özcan	Accelerated test pattern generation by cone-oriented circuit partitioning.	EURO-DAC	1990	DBLP DOI BibTeX RDF
17	Matthew S. Hecht, Jeffrey D. Ullman	Analysis of a Simple Algorithm for Global Flow Problems.	POPL	1973	DBLP DOI BibTeX RDF	available expressions, depth-first spanning tree, global data flow analysis, live variables, reducibility, dominance, code optimization, interval analysis, flow graph