The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2001-2008 (17) 2009-2016 (15) 2018-2022 (4)
Publication types (Num. hits)
article(5) inproceedings(29) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 38 occurrences of 29 keywords

Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
181Erez 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
85Naoki Kobayashi 0001, Davide Sangiorgi A Hybrid Type System for Lock-Freedom of Mobile Processes. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Anders Gidenstam, Marina Papatriantafilou LFthreads: A Lock-Free Thread Library. Search on Bibsonomy OPODIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF synchronization, multiprocessors, shared memory, multithreading, multicores, lock-free
49Maurice 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
35Daniel Cederman, Philippas Tsigas Supporting lock-free composition of concurrent data objects. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF data structures, composition, lock-free
35Daniel Cederman, Philippas Tsigas Supporting lock-free composition of concurrent data objects. Search on Bibsonomy PPoPP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF data structures, composition, lock-free
34Hagit Attiya, Armando Castañeda, Danny Hendler, Matthieu Perrin Separating lock-freedom from wait-freedom at every level of the consensus hierarchy. Search on Bibsonomy J. Parallel Distributed Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Hagit Attiya, Armando Castañeda, Danny Hendler, Matthieu Perrin Separating Lock-Freedom from Wait-Freedom. Search on Bibsonomy PODC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
34Oksana Denysyuk, Philipp Woelfel Wait-Freedom is Harder Than Lock-Freedom Under Strong Linearizability. Search on Bibsonomy DISC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
33Filip Pizlo, Daniel Frampton, Erez Petrank, Bjarne Steensgaard Stopless: a real-time garbage collector for multiprocessors. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF real-time, concurrency, garbage collection, lock-free
31Brijesh Dongol Formalising Progress Properties of Non-blocking Programs. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri Abortable Fork-Linearizable Storage. Search on Bibsonomy OPODIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration
31William N. Scherer III, Doug Lea, Michael L. Scott Scalable synchronous queues. Search on Bibsonomy PPoPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF contention freedom, dual data structures, dual queue, dual stack, lock freedom, synchronous queue, nonblocking synchronization
23Alexey 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
23Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit Obstruction-Free Algorithms Can Be Practically Wait-Free. Search on Bibsonomy DISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Maurice 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
23Rob van Glabbeek, Peter Höfner, Ross Horne Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
23Rob van Glabbeek, Peter Höfner, Ross Horne Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Nhat Minh Lê Kahn Process Networks as Concurrent Data Structures: Lock Freedom, Parallelism, Relaxation in Shared Memory. (Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée). Search on Bibsonomy 2016   RDF
23Xiao Jia 0001, Wei Li, Viktor Vafeiadis Proving Lock-Freedom Easily and Automatically. Search on Bibsonomy CPP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Marco Carbone, Ornela Dardha, Fabrizio Montesi Progress as Compositional Lock-Freedom. Search on Bibsonomy COORDINATION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Luca Padovani Deadlock and lock freedom in the linear π-calculus. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Luca Padovani From Lock Freedom to Progress Using Session Types. Search on Bibsonomy PLACES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Jan Hoffmann 0002, Michael Marmar, Zhong Shao Quantitative Reasoning for Proving Lock-Freedom. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Naoki Kobayashi 0001, Davide Sangiorgi A hybrid type system for lock-freedom of mobile processes. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif Temporal Logic Verification of Lock-Freedom. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Robert Colvin, Brijesh Dongol A general technique for proving lock-freedom. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Robert Colvin, Brijesh Dongol Verifying Lock-Freedom Using Well-Founded Orders. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Keir Fraser Practical lock-freedom. Search on Bibsonomy 2004   RDF
23Howard Bowman Time and Action Lock Freedom Properties for Timed Automata. Search on Bibsonomy FORTE The full citation details ... 2001 DBLP  BibTeX  RDF
18Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick Deadlock-free scheduling of X10 computations with bounded resources. Search on Bibsonomy SPAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF deadlock-free scheduling, X10, active messages
18Virendra 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
13Antonio Brogi, Razvan Popescu Workflow-based semantics for peer-to-peer specifications. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF BPEL processes, YAWL workflows, P2P systems
13Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh Permissiveness in Transactional Memories. Search on Bibsonomy DISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Antonio Brogi, Razvan Popescu Workflow Semantics of Peer and Service Behaviour. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF service-oriented modelling language, YAWL workflows, Peer-to-peer systems, BPEL
13Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit Using elimination to implement scalable and lock-free FIFO queues. Search on Bibsonomy SPAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
Displaying result #1 - #36 of 36 (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