233 search results - page 8 / 47 » Implementing Signatures for Transactional Memory |
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...
105
click to vote
WDAG
2010
Springer
14 years 7 months ago
2010
Springer
The imminent arrival of best-effort transactional hardware has spurred new interest in the construction of nonblocking data structures, such as those that require atomic updates to...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Nested transactional memory (TM) facilitates software composition by letting one module invoke another without either knowing whether the other uses transactions. Closed nested tr...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
ICWE
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...