118 search results - page 2 / 24 » Specifying and checking semantic atomicity for multithreaded... |
CAV
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...