Dominator

Results: 47



#Item
11G105 / Electrolyte / Technology / Science / Battery / G45 / Deep cycle battery

PHOTOVOLTAIC BATTERIES GEL SYSTEM / 2V The DEKA SOLAR DOMINATOR® Valve-Regulated Gel electrolyte battery is designed to offer reliable, maintenance-free power.

Add to Reading List

Source URL: africanenergy.com

Language: English - Date: 2015-01-20 17:12:53
12Deltahedra / Octahedron / Connected dominating set / Dominating set / Dominator / Routing / Truncated octahedron / Tree / Geometry / Convex geometry / Theoretical computer science

CCCG 2010, Winnipeg MB, August 9–11, 2010 3D Local Algorithm for Dominating Sets of Unit Disk Graphs A.E. Abdallah and T. Fevens and J. Opatrny∗ Abstract

Add to Reading List

Source URL: cccg.ca

Language: English - Date: 2010-07-19 10:46:14
13Static single assignment form / Compiler / Dominator / Data-flow analysis / Just-in-time compilation / Tango tree / Compiler construction / Software / Computing

An Intermediate Representation for Speculative Optimizations in a Dynamic Compiler Gilles Duboscq∗ ∗ Thomas W¨urthinger† Lukas Stadler∗ Christian Wimmer†

Add to Reading List

Source URL: design.cs.iastate.edu

Language: English - Date: 2013-10-10 09:43:22
14Computing / Dominator / Control flow graph / Static single assignment form / C / Compiler construction / Programming language theory / Software engineering

Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications Benjamin Livshits and Jaeyeon Jung Microsoft Research Abstract

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-08-07 18:14:03
15Dominator / Graph theory / Depth-first search / Tree traversal / Computing / Search algorithms / Mathematics / Compiler construction

Mechanized Verification of Computing Dominators for Formalizing Compilers Jianzhou Zhao and Steve Zdancewic University of Pennsylvania {jianzhou,stevez}@cis.upenn.edu Abstract. One prerequisite to the formal verification

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2012-10-15 15:20:25
16Programming language theory / Decompiler / Static single assignment form / Dominator / C / Source code / Compiler construction / Software engineering / Computing

Why decompilation? This course is ostensibly about Optimising Compilers. It is really about program analysis and transformation. Decompilation is achieved through analysis and transformation of target code; the transform

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2006-03-14 06:00:00
17Search algorithms / Graph connectivity / Compiler construction / Dominator / Depth-first search / Tree / Bridge / Node / Graph theory / Mathematics / Combinatorics

The Lengauer Tarjan Algorithm for Computing the Immediate Dominator Tree of a Flowgraph by Martin Richards

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2005-09-15 08:42:42
18Combinatorics / Data-flow analysis / Control flow graph / Programming language implementation / Static single assignment form / Depth-first search / Constant folding / Graph / Dominator / Compiler construction / Graph theory / Mathematics

Lecture 4 More on Data Flow: Constant Propagation Control Flow: Speed, Loops

Add to Reading List

Source URL: dragonbook.stanford.edu

Language: English - Date: 2008-09-08 14:03:18
19Multipoint relay / Computing / OSI protocols / Routing / Dominator / Network topology / Optimized Link State Routing Protocol / Vehicular Reactive Routing protocol / Routing algorithms / Wireless networking / Network architecture

GATEWAY MULTIPOINT RELAYS – AN MPR-BASED BROADCAST ALGORITHM FOR AD HOC NETWORKS Ou Liang, Y. Ahmet S¸ekercio˘glu, Nallasamy Mani Centre for Telecommunication and Information Engineering Monash University, Melbourne,

Add to Reading List

Source URL: titania.ctie.monash.edu.au

Language: English - Date: 2014-09-28 03:33:59
20Combinatorics / Control theory / Data-flow analysis / Control flow graph / Tree traversal / Signal-flow graph / Dominator / Control flow / Static single assignment form / Compiler construction / Graph theory / Mathematics

Lecture 4 More on Data Flow: Constant Propagation, Speed, Loops I.  Constant Propagation II.  Efficiency of Data Flow Analysis III.  Algorithm to find loops

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2012-01-08 02:00:08
UPDATE