7167 search results - page 169 / 1434 » A Technique for Invariant Generation |
163
click to vote
NECO
2010
15 years 5 months ago
2010
Neurons in the nervous system display a wide variety of plasticity processes. Among them are covariance based rules and homeostatic plasticity. By themselves, the first ones tend...
184
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
211
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Shape analysis requires invariance under translation, scale and rotation. Translation and scale invariance can be realized by normalizing shape vectors with respect to their mean ...
130
click to vote
ORL
2008
15 years 7 months ago
2008
We show that using max-algebraic techniques it is possible to generate the set of all solutions to a system of inequalities xi xj bij; i; j = 1; :::; n using n generators. This e
170
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...