691 search results - page 98 / 139 » Automatically Proving Linearizability |
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
ICDM
2003
IEEE
14 years 3 months ago
2003
IEEE
Automatic classification of documents is an important area of research with many applications in the fields of document searching, forensics and others. Methods to perform class...
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
ESAW
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
ISSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...