Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,883,499 papers from all fields of science
Search
Sign In
Create Free Account
Strength reduction
Known as:
Reduction
In software engineering, strength reduction is a compiler optimization where expensive operations are replaced with equivalent but less expensive…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Arithmetic shift
Dead code elimination
Division by two
History of compiler construction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
CEBs stabilised with geopolymeric binders: mechanical performance of dry-stack masonry
Rui A. Silva
,
Edgar Soares
,
D. Oliveira
,
T. Miranda
,
N. Cristelo
,
Juliana Oliveira
2015
Corpus ID: 67796428
Portuguese Science and Technology Foundation (FCT) through the project FCOMP-01-0124-FEDER-028864 (FCT-PTDC/ECM-EST/2396/2012).
2014
2014
PREDICTION OF RESIDUAL TENSILE STRENGTH OF LAMINATED COMPOSITE PLATES AFTER LOW VELOCITY IMPACT
V. Balasubramani
,
S. Boopathy
2014
Corpus ID: 59419519
Laminated composite materials are extensively used in aerospace and marine industries because of their advantageous ratio between…
Expand
2013
2013
Bond and ductility: A theoretical study on the impact of construction details - part 2: Structure-specific features
D. Zwicky
2013
Corpus ID: 54886023
The first part of this two-part paper discussed basic considerations on bond strength and its effect on strain localization and…
Expand
2012
2012
Subsurface Evolution: Characterizing the physical and geochemical changes in weathered bedrock of Lower Gordon Gulch, Boulder Creek Critical Zone Observatory
P. Kelly
2012
Corpus ID: 133203273
2007
2007
Application of strength reduction finite element method to road tunnels
Wang Jian-xin
2007
Corpus ID: 113158572
Strength reduction finite element method is used in road tunnel. Based on latent slip surface and safety factor, the rationality…
Expand
2006
2006
Compositional SCC Analysis for Language Emptiness
Chao Wang
,
Roderick Bloem
,
G. Hachtel
,
Kavita Ravi
,
F. Somenzi
Formal Methods Syst. Des.
2006
Corpus ID: 17451344
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs…
Expand
2001
2001
Performance of a test embankment constructed on an organic clayey silt deposit
R. K. Rowe
,
C. Gnanendran
,
A. Valsangkar
,
A. Landva
2001
Corpus ID: 55434733
The instrumentation, construction, and field performance of a full-scale test embankment constructed on a soft compressible…
Expand
2000
2000
Torsional Vibration Analysis Of Synchronous Motor-Driven Turbomachinery.
M. Corbo
,
Clifford P. Cook
2000
Corpus ID: 18729049
One of the foremost concerns facing turbomachinery users today is that of torsional vibration. In contrast to lateral…
Expand
2000
2000
Hardware and Software Representation, Optimization, and Co-synthesis for Embedded Systems
B. Tabbara
,
A. Tabbara
,
A. Sangiovanni-Vincentelli
2000
Corpus ID: 18038113
Current software and hardware co-synthesis methodologies of control dominated embedded systems focus primarily on improving…
Expand
1998
1998
Registers On Demand, an integrated region scheduler and register allocator
Johan Janssen
,
H. Corporaal
1998
Corpus ID: 16761897
Two of the most important phases of code generation for instruction level parallel processors are register allocation and…
Expand