691 search results - page 47 / 139 » Automatically Proving Linearizability |
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
PAM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Detecting clients with deviant behavior in the Bittorrent network is a challenging task that has not received the deserved attention. Typically, this question is seen as ...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Being able to animate a speech production model with articulatory data would open applications in many domains. In this paper, we first consider the problem of acquiring articula...
AIME
2009
Springer
14 years 4 months ago
2009
Springer
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...