9626 search results - page 12 / 1926 » Invariant Based Programming |
FASE
2006
Springer
14 years 1 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
PLDI
1997
ACM
14 years 1 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
Photometric invariance is a desired property for color image descriptors. It ensures that the description has a certain robustness with respect to scene incidental variations such...
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...