691 search results - page 30 / 139 » Automatically Proving Linearizability |
SEFM
2006
IEEE
14 years 3 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
FORTE
1997
13 years 11 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
JSS
2008
13 years 9 months ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we introduce a practical flight coupon automatic processing system for scanning and recognition. We discuss the coupon classification, character location and binariz...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...