Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,216,403 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.
2016
2016
POST FIRE GUIDANCE FOR THE CRITICAL TEMPERATURE OF PRESTRESSING STEEL
L. Robertson
,
J. Gales
2016
Corpus ID: 140113073
Society depends on critical infrastructure – of whi ch the closure due to fire can result in severe economic losses. If post-fire…
Expand
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
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
Review
2006
Review
2006
Impact of LRFD Specifications on Design of Texas Bridges, Volume 2: Prestressed Concrete Bridge Girder Design Examples
M. B. Hueste
,
M. Adil
,
M. Adnan
,
P. B. Keating
2006
Corpus ID: 106829158
The Texas Department of Transportation (TxDOT) is currently designing highway bridge structures using the American Association of…
Expand
2001
2001
Performance of a test embankment constructed on an organic clayey silt deposit
R. 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.
Mark A. 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