21 search results - page 3 / 5 » Concrete Memory Models for Shape Analysis |
ICEIS
2002
IEEE
15 years 4 months ago
2002
IEEE
: We aim at elaborating a decision support system to manage concrete experience, using Artificial Intelligence methods, such as Case-Based Reasoning. We target any organization tha...
141
click to vote
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
In this position paper, we first review the state-of-the-art in graph-based semi-supervised learning, and point out three limitations that are particularly relevant to multimedia ...
118
Voted
CC
2012
Springer
13 years 7 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
Abstract— Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...
105
click to vote
ILC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...