7167 search results - page 352 / 1434 » A Technique for Invariant Generation |
195
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
209
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
215
click to vote
IJAC
2006
15 years 7 months ago
2006
There is a well-known correspondence between varieties of algebras and fully invariant congruences on the appropriate term algebra. A special class of varieties are those which ar...
190
click to vote
ICRA
1998
IEEE
15 years 12 months ago
1998
IEEE
This paper describes maximum likelihood estimation techniques for performing rover localization in natural terrain by matching range maps. An occupancy map of the local terrain is...
195
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...