×

Found 13 Documents (Results 1–13)

On the liveness of transactional memory. (English) Zbl 1301.68089

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 9-18 (2012).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI Link

The semantics of progress in lock-based transactional memory. (English) Zbl 1315.68065

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 404-415 (2009).
MSC:  68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Software transactional memory on relaxed memory models. (English) Zbl 1242.68162

Bouajjani, Ahmed (ed.) et al., Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02657-7/pbk). Lecture Notes in Computer Science 5643, 321-336 (2009).
MSC:  68Q60 68N19
PDFBibTeX XMLCite
Full Text: DOI

Transactional memory: glimmer of a theory (invited paper). (English) Zbl 1242.68056

Bouajjani, Ahmed (ed.) et al., Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02657-7/pbk). Lecture Notes in Computer Science 5643, 1-15 (2009).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

How fast can a very robust read be? (English) Zbl 1314.68157

Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 248-257 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Toward a theory of transactional contention managers. (English) Zbl 1314.68088

Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 258-264 (2005).
PDFBibTeX XMLCite
Full Text: DOI Link

How fast can a distributed atomic read be? (English) Zbl 1321.68071

Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 236-245 (2004).
PDFBibTeX XMLCite
Full Text: DOI

AOP: Does it make sense? The case of concurrency and failures. (English) Zbl 1049.68800

Magnusson, Boris (ed.), ECOOP 2002 - object-oriented programming. 16th European conference, Málaga, Spain, June 10–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43759-2). Lect. Notes Comput. Sci. 2374, 37-61 (2002).
MSC:  68U99 68N19
PDFBibTeX XMLCite
Full Text: Link

X-ability, a theory of replication. (English) Zbl 1314.68062

Proceedings of the 19th annual ACM symposium on principles of distributed computing, PODC ’00, Portland, OR, USA, July 16–19, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-183-6). 229-237 (2000).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software