185 search results - page 7 / 37 » Invariants, Modularity, and Rights |
VTS
2000
IEEE
14 years 2 days ago
2000
IEEE
We present a low-cost on-line test methodology for RTL controller-datapath pairs, based on the notion of path invariance. The fundamental observation supporting the proposed metho...
ECOOP
2011
Springer
12 years 7 months ago
2011
Springer
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
AUTOMATICA
2008
13 years 6 months ago
2008
The solvability of the regulator equation for a general nonlinear system is discussed in this paper by using geometric method. The `feedback' part of the regulator equation, ...
FAC
2010
13 years 6 months ago
2010
For more than a decade, the trend in geometric constraint systems solving has been to use a geometric decomposition/recombination approach. These methods are generally grounded on...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...