1206 search results - page 28 / 242 » Concurrent Abstract Predicates |
106
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
108
Voted
ECBS
2006
IEEE
15 years 4 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
92
Voted
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
66
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy p...