Search results for "lock-free"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Deli Zhang, Damian Dechev	Lock-free Transactions without Rollbacks for Linked Data Structures.	SPAA	2016	DBLP DOI BibTeX RDF
17	Tanmay Gangwani, Adam Morrison 0001, Josep Torrellas	CASPAR: Breaking Serialization in Lock-Free Multicore Synchronization.	ASPLOS	2016	DBLP DOI BibTeX RDF
17	Maged M. Michael	PLDI 2004: Scalable Lock-Free Dynamic Memory Allocation.	ACM SIGPLAN Notices	2015	DBLP DOI BibTeX RDF
17	Changwoo Min, Young Ik Eom	Integrating Lock-Free and Combining Techniques for a Practical and Scalable FIFO Queue.	IEEE Trans. Parallel Distributed Syst.	2015	DBLP DOI BibTeX RDF
17	Martin Wimmer 0003, Jakob Gruber, Jesper Larsson Träff, Philippas Tsigas	The Lock-free k-LSM Relaxed Priority Queue.	CoRR	2015	DBLP BibTeX RDF
17	Aras Atalar, Paul Renaud-Goud, Philippas Tsigas	Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model.	CoRR	2015	DBLP BibTeX RDF
17	Artur Mariano, Thijs Laarhoven, Christian H. Bischof	Parallel (probable) lock-free HashSieve: a practical sieving algorithm for the SVP.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
17	Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan	Making Lock-free Data Structures Verifiable with Artificial Transactions.	ACM SIGOPS Oper. Syst. Rev.	2015	DBLP DOI BibTeX RDF
17	Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky	Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections.	PDP	2015	DBLP DOI BibTeX RDF
17	Nachshon Cohen, Erez Petrank	Automatic memory reclamation for lock-free data structures.	OOPSLA	2015	DBLP DOI BibTeX RDF
17	Arunmoezhi Ramachandran, Neeraj Mittal	A Fast Lock-Free Internal Binary Search Tree.	ICDCN	2015	DBLP DOI BibTeX RDF
17	Aras Atalar, Paul Renaud-Goud, Philippas Tsigas	Analyzing the Performance of Lock-Free Data Structures: A Conflict-Based Model.	DISC	2015	DBLP DOI BibTeX RDF
17	Aras Atalar, Anders Gidenstam, Paul Renaud-Goud, Philippas Tsigas	Modeling Energy Consumption of Lock-Free Queue Implementations.	IPDPS	2015	DBLP DOI BibTeX RDF
17	Ryan R. Newton, Peter P. Fogg, Ali Varamesh	Adaptive lock-free maps: purely-functional to scalable.	ICFP	2015	DBLP DOI BibTeX RDF
17	Aleksandar Prokopec	SnapQueue: lock-free queue with constant time snapshots.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
17	Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan	Making lock-free data structures verifiable with artificial transactions.	PLOS@SOSP	2015	DBLP DOI BibTeX RDF
17	Trevor Alexander Brown	Reclaiming Memory for Lock-Free Data Structures: There has to be a Better Way.	PODC	2015	DBLP DOI BibTeX RDF
17	Dan Alistarh, Thomas Sauerwald, Milan Vojnovic	Lock-Free Algorithms under Stochastic Schedulers.	PODC	2015	DBLP DOI BibTeX RDF
17	Artur Mariano, Christian H. Bischof, Thijs Laarhoven	Parallel (Probable) Lock-Free Hash Sieve: A Practical Sieving Algorithm for the SVP.	ICPP	2015	DBLP DOI BibTeX RDF
17	Martin Wimmer 0003, Jakob Gruber, Jesper Larsson Träff, Philippas Tsigas	The lock-free k-LSM relaxed priority queue.	PPoPP	2015	DBLP DOI BibTeX RDF
17	Nachshon Cohen, Erez Petrank	Efficient Memory Management for Lock-Free Data Structures with Optimistic Access.	SPAA	2015	DBLP DOI BibTeX RDF
17	Florian Negele, Felix Friedrich, Suwon Oh, Bernhard Egger 0002	On the Design and Implementation of an Efficient Lock-Free Scheduler.	JSSPP	2015	DBLP DOI BibTeX RDF
17	Xiangyu Zhang, Yangdong Deng, Shuai Mu 0002	Toward Concurrent Lock-Free Queues on GPUs.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
17	Jeffrey Ichnowski, Ron Alterovitz	Scalable Multicore Motion Planning Using Lock-Free Concurrency.	IEEE Trans. Robotics	2014	DBLP DOI BibTeX RDF
17	K. Eric Harper, Thijmen de Gooijer	Performance Impact of Lock-Free Algorithms on Multicore Communication APIs.	CoRR	2014	DBLP BibTeX RDF
17	Miguel Areias 0001, Ricardo Rocha 0001	A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling.	CoRR	2014	DBLP BibTeX RDF
17	Bapi Chatterjee, Nhan Nguyen Dang, Philippas Tsigas	Efficient Lock-free Binary Search Trees.	CoRR	2014	DBLP BibTeX RDF
17	Artur Mariano, Shahar Timnat, Christian H. Bischof	Lock-free GaussSieve for Linear Speedups in Parallel High Performance SVP Calculation.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
17	Yong-Hwan Moon, In-Seok Kong, Young-Soo Ryu, Jin-Ku Kang	A 2.2-mW 20-135-MHz False-Lock-Free DLL for Display Interface in 0.15-µm CMOS.	IEEE Trans. Circuits Syst. II Express Briefs	2014	DBLP DOI BibTeX RDF
17	Miguel Areias 0001, Ricardo Rocha 0001	On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs.	PADL	2014	DBLP DOI BibTeX RDF
17	Daniel Gómez Ferro, Flavio Junqueira, Ivan Kelly, Benjamin C. Reed, Maysam Yabandeh	Omid: Lock-free transactional support for distributed data stores.	ICDE	2014	DBLP DOI BibTeX RDF
17	Sounak Gupta, Philip A. Wilsey	Lock-free pending event set management in time warp.	SIGSIM-PADS	2014	DBLP DOI BibTeX RDF
17	Tharindu Weerakoon, Kazuo Ishii, Amir Ali Forough Nassiraei	Dead-lock free mobile robot navigation using modified artificial potential field.	SCIS&ISIS	2014	DBLP DOI BibTeX RDF
17	Markus Mieth, Ralf Seidler, H. Martin Bücker	Thread Block Lock Free Format für dünnbesetzte Matrix-Vektor-Produkte auf Grafikkarten.	Informatiktage	2014	DBLP BibTeX RDF
17	Bapi Chatterjee, Nhan Nguyen Dang, Philippas Tsigas	Efficient lock-free binary search trees.	PODC	2014	DBLP DOI BibTeX RDF
17	Nhan Nguyen, Philippas Tsigas	Lock-Free Cuckoo Hashing.	ICDCS	2014	DBLP DOI BibTeX RDF
17	Nhan Nguyen, Philippas Tsigas, Håkan Sundell	ParMarkSplit: A Parallel Mark-Split Garbage Collector Based on a Lock-Free Skip-List.	OPODIS	2014	DBLP DOI BibTeX RDF
17	Artur Mariano, Shahar Timnat, Christian H. Bischof	Lock-Free GaussSieve for Linear Speedups in Parallel High Performance SVP Calculation.	SBAC-PAD	2014	DBLP DOI BibTeX RDF
17	Jun Wu 0010	Energy-Efficient Scheduling of Real-Time Tasks with Lock-Free Objects.	DASC	2014	DBLP DOI BibTeX RDF
17	Aravind Natarajan, Neeraj Mittal	Fast concurrent lock-free binary search trees.	PPoPP	2014	DBLP DOI BibTeX RDF
17	Youngjoong Cho, Dongwoo Lee, Hyung Kook Jun, Young Ik Eom	Lock-free memory allocator without garbage collection on multicore embedded devices.	ICCE	2014	DBLP DOI BibTeX RDF
17	Florian Negele	Combining Lock-Free Programming with Cooperative Multitasking for a Portable Multiprocessor Runtime System.		2014	RDF
17	Nhan Nguyen Dang	On Composability, Efficient Design and Memory Reclamation of Lock-free Data Structures.		2014	RDF
17	Daniel Cederman, Philippas Tsigas	Supporting Lock-Free Composition of Concurrent Data Objects: Moving Data between Containers.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
17	Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif	Compositional Verification of a Lock-Free Stack with RGITL.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
17	Lars F. Bonnichsen, Sven Karlsson, Christian W. Probst	ELB-Trees, An Efficient and Lock-free B-tree Derivative.	CoRR	2013	DBLP BibTeX RDF
17	Daniel Cederman, Anders Gidenstam, Phuong Hoai Ha, Håkan Sundell, Marina Papatriantafilou, Philippas Tsigas	Lock-free Concurrent Data Structures	CoRR	2013	DBLP BibTeX RDF
17	Changwoo Min, Young Ik Eom	Can lock-free and combining techniques co-exist? A novel approach on concurrent queue.	PACT	2013	DBLP DOI BibTeX RDF
17	Erez Petrank, Shahar Timnat	Lock-Free Data-Structure Iterators.	DISC	2013	DBLP DOI BibTeX RDF
17	Christoph M. Kirsch, Michael Lippautz, Hannes Payer	Fast and Scalable, Lock-Free k-FIFO Queues.	PaCT	2013	DBLP DOI BibTeX RDF
17	Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimiliano Meneghin, Massimo Torquati	An Efficient Unbounded Lock-Free Queue for Multi-core Systems.	Euro-Par	2012	DBLP DOI BibTeX RDF
17	Junchang Wang, Kai Zhang 0006, Bei Hua	Parallelizing sequential network applications with customized lock-free data structures.	CHINACOM	2012	DBLP DOI BibTeX RDF
17	Prabhakar Misra, Mainak Chaudhuri	Performance Evaluation of Concurrent Lock-free Data Structures on GPUs.	ICPADS	2012	DBLP DOI BibTeX RDF
17	V. V. N. Pavan Kumar, K. Gopinath	Scalable lock-free FIFO queues using efficient elimination techniques.	COMPUTE	2012	DBLP DOI BibTeX RDF
17	Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky	FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.	LCPC	2012	DBLP DOI BibTeX RDF
17	Yujie Liu, Michael F. Spear	A lock-free, array-based priority queue.	PPoPP	2012	DBLP DOI BibTeX RDF
17	Donghui Zhang, Per-Åke Larson	LHlf: lock-free linear hashing (poster paper).	PPoPP	2012	DBLP DOI BibTeX RDF
17	Anastasia Braginsky, Erez Petrank	A lock-free B+tree.	SPAA	2012	DBLP DOI BibTeX RDF
17		Lock-Free Algorithms.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
17	Guillaume Marçais, Carl Kingsford	A fast, lock-free approach for efficient parallel counting of occurrences of k-mers.	Bioinform.	2011	DBLP DOI BibTeX RDF
17	Feng Niu, Benjamin Recht, Christopher Ré, Stephen J. Wright 0001	HOGWILD!: A Lock-Free Approach to Parallelizing Stochastic Gradient Descent	CoRR	2011	DBLP BibTeX RDF
17	Flavio Junqueira, Benjamin C. Reed, Maysam Yabandeh	Lock-free transactional support for large-scale storage systems.	DSN Workshops	2011	DBLP DOI BibTeX RDF
17	Hugo Rito, João P. Cachopo	A lock-free cache invalidation protocol for the atom system.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
17	Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif	Formal Verification of a Lock-Free Stack with Hazard Pointers.	ICTAC	2011	DBLP DOI BibTeX RDF
17	Nicholas Hunt, Paramjit Singh Sandhu, Luis Ceze	Characterizing the Performance and Energy Efficiency of Lock-Free Data Structures.	Interaction between Compilers and Computer Architectures	2011	DBLP DOI BibTeX RDF
17	Anastasia Braginsky, Erez Petrank	Locality-Conscious Lock-Free Linked Lists.	ICDCN	2011	DBLP DOI BibTeX RDF
17	Nhan Nguyen Dang, Philippas Tsigas	Progress Guarantees When Composing Lock-Free Objects.	Euro-Par (2)	2011	DBLP DOI BibTeX RDF
17	Qiang Zeng 0001, Dinghao Wu, Peng Liu 0005	Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures.	PLDI	2011	DBLP DOI BibTeX RDF
17	Aleksandar Prokopec, Phil Bagwell, Martin Odersky	Lock-Free Resizeable Concurrent Tries.	LCPC	2011	DBLP DOI BibTeX RDF
17	Dongwoo Lee, Junghoon Kim, Ungmo Kim, Young Ik Eom, Hyung Kook Jun, Won Tae Kim	A Fast Lock-Free User Memory Space Allocator for Embedded Systems.	ICCSA Workshops	2011	DBLP DOI BibTeX RDF
17	Benjamin Recht, Christopher Ré, Stephen J. Wright 0001, Feng Niu	Hogwild: A Lock-Free Approach to Parallelizing Stochastic Gradient Descent.	NIPS	2011	DBLP BibTeX RDF
17	Sergio Miguel Fernandes, João P. Cachopo	Lock-free and scalable multi-version software transactional memory.	PPoPP	2011	DBLP DOI BibTeX RDF
17	Håkan Sundell, Anders Gidenstam, Marina Papatriantafilou, Philippas Tsigas	A lock-free algorithm for concurrent bags.	SPAA	2011	DBLP DOI BibTeX RDF
17	Anders Gidenstam, Marina Papatriantafilou, Philippas Tsigas	NBmalloc: Allocating Memory in a Lock-Free Manner.	Algorithmica	2010	DBLP DOI BibTeX RDF
17	Alex D. Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth	Lock-free parallel dynamic programming.	J. Parallel Distributed Comput.	2010	DBLP DOI BibTeX RDF
17	Danny Hendler, Nir Shavit, Lena Yerushalmi	A scalable lock-free stack algorithm.	J. Parallel Distributed Comput.	2010	DBLP DOI BibTeX RDF
17	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Lock-free synchronization for dynamic embedded real-time systems.	ACM Trans. Embed. Comput. Syst.	2010	DBLP DOI BibTeX RDF
17	Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup	Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs.	ISORC	2010	DBLP DOI BibTeX RDF
17	Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman	ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.	MICRO	2010	DBLP DOI BibTeX RDF
17	Luís Caires, Carla Ferreira 0001, António Ravara	A simple proof system for lock-free concurrency.	PSPL@LICS	2010	DBLP DOI BibTeX RDF
17	François Carouge, Michael F. Spear	A Scalable Lock-Free Universal Construction with Best Effort Transactional Hardware.	DISC	2010	DBLP DOI BibTeX RDF
17	Patrick P. C. Lee, Tian Bu, Girish P. Chandranmenon	A lock-free, cache-efficient multi-core synchronization mechanism for line-rate network traffic monitoring.	IPDPS	2010	DBLP DOI BibTeX RDF
17	Rob Farber, David W. Mizell	Experimental comparison of emulated lock-free vs. fine-grain locked data structures on the Cray XMT.	IPDPS Workshops	2010	DBLP DOI BibTeX RDF
17	Yehuda Afek, Hillel Avni, David Dice, Nir Shavit	Efficient Lock Free Privatization.	OPODIS	2010	DBLP DOI BibTeX RDF
17	Anders Gidenstam, Håkan Sundell, Philippas Tsigas	Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency.	OPODIS	2010	DBLP DOI BibTeX RDF
17	Michael Spiegel, Paul F. Reynolds Jr.	Lock-Free Multiway Search Trees.	ICPP	2010	DBLP DOI BibTeX RDF
17	Boris Mejías, Gustavo Gutierrez, Peter Van Roy, John Thomson, Paulo Trezentos	Lock-Free Decentralized Storage for Transactional Upgrade Rollback.	WETICE	2010	DBLP DOI BibTeX RDF
17	Anders Gidenstam, Marina Papatriantafilou, Håkan Sundell, Philippas Tsigas	Efficient and Reliable Lock-Free Memory Reclamation Based on Reference Counting.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
17	Daniel Cederman, Philippas Tsigas	Supporting Lock-Free Composition of Concurrent Data Objects	CoRR	2009	DBLP BibTeX RDF
17	Gabriel Kliot, Erez Petrank, Bjarne Steensgaard	A lock-free, concurrent, and incremental stack scanning mechanism for garbage collectors.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
17	Markus Enzenberger, Martin Müller 0003	A Lock-Free Multithreaded Monte-Carlo Tree Search Algorithm.	ACG	2009	DBLP DOI BibTeX RDF
17	Gerhard Schellhorn, Simon Bäumler	Formal Verification of Lock-Free Algorithms.	ACSD	2009	DBLP DOI BibTeX RDF
17	Hui Gao, Yan Fu, Wim H. Hesselink	Verification of a Lock-Free Implementation of Multiword LL/SC Object.	DASC	2009	DBLP DOI BibTeX RDF
17	Patrick P. C. Lee, Tian Bu, Girish P. Chandranmenon	A lock-free, cache-efficient shared ring buffer for multi-core architectures.	ANCS	2009	DBLP DOI BibTeX RDF
17	Håkan Sundell, Philippas Tsigas	NOBLE: non-blocking programming support via lock-free shared abstract data types.	SIGARCH Comput. Archit. News	2008	DBLP DOI BibTeX RDF
17	Anders Gidenstam, Marina Papatriantafilou	LFTHREADS: a lock-free thread library.	SIGARCH Comput. Archit. News	2008	DBLP DOI BibTeX RDF
17	Håkan Sundell, Philippas Tsigas	Lock-free deques and doubly linked lists.	J. Parallel Distributed Comput.	2008	DBLP DOI BibTeX RDF
17	Bogdan Nicolae, Gabriel Antoniu, Luc Bougé	Enabling Lock-Free Concurrent Fine-Grain Access to Massive Distributed Data: Application to Supernovae Detection	CoRR	2008	DBLP BibTeX RDF
17	Rahul Kumar, Amith R. Mamidala, Matthew J. Koop, Gopalakrishnan Santhanaraman, Dhabaleswar K. Panda 0001	Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication.	PVM/MPI	2008	DBLP DOI BibTeX RDF
17	Lindsay Groves	Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction.	CATS	2008	DBLP BibTeX RDF