128 search results - page 13 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
101
Voted
ICS
1999
Tsinghua U.
15 years 4 months ago
1999
Tsinghua U.
This paper presents a technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on object...
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
96
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
106
Voted
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...