12 search results - page 1 / 3 » Automatic Mutual Exclusion and Atomicity Checks |
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
POPL
2008
ACM
14 years 5 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
HOTOS
2007
IEEE
13 years 8 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
ECBS
2006
IEEE
13 years 8 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...