2272 search results - page 11 / 455 » Validity Invariants and Effects |
SIAMSC
2008
13 years 7 months ago
2008
The Landweber method is a simple and flexible iterative regularization algorithm, whose projected variant provides nonnegative image reconstructions. Since the method is usually v...
MMM
2005
Springer
14 years 1 months ago
2005
Springer
Gabor filters have been proven to be very useful for texture retrieval and are widely adopted However, the original Gabor texturefeatures are rotation variant. Recently, Zhang et ...
LCTRTS
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Today’s complex integrated circuit designs increasingly rely on post-silicon validation to eliminate bugs that escape from presilicon verification. One effective silicon debug ...
ICRE
1998
IEEE
13 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...