|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 42 occurrences of 26 keywords
|
|
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu |
Fortress (Sun HPCS Language).  |
Encyclopedia of Parallel Computing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr. |
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco, Virendra J. Marathe |
Transaction communicators: enabling cooperation among concurrent transactions.  |
PPOPP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch.  |
Sci. Comput. Program.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Srivatsan Ravi, Vincent Gramoli, Victor Luchangco |
Transactional memory, linking theory and practice.  |
SIGACT News  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco, Mark Moir, Nir Shavit |
Nonblocking k -Compare-Single-Swap.  |
Theory Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Synchronization, Shared memory multiprocessors, Compare-and-swap |
| 1 | Yossi Lev, Victor Luchangco, Marek Olszewski |
Scalable reader-writer locks.  |
SPAA  |
2009 |
DBLP DOI BibTeX RDF |
reader-writer lock, snzi, scalable, synchronization |
| 1 | Maurice Herlihy, Victor Luchangco |
Distributed computing and the multicore revolution.  |
SIGACT News  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Lutomirski, Victor Luchangco |
Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers.  |
OPODIS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco |
Against lock-based semantics for transactional memory.  |
SPAA  |
2008 |
DBLP DOI BibTeX RDF |
semantics, transactional memory, locks |
| 1 | Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit |
A Lazy Concurrent List-Based Set Algorithm.  |
Parallel Processing Letters  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Modular multiple dispatch with multiple inheritance.  |
SAC  |
2007 |
DBLP DOI BibTeX RDF |
modularity, overloading, multiple inheritance, multiple dispatch |
| 1 | Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit |
A Simple Optimistic Skiplist Algorithm.  |
SIROCCO  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir |
SNZI: scalable NonZero indicators.  |
PODC  |
2007 |
DBLP DOI BibTeX RDF |
scalability, transactional memory, counters |
| 1 | Victor Luchangco, Daniel Nussbaum, Nir Shavit |
A Hierarchical CLH Queue Lock.  |
Euro-Par  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum |
Hybrid transactional memory.  |
ASPLOS  |
2006 |
DBLP DOI BibTeX RDF |
transactional memory |
| 1 | Maurice Herlihy, Victor Luchangco, Mark Moir |
A flexible framework for implementing software transactional memory.  |
OOPSLA  |
2006 |
DBLP DOI BibTeX RDF |
Java library, obstruction-free factory, shadow factory, software transactional memory (STM), concurrency, transactions, atomicity |
| 1 | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Lazy Concurrent List-Based Set Algorithm.  |
CAV  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir |
Nonblocking memory management support for dynamic-sized data structures.  |
ACM Trans. Comput. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
Multiprocessors, memory management, dynamic data structures, concurrent data structures, nonblocking synchronization |
| 1 | Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit |
A Lazy Concurrent List-Based Set Algorithm.  |
OPODIS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit |
Obstruction-Free Algorithms Can Be Practically Wait-Free.  |
DISC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit |
Obstruction-Free Step Complexity: Lock-Free DCAS as an Example.  |
DISC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Practical Lock-Free Queue Algorithm.  |
FORTE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr. |
DCAS is not a silver bullet for nonblocking algorithm design.  |
SPAA  |
2004 |
DBLP DOI BibTeX RDF |
DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization |
| 1 | Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr. |
Object-oriented units of measurement.  |
OOPSLA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir |
Bringing practical lock-free synchronization to 64-bit applications.  |
PODC  |
2004 |
DBLP DOI BibTeX RDF |
64-bit-clean software, freelists, load-linked/store-conditional (LL/SC), population-oblivious, space-adaptive, multiprocessors, memory management, queues, lock-free, compare-and-swap (CAS), nonblocking synchronization, 64-bit architectures |
| 1 | Maurice Herlihy, Victor Luchangco, Mark Moir |
Space and Time Adaptive Non-blocking Algorithms.  |
Electr. Notes Theor. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco, Mark Moir, Nir Shavit |
On the Uncontended Complexity of Consensus.  |
DISC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco, Mark Moir, Nir Shavit |
Nonblocking k-compare-single-swap.  |
SPAA  |
2003 |
DBLP DOI BibTeX RDF |
multiprocessors, concurrent data structures, linked lists, nonblocking synchronization, obstruction-freedom |
| 1 | Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III |
Software transactional memory for dynamic-sized data structures.  |
PODC  |
2003 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Maurice Herlihy, Victor Luchangco, Mark Moir |
Obstruction-Free Synchronization: Double-Ended Queues as an Example.  |
ICDCS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Victor Luchangco, Mark Moir |
The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures.  |
DISC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir |
Dynamic-sized lock-free data structures.  |
PODC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco |
Modeling weakly consistent memories with locks.  |
SPAA  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano |
On Formal Modeling of Agent Computations.  |
FAABS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman |
Eventually-Serializable Data Services.  |
Theor. Comput. Sci.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Frigo, Victor Luchangco |
Computation-Centric Memory Models.  |
SPAA  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco |
Precedence-Based Memory Models.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.  |
FORTE  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman |
Eventually-Serializable Data Services.  |
PODC  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch |
Verifying timing properties of concurrent algorithms.  |
FORTE  |
1994 |
DBLP BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|