7167 search results - page 28 / 1434 » A Technique for Invariant Generation |
110
click to vote
EOR
2007
15 years 1 months ago
2007
The stability domain is a feasible set for numerous optimization problems. D-decomposition technique is targeted to describe the stability domain in the parameter space for linear...
103
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
JSC
2006
15 years 1 months ago
2006
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
128
click to vote
CMA
2010
14 years 10 months ago
2010
Complex Multiplication (CM) method is a frequently used method for the generation of elliptic curves (ECs) over a prime field Fp. The most demanding and complex step of this metho...
111
click to vote
JDCTA
2010
14 years 8 months ago
2010
As one of the crucial problems in watermarking, robustness against geometric distortion and JPEG compression becomes more than challenging and problematic. In this paper, a robust...