Sciweavers

255 search results - page 1 / 51
» Variability Models Must Not be Invariant!
Sort
View
VAMOS
2007
Springer
13 years 11 months ago
Variability Models Must Not be Invariant!
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
Elmar Jürgens, Markus Pizka
ICSE
2000
IEEE-ACM
13 years 8 months ago
Quickly detecting relevant program invariants
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
Michael D. Ernst, Adam Czeisler, William G. Griswo...
ECML
2001
Springer
13 years 9 months ago
Learning of Variability for Invariant Statistical Pattern Recognition
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speci...
Daniel Keysers, Wolfgang Macherey, Jörg Dahme...
CONCUR
2005
Springer
13 years 10 months ago
Termination Analysis of Integer Linear Loops
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
ICCV
2001
IEEE
14 years 6 months ago
Robust Histogram Construction from Color Invariants
An effective object recognition scheme is to represent and match images on the basis of histograms derived from photometric color invariants. A drawback, however, is that certain c...
Theo Gevers