194 search results - page 15 / 39 » Rule-Based Runtime Verification |
179
click to vote
IJCV
2000
15 years 6 months ago
2000
This paper describes a simple method of fast background subtraction based upon disparity verification that is invariant to arbitrarily rapid run-time changes in illumination. Using...
159
click to vote
RTAS
2008
IEEE
16 years 24 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
178
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
193
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
128
Voted
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...