The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase k-obstruction-freedom (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2003-2008 (15) 2009-2024 (7)
Publication types (Num. hits)
article(3) inproceedings(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 33 keywords

Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
151Damien Imbs, Michel Raynal, Gadi Taubenfeld On asymmetric progress conditions. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fault-freedom, progress condition, liveness, process crash, wait-freedom, obstruction-freedom, asynchronous shared memory system, consensus number
134Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kouznetsov Synchronizing without locks is inherently expensive. Search on Bibsonomy PODC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lock-free implementations, perturbable objects, step contention, lower bound, memory contention, obstruction-freedom
125Maurice Herlihy, Victor Luchangco, Mark Moir Obstruction-Free Synchronization: Double-Ended Queues as an Example. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
88Gadi Taubenfeld Efficient Transformations of Obstruction-Free Algorithms into Non-blocking Algorithms. Search on Bibsonomy DISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
72Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III Software transactional memory for dynamic-sized data structures. Search on Bibsonomy PODC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java
63Srikanth Sastry, Scott M. Pike, Jennifer L. Welch Corrigendum: weakest failure detector for wait-free dining under eventual weak exclusion. Search on Bibsonomy SPAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF contention managers, wait-freedom, obstruction-freedom
62Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov The complexity of obstruction-free implementations. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF perturbable objects, solo-fast implementations, step contention, lower bounds, Shared memory, memory contention
51Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard Progress guarantee for parallel programs via bounded lock-freedom. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation
44Brijesh Dongol Formalising Progress Properties of Non-blocking Programs. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Gadi Taubenfeld On the Computational Power of Shared Objects. Search on Bibsonomy OPODIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF power numbers, k-obstruction-freedom, wait-free hierarchy, power hierarchy, universality, Shared objects, wait-freedom, consensus numbers
38Rachid Guerraoui, Michal Kapalka On obstruction-free transactions. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF transactional memory, obstruction-freedom, impossibility, consensus number
38Marcos Kawazoe Aguilera, Svend Frølund, Vassos Hadzilacos, Stephanie Lorraine Horn, Sam Toueg Abortable and query-abortable objects and their efficient implementation. Search on Bibsonomy PODC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abortable types, non-triviality, universal constructions, shared memory, memory contention, obstruction-freedom
38Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott Nonblocking transactions without indirection using alert-on-update. Search on Bibsonomy SPAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software transactional memory, event-based systems, obstruction freedom
38William N. Scherer III, Michael L. Scott Advanced contention management for dynamic software transactional memory. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF synchronization, transactional memory, contention management, obstruction-freedom
38Victor Luchangco, Mark Moir, Nir Shavit Nonblocking k-compare-single-swap. Search on Bibsonomy SPAA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiprocessors, concurrent data structures, linked lists, nonblocking synchronization, obstruction-freedom
31Zhao-Hui Li, Xin-Yu Feng 0001 A program logic for obstruction-freedom. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
31Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov The weakest failure detectors to boost obstruction-freedom. Search on Bibsonomy Distributed Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Obstruction-free, Shared memory, Contention manager, Failure detector, Wait-free, Non-blocking
31Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov The Weakest Failure Detectors to Boost Obstruction-Freedom. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis Proving that non-blocking algorithms don't block. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal verification, concurrent programming, termination, liveness
30Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh Model checking transactional memories. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, transactional memories
25Virendra J. Marathe, William N. Scherer III, Michael L. Scott Adaptive Software Transactional Memory. Search on Bibsonomy DISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Michael F. Ringenburg, Dan Grossman AtomCaml: first-class atomicity via rollback. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transactions, concurrent programming, atomicity, objective caml
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license