Skip to search formSkip to main contentSkip to account menu

Dominator (graph theory)

Known as: Postdominance, Dominator, Lengauer-Tarjan algorithm 
In computer science, in control flow graphs, a node d dominates a node n if every path from the entry node to n must go through d. Notationally, this… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Basic blockCompilerComputer scienceControl flow graph

Broader (1)

Graph theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
RE-ACCELERATION OF NON-THERMAL PARTICLES AT WEAK COSMOLOGICAL SHOCK WAVES
We examine diffusive shock acceleration (DSA) of the pre-existing as well as freshly injected populations of non-thermal, cosmic… 
2011
2011
Dominator homomorphism based code matching for source-level simulation of embedded software
Relating optimized binary code and the source-level statements from which it was created can be challenging if an optimizing… 
2010
2010
LOW-FREQUENCY OSCILLATIONS IN XTE J1550−564
We present the results of a timing analysis of the low-frequency quasi-periodic oscillation (QPO) in the Rossi X-Ray Timing… 
2006
2006
Repetitive laser pulse heating analysis: Pulse parameter variation effects on closed form solution
2001
2001
Non-LTE line-formation for neutral and singly-ionized carbon - Model atom and first results on BA-type stars
A comprehensive model atom for non-LTE line-formation calculations for neutral and singly-ionized carbon is presented. Highly… 
2000
2000
Selective isolation of cationic amino acids and peptides by electro-membrane filtration
In the food industry there is a clear trend towards the production of speciality products with a high added value. Electro… 
2000
2000
In Defense of Vacuous Projections in Bare Phrase Structure
According to the current minimalist view, Bare Phrase Structure Theory (Chomsky 1994, 1995) implies the impossibility of vacuous… 
2000
2000
Dominator trees and fast verification of proof nets
  • A. MurawskiC. Ong
  • Proceedings Fifteenth Annual IEEE Symposium on…
  • 2000
  • Corpus ID: 5380755
We consider the following decision problems. PROOFNET: given a multiplicative linear logic (MLL) proof structure, is it a proof… 
1994
1994
Logic design error diagnosis and correction
Logic verification tools are often used to verify a gate-level implementation of a digital system in terms of its functional… 
Highly Cited
1990
Highly Cited
1990
THREE-PHASE PARTITIONING OF HYDROPHOBIC ORGANIC COMPOUNDS IN GREAT LAKES WATERS
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)