Enhancing the Performance and Usability . . .

Enhancing the Performance and Usability . . . (2008)

Cached

Download Links

[www.cs.rochester.edu]

by Virendra Jayant Marathe

BibTeX

@MISC{Marathe08enhancingthe,
    author = {Virendra Jayant Marathe},
    title = {Enhancing the Performance and Usability . . . },
    year = {2008}
}

Bookmark

OpenURL

Abstract

Citations

1236	Transaction Processing: Concepts and Techniques - Gray, Reuter - 1993
909	Chaff: Engineering an efficient SAT solver - Moskewicz, Madigan, et al. - 2001
774	Linearizability: A correctness condition for concurrent objects - Herlihy, Wing - 1990
660	Wait-free synchronization - Herlihy - 1991
597	Transactional Memory: Architectural Support for Lock-Free Data Structures. Digital Cambridge Research Lab - Herlihy, Moss - 1992
540	Introduction to Algorithms, Second Edition - Cormen, Leiserson, et al. - 2001
522	Cramming More Components onto Integrated Circuits. Electronics - Moore - 1965
435	Nested Transactions: An Approach to Reliable Distributed Computing - Moss - 1985
433	Algorithms for Scalable Synchronization on SharedMemory Multiprocessors - Mellor-Crummey, Scott - 1991
432	The Connection Machine - Hillis - 1989
414	Software transactional memory - Shavit, Touitou - 1995
404	On optimistic methods for concurrency control - Kung, Robinson
352	Language Support for Lightweight Transactions - Harris, Fraser - 2003
316	Optimizing Memory Transactions - Harris, Plesko, et al. - 2006
295	A methodology for implementing highly concurrent data objects - Herlihy - 1993
279	Ownership types for flexible alias protection - Clarke, Potter, et al. - 1998
274	Software Transactional Memory for Dynamic-Sized Data Structures - Herlihy, Luchangco, et al. - 2003
262	Ownership types for safe programming: Preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
259	Solution of a problem in concurrent programming control - Dijkstra - 1965
247	The Java Memory Model - Manson, Pugh, et al. - 2005
224	Virtualizing Transactional Memory - Rajwar, Herlihy, et al. - 2005
202	A fast mutual exclusion algorithm - Lamport - 1987
195	RacerX: effective, static detection of race conditions and deadlocks - Engler, Ashcraft - 2003
191	A New Solution of Dijkstra's Concurrent Programming Problem - Lamport - 1974
187	The Landscape of Parallel Computing Research: A View from Berkeley - Asanovic, Bodik, et al. - 2006
186	Unbounded Transactional Memory - Ananian, Asanovic, et al. - 2005
176	Transactional locking ii - Shavit, Dice, et al. - 2006
173	Hierarchical ordering of sequential processes - Dijkstra - 2002
173	LogTM: Log-Based Transactional Memory - Moore, Bobba, et al. - 2006
163	Advanced contention management for dynamic software transactional memory - Scherer, Scott - 2005
161	Speculative Lock Elision: Enabling highly concurrent multithreaded execution - Rajwar, Goodman - 2001
150	Obstruction-Free Synchronization: Double-Ended Queues as an Example - Herlihy, Luchangco, et al. - 2003
148	Transactional Lock-Free Execution of Lock-Based Programs - Rajwar, Goodman - 2002
138	McRT-STM: a High Performance Software Transactional Memory System for a Multi-Core Runtime - Saha, Adl-Tabatabai, et al.
108	Compiler and runtime support for efficient software transactional memory - Adl-Tabatabai, Lewis, et al. - 2006
108	Practical lock freedom - Fraser - 2003
107	Algorithms for Mutual Exclusion - Raynal - 1986
97	practical nonblocking and blocking concurrent queue algorithms - Simple - 1996
94	Adaptive software transactional memory - Marathe, Scherer, et al. - 2005
94	Model-checking multi-threaded distributed Java programs - Stoller - 2000
91	Hybrid Transactional Memory - Damron, Fedorova, et al. - 2006
91	Synchronization Algorithms for Shared-Memory Multiprocessors - Graunke, Thakkar - 1990
91	RaceTrack: Efficient Detection of Data Race Conditions via Adapative Tracking - Yu, Rodeheffer, et al. - 2005
90	Type-safe multithreading in cyclone - Grossman - 2003
76	Operating systems principles - Hansen - 1973
74	Impossibility and Universality Results for Wait-Free Synchronization,” PODC - Herlihy - 1988
71	Systems programming: Coping with parallelism - Treiber - 1986
69	Universal constructions for multi-object operations - Anderson, Moir - 1995
69	Practical implementations of non-blocking synchronization primitives - MOIR - 1997
66	Toward a Theory of Transactional Contention Managers - Guerraoui, Herlihy, et al. - 2005