128 search results - page 6 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
70
Voted
ICS
2003
Tsinghua U.
15 years 4 months ago
2003
Tsinghua U.
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...
87
Voted
ISMB
1997
15 years 29 days ago
1997
The structural comparison of proteins has become increasingly important as a means to identify protein motifs and fold families. In this paper we present a new algorithm for the c...
ENTCS
2008
14 years 11 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
107
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
100
Voted
HPCA
2008
IEEE
15 years 12 months ago
2008
IEEE
Dynamic binary translation (DBT) is a runtime instrumentation technique commonly used to support profiling, optimization, secure execution, and bug detection tools for application...