Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,553,111 papers from all fields of science
Search
Sign In
Create Free Account
Global value numbering
Known as:
GVN
Global value numbering (GVN) is a compiler optimization based on the static single assignment form (SSA) intermediate representation. It sometimes…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Common subexpression elimination
Copy propagation
GNU Compiler Collection
Optimizing compiler
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Compiling for a Multithreaded Horizontally-microcoded Soft Processor Family
Ilian Tili
2013
Corpus ID: 63505748
Compiling for a Multithreaded Horizontally-Microcoded Soft Processor Family Ilian Tili Master of Applied Science Graduate…
Expand
Review
2011
Review
2011
The Returning Diaspora: Analyzing overseas Vietnamese (Viet Kieu) Contributions toward Vietnam's Economic Growth
Andrew T. Pham
2011
Corpus ID: 155061378
This paper focuses on the contributions of the Vietnamese Diaspora to Vietnam’s economic growth by examining its unique formation…
Expand
2011
2011
U.S. Intelligence and the origins of the Vietnam War, 1962 - 1965
Y. Ochiai
2011
Corpus ID: 142599216
Review
2007
Review
2007
The next generation Antarctic digital magnetic anomaly map
R. Frese
,
A. Golynsky
,
+5 authors
A. Grunow
2007
Corpus ID: 129468401
Initiated in 1995, the Antarctic Digital Magnetic Anomaly Project (ADMAP) produced the first magnetic anomaly map of the…
Expand
2006
2006
Behaviour-based approach for skill acquisition during assembly operations, starting from scratch
Jorge Corona Castuera
,
I. López-Juárez
Robotica (Cambridge. Print)
2006
Corpus ID: 2606451
Industrial robots in poorly structured environments have to interact compliantly with this environment for successful operations…
Expand
2005
2005
Randomized Algorithms for Program Analysis and Verification
G. Necula
,
Sumit Gulwani
International Conference on Computer Aided…
2005
Corpus ID: 2341803
Program analysis and verification are provably hard, and we have learned not to expect perfect results. We are accustomed to pay…
Expand
1999
1999
In-picture search algorithm for content-based image retrieval
P. Piamsa-nga
,
N. Alexandridis
,
S. Srakaew
,
G. Blankenship
,
S. Subramanya
Proceedings International Conference on Image…
1999
Corpus ID: 5906396
Researchers are currently more interested in searching for fragments that are similar to a query, than a total data item that is…
Expand
1995
1995
Undecidability, incompleteness and Arnol'd problems
N. Costa
,
F. Doria
Studia Logica: An International Journal for…
1995
Corpus ID: 32165416
We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol…
Expand
1973
1973
The Lines of Communication Program in Vietnam
Nelson P Conover
1973
Corpus ID: 114600199
Abstract : The highway construction program is investigated to outline its development from a low-level nation building effort…
Expand
1965
1965
Some Impressions of the Effects of Military Operations on Viet Cong Behavior
L. Gouré
1965
Corpus ID: 108157150
Abstract : A study of a small preliminary sample of 45 interviews of Viet Cong captives and defectors suggests a number of…
Expand
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)
ACCEPT & CONTINUE