180 search results - page 8 / 36 » Loop Invariants on Demand |
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
ICS
1995
Tsinghua U.
13 years 11 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
AB
2007
Springer
14 years 2 months ago
2007
Springer
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
IPPS
1996
IEEE
14 years 3 days ago
1996
IEEE
Multiple instruction issue processors place high demands on register file bandwidth. One solution to reduce this bottleneck is the use of multiple register files. Register allocat...
ICC
1997
IEEE
14 years 5 days ago
1997
IEEE
: Practical realizations of the optimum closed loop structure for coherent demodulation of QPSK signals demands the approximation of the hyperbolic tangent nonlinearity (Tanh) with...