Search results for "lock-free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Bogdan Nicolae, Gabriel Antoniu, Luc Bougé	Enabling lock-free concurrent fine-grain access to massive distributed data: Application to supernovae detection.	CLUSTER	2008	DBLP DOI BibTeX RDF
17	Loïc Fejoz	Développement prouvé de structures de données sans verrou. (Provably correct lock-free data structure).		2008	RDF
17	Lindsay Groves	Trace-based Derivation of a Lock-Free Queue Algorithm.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
17	Jeremy Lee	Practical Multiwriter Lock-Free Queues for "Hard Real-Time" Systems without CAS	CoRR	2007	DBLP BibTeX RDF
17	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Lock-free parallel and concurrent garbage collection by mark&sweep.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
17	Hui Gao, Wim H. Hesselink	A general lock-free algorithm using compare-and-swap.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
17	Håkan Sundell, Philippas Tsigas	Practical and Lock-Free Doubly Linked Lists.	PDPTA	2007	DBLP BibTeX RDF
17	Lindsay Groves, Robert Colvin	Derivation of a Scalable Lock-Free Stack Algorithm.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
17	Philip Holman, James H. Anderson	Supporting lock-free synchronization in Pfair-scheduled real-time systems.	J. Parallel Distributed Comput.	2006	DBLP DOI BibTeX RDF
17	Guojing Cong, David A. Bader	Designing irregular parallel algorithms with mutual exclusion and lock-free protocols.	J. Parallel Distributed Comput.	2006	DBLP DOI BibTeX RDF
17	Yusuke Tokunaga, Shiro Sakiyama, Shiro Dosho, Yasuyuki Doi, Makoto Hattori	A 0.03mm2 9mW Wide-Range Duty-Cycle Correcting False-Lock-Free DLL with Fully Balanced Charge-Pump for DDR Interface.	ISSCC	2006	DBLP DOI BibTeX RDF
17	Håkan Sundell, Philippas Tsigas	Fast and lock-free concurrent priority queues for multi-thread systems.	J. Parallel Distributed Comput.	2005	DBLP DOI BibTeX RDF
17	Håkan Sundell, Philippas Tsigas	Lock-Free and Practical Deques using Single-Word Compare-And-Swap	CoRR	2004	DBLP BibTeX RDF
17	Maged M. Michael	Brief announcement: completing the lock-free dynamic cycle.	PODC	2004	DBLP DOI BibTeX RDF
17	G. Idei, H. Kunieda	A false-lock-free clock/data recovery PLL for NRZ data using adaptive phase frequency detector.	IEEE Trans. Circuits Syst. II Express Briefs	2003	DBLP DOI BibTeX RDF
17	David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.	Lock-free reference counting.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Lockfree synchronization, Memory management, Reference counting, Dynamic data structures
17	Naoki Kobayashi 0001	A Type System for Lock-Free Processes.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
17	Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir	Dynamic-sized lock-free data structures.	PODC	2002	DBLP DOI BibTeX RDF
17	Hisashi Oguma, Yasuichi Nakayama	A Scheduling Mechanism for Lock-Free Operation of a Lightweight Process Library for SMP Computers.	ICPADS	2001	DBLP DOI BibTeX RDF
17	David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.	Lock-free reference counting.	PODC	2001	DBLP DOI BibTeX RDF
17	Dan Touitou	Lock-free synchronization and coordination		1997	RDF
17	James H. Anderson, Srikanth Ramamurthy, Mark Moir, Kevin Jeffay	Lock-Free Transactions for Real-Time Systems.	RTDB	1996	DBLP BibTeX RDF
17	Lihu Rappoport	Lock-Free implementations in the asynchronous shared-memory model.		1996	RDF
17	James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay	Real-Time Computing with Lock-Free Shared Objects.	RTSS	1995	DBLP DOI BibTeX RDF
17	John D. Valois	Lock-Free Linked Lists Using Compare-and-Swap.	PODC	1995	DBLP DOI BibTeX RDF
17	James H. Anderson, Srikanth Ramamurthy	Using Lock-Free Objects in Hard Real-Time Applications (Abstract).	PODC	1995	DBLP DOI BibTeX RDF
17	Lai Hong Cheong, Ip-Wang Chan	Concurrent Lock-Free Access to Blink-tree.	PDPTA	1995	DBLP BibTeX RDF
17	Jyh-Jong Tsay, Hsin-Chi Li	Lock-Free Concurrent Tree Structures for Multiprocessor Systems.	ICPADS	1994	DBLP DOI BibTeX RDF
17	Anthony LaMarca	A Performance Evaluation of Lock-Free Synchronization Protocols.	PODC	1994	DBLP DOI BibTeX RDF
17	Maurice Herlihy, J. Eliot B. Moss	Transactional Memory: Architectural Support for Lock-Free Data Structures.	ISCA	1993	DBLP DOI BibTeX RDF
17	Greg Barnes	A Method for Implementing Lock-Free Shared-Data Structures.	SPAA	1993	DBLP DOI BibTeX RDF
17	Henry Massalin, Calton Pu	A Lock-Free Multiprocessor OS Kernel (Abstract).	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
17	Maurice Herlihy, J. Eliot B. Moss	Lock-Free garbage Collection for Multiprocessors.	SPAA	1991	DBLP DOI BibTeX RDF
15	Prasad Jayanti, Srdjan Petrovic	Efficiently Implementing LL/SC Objects Shared by an Unknown Number of Processes.	IWDC	2005	DBLP DOI BibTeX RDF
13	Alysson Neves Bessani, Miguel Correia 0001, Joni da Silva Fraga, Lau Cheuk Lung	Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
13	Yehuda Afek, Nir Shavit, Moran Tzafrir	Interrupting Snapshots and the JavaTM^{\mbox{\tiny TM}} Size() Method.	DISC	2009	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot, global state
13	Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes	Multicore Scheduling for Lightweight Communicating Processes.	COORDINATION	2009	DBLP DOI BibTeX RDF
13	Björn B. Brandenburg, John M. Calandrino, Aaron Block, Hennadiy Leontyev, James H. Anderson	Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
13	Prasad Jayanti, Srdjan Petrovic	Efficient Wait-Free Implementation of Multiword LL/SC Variables.	ICDCS	2005	DBLP DOI BibTeX RDF
13	James H. Anderson, Mark Moir	Universal Constructions for Large Objects.	WDAG	1995	DBLP DOI BibTeX RDF
10	Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi	On the verification problem for weak memory models.	POPL	2010	DBLP DOI BibTeX RDF	lossy channel systems, program verification, infinite state systems, relaxed memory models
10	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
10	Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup	Semantically Enhanced Containers for Concurrent Real-Time Systems.	ECBS	2009	DBLP DOI BibTeX RDF
10	Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, Kathryn S. McKinley	A concurrent dynamic analysis framework for multicore hardware.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, dynamic analysis, multicore, instrumentation
10	Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt	A new approach to parallelising tracing algorithms.	ISMM	2009	DBLP DOI BibTeX RDF	memory-centric tracing algorithm, parallel
10	Kamesh Madduri, David Ediger, Karl Jiang, David A. Bader, Daniel G. Chavarría-Miranda	A faster parallel algorithm and efficient multithreaded implementations for evaluating betweenness centrality on massive datasets.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Rastislav Bodík	Algorithmic Program Synthesis with Partial Programs and Decision Procedures.	SAS	2009	DBLP DOI BibTeX RDF
10	Hao Che, Zhijun Wang 0001, Kai Zheng 0003, Bin Liu 0001	DRES: Dynamic Range Encoding Scheme for TCAM Coprocessors.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Composite structures, Storage/repositories, Network repositories/data mining/backup, Associative memories
10	Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Rajeev Thakur	Toward Efficient Support for Multithreaded MPI Communication.	PVM/MPI	2008	DBLP DOI BibTeX RDF
10	Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík	Sketching concurrent data structures.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, synthesis, sketching, sat, spin
10	John Giacomoni, Tipp Moseley, Manish Vachharajani	FastForward for Efficient Pipeline Parallelism.	PACT	2007	DBLP DOI BibTeX RDF
10	Walter Binder, Samuel Spycher, Ion Constantinescu, Boi Faltings	Multiversion Concurrency Control for Multidimensional Index Structures.	DEXA	2007	DBLP DOI BibTeX RDF
10	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
10	Maurice Herlihy	The Multicore Revolution.	FSTTCS	2007	DBLP DOI BibTeX RDF
10	John Giacomoni, John K. Bennett, Antonio Carzaniga, Douglas C. Sicker, Manish Vachharajani, Alexander L. Wolf	Frame shared memory: line-rate networking on commodity hardware.	ANCS	2007	DBLP DOI BibTeX RDF	software network processor, parallel programming, multiprocessors, multi-core
10	Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun	Testing implementations of transactional memory.	PACT	2006	DBLP DOI BibTeX RDF	verification, testing, specification, transactional memory
10	Hagit Attiya, Eshcar Hillel	Built-In Coloring for Highly-Concurrent Doubly-Linked Lists.	DISC	2006	DBLP DOI BibTeX RDF
10	Maurice Herlihy	The art of multiprocessor programming.	PODC	2006	DBLP DOI BibTeX RDF
10	Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar	X10: an object-oriented approach to non-uniform cluster computing.	OOPSLA	2005	DBLP DOI BibTeX RDF	atomic blocks, non-uniform cluster computing (NUCC), partitioned global address space (PGAS), Java, scalability, multithreading, productivity, clocks, data distribution, places, X10
10	Myung-Keun Kim, Sang Hun Eo, Seokkyu Jang, Jae-dong Lee, Hae-Young Bae	Design and Implementation of the Modified R-Tree Structure with Non-blocking Querying.	WAIM	2005	DBLP DOI BibTeX RDF
10	Maurice Herlihy	The transactional manifesto: software engineering and non-blocking synchronization.	PLDI	2005	DBLP DOI BibTeX RDF
10	Tali Moreshet, R. Iris Bahar, Maurice Herlihy	Energy reduction in multiprocessor systems using transactional memory.	ISLPED	2005	DBLP DOI BibTeX RDF	multiprocessor, power, transactional memory
10	Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones	Haskell on a shared-memory multiprocessor.	Haskell	2005	DBLP DOI BibTeX RDF
10	Lance Hammond, Brian D. Carlstrom, Vicky Wong, Michael K. Chen, Christos Kozyrakis, Kunle Olukotun	Transactional Coherence and Consistency: Simplifying Parallel Hardware and Software.	IEEE Micro	2004	DBLP DOI BibTeX RDF
10	Panagiota Fatourou, Maurice Herlihy	Read-modify-write networks.	Distributed Comput.	2004	DBLP DOI BibTeX RDF
10	Prasad Jayanti, Srdjan Petrovic	Efficient and practical constructions of LL/SC variables.	PODC	2003	DBLP DOI BibTeX RDF
10	Jing Chen	A Loop-Free Asynchronous Data Sharing Mechanism in Multiprocessor Real-Time Systems Based on Timing Properties.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
10	Panagiota Fatourou, Maurice Herlihy	Adding networks.	PODC	2001	DBLP DOI BibTeX RDF
10	Dimitrios S. Nikolopoulos, Theodore S. Papatheodorou	Fast Synchronization on Scalable Cache-Coherent Multiprocessors using Hybrid Primitives.	IPDPS	2000	DBLP DOI BibTeX RDF	performance evaluation, synchronization, shared-memory, cache-coherence, scalable architectures
10	Carmen Carrión 0001, José A. Gregorio, Ramón Beivide	Pipelining Router Design Improves Parallel System Performance.	ISPAN	2000	DBLP DOI BibTeX RDF	bubble algorithm, pipelined router design, k-ary n-cube networks, DSM systems
10	Matthew G. Jacunski, Vijay Moorthy, Peter P. Ware, Manoj Pillai, Dhabaleswar K. Panda 0001, P. Sadayappan	Low Latency Message-Passing for Reflective Memory Networks.	CANPC	1999	DBLP DOI BibTeX RDF
10	Jocelyn Sérot, Dominique Ginhac, Jean-Pierre Dérutin	SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications.	PaCT	1999	DBLP DOI BibTeX RDF	image processing, Parallelism, skeleton, vehicle tracking, fast prototyping, Caml
10	Hong Tang 0004, Kai Shen, Tao Yang 0009	Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines.	PPoPP	1999	DBLP DOI BibTeX RDF