156 search results - page 2 / 32 » Automatic Inference of Class Invariants |
DAC
2005
ACM
14 years 6 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
MICCAI
2007
Springer
14 years 6 months ago
2007
Springer
The goal of this work is the automatic inference of frequent patterns of the cortical sulci, namely patterns that can be observed only for a subset of the population. The sulci are...
ACSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...
JAIR
1998
13 years 5 months ago
1998
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...
AIPS
2000
13 years 6 months ago
2000
