173 search results - page 5 / 35 » Inferring Network Invariants Automatically |
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
SIGCOMM
2003
ACM
14 years 18 days ago
2003
ACM
AAAI
1994
13 years 8 months ago
1994
ACIVS
2006
Springer
13 years 11 months ago
2006
Springer
Scene understanding is an important problem in intelligent robotics. Since visual information is uncertain due to several reasons, we need a novel method that has robustness to the...