Sciweavers

Share
281 search results - page 1 / 57
» Call Invariants
Sort
View
SAS
2009
Springer
137views Formal Methods» more  SAS 2009»
9 years 8 months ago
Invariant Checking for Programs with Procedure Calls
Guillem Godoy, Ashish Tiwari
NFM
2011
252views Formal Methods» more  NFM 2011»
8 years 2 months ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer
JMIV
2008
121views more  JMIV 2008»
8 years 7 months ago
Extension of Moment Features' Invariance to Blur
Moment invariants are features calculated on an image, which do not change their values after a transformation of the image. This paper focuses on the so called combined invariants...
Jirí Boldys, Jan Flusser
AADEBUG
2005
Springer
8 years 9 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
Christian Lindig
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
8 years 5 months ago
Reduction of decentralized control problems to tractable representations
For decentralized control problems with quadratically invariant information constraints, the optimal controller may be found efficiently. In this paper, we show that there are sys...
Laurent Lessard, Sanjay Lall
books