282 search results - page 21 / 57 » Description Logics for Shape Analysis |
CAV
2008
Springer
14 years 29 days ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
DAC
2006
ACM
14 years 12 months ago
2006
ACM
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
AGP
1995
IEEE
14 years 2 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Shape representation is a difficult task because of several symbol distortions, such as occlusions, elastic deformations, gaps or noise. In this paper, we propose a new descriptor ...
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...