814 search results - page 1 / 163 » Analysis of Modular Arithmetic |
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
ICFP
1997
ACM
13 years 8 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
ARITH
1997
IEEE
13 years 8 months ago
1997
IEEE
In this paper we present a rigorous theoretical analysis of the main properties of a double base number system, using bases 2 and 3; in particular we emphasize the sparseness of t...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
ACISP
2008
Springer
13 years 10 months ago
2008
Springer