|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 316 occurrences of 163 keywords
|
|
|
Results
Found 473 publication records. Showing 473 according to the selection in the facets
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 |
|
Displaying result #401 - #473 of 473 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|