Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,670,155 papers from all fields of science
Search
Sign In
Create Free Account
Loop invariant
Known as:
Invariant
, Loop invarient
, Loop-invariant code
In computer science, a loop invariant is a property of a program loop that is true before (and after) each iteration. It is a logical assertion…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
Abstract interpretation
Algorithm
Assertion (software development)
Class invariant
Expand
Broader (2)
Control flow
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Extensions and further applications of the nonlocal Polyakov{Nambu{Jona-Lasinio model
T. Hell
,
K. Kashiwa
,
W. Weise
2011
Corpus ID: 73594106
The nonlocal Polyakov-loop-extended Nambu-Jona-Lasinio model is further improved by including momentum-dependent wave-function…
Expand
2005
2005
One loop boundary effects: techniques and applications
V. Marachevsky
2005
Corpus ID: 18572938
A pedagogical introduction to the heat kernel technique, zeta function and Casimir effect is presented. Several applications are…
Expand
2005
2005
Preclassical solutions of the vacuum Bianchi I loop quantum cosmology
G. Date
2005
Corpus ID: 119333035
Loop quantization of diagonalized Bianchi class A models, leads to a partial difference equation as the Hamiltonian constraint at…
Expand
2004
2004
General loop fusion technique for nested loops considering timing and code size
Meilin Liu
,
Qingfeng Zhuge
,
Z. Shao
,
E. Sha
International Conference on Compilers…
2004
Corpus ID: 10090938
Loop fusion is commonly used to improve the instruction-level parallelism of loops for high-performance embedded computing…
Expand
2000
2000
UTSi CMOS: A Complete RF SOI Solution
R. Reedy
,
J. Cable
,
D. Kelly
,
M. Stuber
,
F. Wright
,
G. Wu
2000
Corpus ID: 54144728
Fully integrated frequency synthesizers are comprised of three major blocks: a voltage controlled oscillator (VCO), a phase…
Expand
1996
1996
Array restructuring for cache locality
Shun-Tak Leung
1996
Corpus ID: 41532004
Array Restructuring for Cache Locality by Shun-Tak Albert Leung Chairperson of Supervisory Committee: Professor John Zahorjan…
Expand
1995
1995
Linear Loop Transformations in Optimizing Compilers for Parallel Machines
D. Kulkarni
,
M. Stumm
1995
Corpus ID: 18428454
We present the linear loop transformation framework which is the formal basis for state of the art optimization techniques in…
Expand
1994
1994
Optimum loop filter in hybrid coders
K. Pang
,
T. K. Tan
IEEE Trans. Circuits Syst. Video Technol.
1994
Corpus ID: 42208373
Examines the role of the loop/interpolation filter in the motion compensation loop of hybrid coders. Using the Wiener filtering…
Expand
1988
1988
Optimization of horizontal microcode generation for loop structures
C. Eisenbeis
International Conference on Supercomputing
1988
Corpus ID: 7608826
MIMOSA is an experimental software for the automatic generation and optimization of microcode for horizontal microprogrammed…
Expand
1976
1976
On properly embedding planes in 3-manifolds
E. M. Brown
,
M. Brown
,
C. Feustel
1976
Corpus ID: 121276409
In this paper we prove an analog of the loop theorem for a certain class of noncompact 3-manifolds. In particular, we show that…
Expand