Result 1 to 20 from 69 total
A framework for formally verifying software transactional memory algorithms. (English)
Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 516-530 (2012).
1
What kinds of applications can benefit from transactional memory? (English)
Varbanescu, Ana Lucia (ed.) et al., Computer architecture. ISCA 2010 international workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19‒23, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24321-9/pbk). Lecture Notes in Computer Science 6161, 150-160 (2011).
2
Hybrid norec: a case study in the effectiveness of best effort hardware transactional memory (English)
ASPLOS, 39-52 (2011).
3
On the power of hardware transactional memory to simplify memory management (English)
PODC, 99-108 (2011).
4
Simplifying concurrent algorithms by exploiting hardware transactional memory (English)
SPAA, 325-334 (2010).
5
Nonblocking algorithms and backward simulation. (English)
Keidar, Idit (ed.), Distributed computing. 23rd international symposium, DISC 2009, Elche, Spain, September 23‒25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04354-3/pbk). Lecture Notes in Computer Science 5805, 274-288 (2009).
6
Nonblocking $k$-compare-single-swap. (English)
Theory Comput. Syst. 44, No. 1, 39-66 (2009).
7
Early experience with a commercial hardware transactional memory implementation (English)
ASPLOS, 157-168 (2009).
8
Nonblocking algorithms and backward simulation (English)
DISC, 274-288 (2009).
9
NZTM: nonblocking zero-indirection transactional memory (English)
SPAA, 204-213 (2009).
10
Wait-free synchronization (English)
Encyclopedia of Algorithms (2008).
11
The adaptive transactional memory test platform: a tool for experimenting with transactional code for rock (poster) (English)
SPAA, 362 (2008).
12
Toward high performance nonblocking software transactional memory (English)
PPOPP, 227-236 (2008).
13
SNZI: scalable nonzero indicators (English)
PODC, 13-22 (2007).
14
Efficient nonblocking software transactional memory (English)
PPOPP, 136-137 (2007).
15
A lazy concurrent list-based set algorithm. (English)
Anderson, James H. (ed.) et al., Principles of distributed systems. 9th international conference, OPODIS 2005, Pisa, Italy, December 12‒14, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-36321-7/pbk). Lecture Notes in Computer Science 3974, 3-16 (2006).
16
Formal verification of a lazy concurrent list-based set algorithm. (English)
Ball, Thomas (ed.) et al., Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17‒20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37406-X/pbk). Lecture Notes in Computer Science 4144, 475-488 (2006).
17
Hybrid transactional memory (English)
ASPLOS, 336-346 (2006).
18
Composite abortable locks (English)
IPDPS, 1-10 (2006).
19
A flexible framework for implementing software transactional memory (English)
OOPSLA, 253-262 (2006).
20
Result 1 to 20 from 69 total
Start
Contact
Print
General Help
