Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Gopi K. Attaluri, Jacob Slonim, Per-Åke Larson	Concurrency control with lock preemption and restoration.	CASCON	1995	DBLP BibTeX RDF	non-traditional database applications, concurrency control, locking, transaction management
28	David B. Lomet	MLR: A Recovery Method for Multi-level Systems.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
28	Martin I. Reiman, Paul E. Wright	Performance Analysis of Concurrent-Read Exclusive-Write.	SIGMETRICS	1991	DBLP DOI BibTeX RDF
28	Udo Kelter	The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol.	PODS	1988	DBLP DOI BibTeX RDF
28	Trong Wu	Space saving key-lock access control system (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
28	Albert Chang, Mark F. Mergen	801 Storage: Architecture and Programming (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 28-50(1988))	SOSP	1987	DBLP DOI BibTeX RDF
28	Peter K. Rathmann	The Cost of Locking.	ICDT	1986	DBLP DOI BibTeX RDF
28	Stephen S. Lavenberg	A Simple Analysis of Exclusive and Shared Lock Contention in a Database System.	SIGMETRICS	1984	DBLP DOI BibTeX RDF
28	David B. Lomet	Multi-level locking with deadlock avoidance.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Concurrency, Locking, Hierarchic, Deadlock avoidance, Data base
28	Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani	Inferring locks for atomic sections.	PLDI	2008	DBLP DOI BibTeX RDF	atomic sections, static lock inference, concurrency
28	Michel Raynal	Locks Considered Harmful: A Look at Non-traditional Synchronization.	SEUS	2008	DBLP DOI BibTeX RDF	Adaptive renaming, Lock-free synchronization, Fault-tolerance, Concurrency, Shared memory system, Asynchronous system, Failure detector, Process crash, Atomic register, Synchronization primitive, Wait-free computation
28	Josh Berdine	Local reasoning about storable locks.	PPDP	2007	DBLP DOI BibTeX RDF
28	Mauro Carlos Pichiliani, Celso Massaki Hirata	Multi-level locks to control collaborative modeling sessions.	CollaborateCom	2007	DBLP DOI BibTeX RDF
28	Aaron J. Gruber, Peter Dayan, Boris S. Gutkin, Sara A. Solla	Dopamine modulation in the basal ganglia locks the gate to working memory.	J. Comput. Neurosci.	2006	DBLP DOI BibTeX RDF	Spiny neuron, Phasic release, Attention, Salience
28	Eunujung Lee	Multi-Granularity Locks for XML Repetitive.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
28	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Reactive Spin-locks: A Self-tuning Approach.	ISPAN	2005	DBLP DOI BibTeX RDF
28	Matt Blaze	Rights Amplification in Master-Keyed Mechanical Locks.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF
28	Bruce Schneier	Locks and Full Disclosure.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF
28	Abhinav Vora, Zahir Tari, Peter Bertók	A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks.	DAIS	2003	DBLP DOI BibTeX RDF
28	Stijn Dekeyser, Jan Hidders	Path Locks for XML Document Collaboration.	WISE	2002	DBLP DOI BibTeX RDF
28	Abhinav Vora, Zahir Tari, Peter Bertók, Kwong Yuen Lai	A Mobile Cache Consistency Protocol Using Shareable Read/Write Time Locks.	ICPADS	2002	DBLP DOI BibTeX RDF
28	David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano	Thin locks: featherweight Synchronization for Java (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
28	David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano	Thin Locks: Featherweight Synchronization for Java.	PLDI	1998	DBLP DOI BibTeX RDF	AIX, Java
28	Richard Hull 0001	Global Predicate-Based Locks in Long-Running Transactions.	EDOC	1997	DBLP DOI BibTeX RDF
28	Divyakant Agrawal, Amr El Abbadi	Locks with Constrained Sharing.	PODS	1990	DBLP DOI BibTeX RDF
28	Harry B. Hunt III, Daniel J. Rosenkrantz	The Complexity of Testing Predicate Locks.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
20	Chiu C. Tan 0001, Qin Liu 0001, Jie Wu 0001	Secure Locking for Untrusted Clouds.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	read/write access, security, Cloud computing, locks
20	M. Aater Suleman, Onur Mutlu, Moinuddin K. Qureshi, Yale N. Patt	Accelerating Critical Section Execution with Asymmetric Multicore Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	heterogeneous cores, parallel programming, CMP, multicore, locks, critical sections, serialization
20	Björn B. Brandenburg, James H. Anderson	Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems.	ECRTS	2009	DBLP DOI BibTeX RDF	multiprocessor real-time systems, reader/writer synchronization, fair locks, Global EDF, Partitioned EDF, schedulability, synchronization
20	Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001	A runtime system for software lock elision.	EuroSys	2009	DBLP DOI BibTeX RDF	revocable locks, speculative lock elision, unmanaged environments, software transactional memory
20	M. Aater Suleman, Onur Mutlu, Moinuddin K. Qureshi, Yale N. Patt	Accelerating critical section execution with asymmetric multi-core architectures.	ASPLOS	2009	DBLP DOI BibTeX RDF	heterogeneous cores, parallel programming, cmp, multi-core, locks, critical sections
20	Felix Hupfeld, Björn Kolbeck, Jan Stender, Mikael Högqvist, Toni Cortes, Jonathan Martí, Jesus Malo	FaTLease: scalable fault-tolerant lease negotiation with paxos.	HPDC	2008	DBLP DOI BibTeX RDF	replication, locks, high-availability, leases, paxos
20	Maurice Herlihy, Eric Koskinen	Transactional boosting: a methodology for highly-concurrent transactional objects.	PPoPP	2008	DBLP DOI BibTeX RDF	abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms
20	Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao	Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections.	PPoPP	2007	DBLP DOI BibTeX RDF	isolation semantics, concurrency, synchronization, locks, critical sections
20	Yang Ni, Vijay Menon 0002, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman	Open nesting in software transactional memory.	PPoPP	2007	DBLP DOI BibTeX RDF	abstract locks, open nesting, transactional memory, nested transactions
20	Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy	Composable memory transactions.	PPoPP	2005	DBLP DOI BibTeX RDF	transactions, locks, non-blocking algorithms
20	Masaru Takesue	Software Queue-Based Algorithms for Pipelined Synchronization on Multiprocessors.	ICPP Workshops	2003	DBLP DOI BibTeX RDF	queue-based locks, algorithms, synchronization, Multiprocessors, pipelining
20	Shiwa S. Fu, Nian-Feng Tzeng	A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Circular lists, hot-spot contention, tree of locks, multiprocessors, mutual exclusion, critical sections, linked lists
20	Beng-Hong Lim, Anant Agarwal	Waiting Algorithms for Synchronization in Large-Scale Multiprocessors.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	producer-consumer synchronization, competitive analysis, locks, blocking, spinning, waiting time, barriers
20	F. Bukhari, Sylvia L. Osborn	Two Fully Distributed Concurrency Control Algorithms.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	distributed concurrency control algorithms, partially replicated distributed databases, schedulers, communication, distributed databases, concurrency control, deadlocks, database theory, locks, timestamps
20	Daniel R. Ries, Michael Stonebraker	Effects of Locking Granularity in a Database Management System.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	locking granularity, multiple updates, predicate locks, concurrency, consistency, database management
19	Marko Bertogna, Nathan Fisher, Sanjoy K. Baruah	Resource holding times: computation and optimization.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Resource-sharing systems, Stack Resource Policy, Resource holding times, Earliest Deadline First, Critical sections, Sporadic tasks
19	Danny Hendler, Shay Kutten	Bounded-wait combining: constructing robust and high-throughput shared objects.	Distributed Comput.	2009	DBLP DOI BibTeX RDF
19	Aravind Yalamanchi, Dieter Gawlick	Compensation-aware data types in RDBMS.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	and constraints, concurrency control, compensation, business transactions
19	Nir Shavit	Software transactional memory: Where do we come from? What are we? Where are we going?	IPDPS	2009	DBLP DOI BibTeX RDF
19	Nehir Sönmez, Tim Harris 0001, Adrián Cristal, Osman S. Unsal, Mateo Valero	Taking the heat off transactions: Dynamic selection of pessimistic concurrency control.	IPDPS	2009	DBLP DOI BibTeX RDF
19	Eric Koskinen, Maurice Herlihy	Brief announcement: concurrent non-commutative boosted transactions.	PODC	2009	DBLP DOI BibTeX RDF	cyclic dependency, lazy recovery, transactional boosting, transactional memory, commutativity
19	Azadeh Farzan, P. Madhusudan	The Complexity of Predicting Atomicity Violations.	TACAS	2009	DBLP DOI BibTeX RDF
19	Gabriel Kliot, Erez Petrank, Bjarne Steensgaard	A lock-free, concurrent, and incremental stack scanning for garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	incremental and concurrent garbage collection, lock-free data structures, stack scanning
19	Leon Pan, Chang N. Zhang	A criterion-based multilayer access control approach for multimedia applications and the implementation considerations.	ACM Trans. Multim. Comput. Commun. Appl.	2008	DBLP DOI BibTeX RDF	Multilayer access control, secure object, secure permission, secure user, security criterion
19	Leon Pan	Using Criterion-Based Access Control for Multilevel Database Security.	ISECS	2008	DBLP DOI BibTeX RDF
19	Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Rajeev Thakur	Toward Efficient Support for Multithreaded MPI Communication.	PVM/MPI	2008	DBLP DOI BibTeX RDF
19	Dave Cunningham, Khilan Gudka, Susan Eisenbach	Keep Off the Grass: Locking the Right Path for Atomicity.	CC	2008	DBLP DOI BibTeX RDF
19	Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli	Oracle Semantics for Concurrent Separation Logic.	ESOP	2008	DBLP DOI BibTeX RDF
19	Julie Christopher	Study of optimal load lock dedication for cluster tools.	WSC	2008	DBLP DOI BibTeX RDF
19	Christos Kotselidis, Mohammad Ansari, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson	Investigating software Transactional Memory on clusters.	IPDPS	2008	DBLP DOI BibTeX RDF
19	Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon 0002, Tatiana Shpeisman, Suresh Jagannathan	A Uniform Transactional Execution Environment for Java.	ECOOP	2008	DBLP DOI BibTeX RDF
19	Chang-Seo Park, Koushik Sen	Randomized active atomicity violation detection in concurrent programs.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	atomicity violation detection, concurrency, dynamic analysis, random testing
19	Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao	Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections.	LCPC	2008	DBLP DOI BibTeX RDF
19	Xiaopan Zhang, Xide Fu, Xiaohui Yuan	Simulation Based Parallel Genetic Algorithm to the Lockage Co-scheduling of the Three Gorges Project.	CSSE (3)	2008	DBLP DOI BibTeX RDF
19	Shan Lu 0001, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou 0001	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
19	Woongki Baek, Chi Cao Minh, Martin Trautmann, Christos Kozyrakis, Kunle Olukotun	The OpenTM Transactional Application Programming Interface.	PACT	2007	DBLP DOI BibTeX RDF
19	Timo Lilja, Riku Saikkonen, Seppo Sippu, Eljas Soisalon-Soininen	Online Bulk Deletion.	ICDE	2007	DBLP DOI BibTeX RDF
19	Lukas Renggli, Oscar Nierstrasz	Transactional memory for smalltalk.	ICDL	2007	DBLP DOI BibTeX RDF
19	Mayur Naik, Alex Aiken	Conditional must not aliasing for static race detection.	POPL	2007	DBLP DOI BibTeX RDF	static race detection, Java, concurrency, synchronization, multi-threading
19	Marko Bertogna, Nathan Fisher, Sanjoy K. Baruah	Static-Priority Scheduling and Resource Hold Times.	IPDPS	2007	DBLP DOI BibTeX RDF
19	Suresh Jagannathan	Weaving Atomicity Through Dynamic Dependence Tracking.	IPDPS	2007	DBLP DOI BibTeX RDF
19	Leonard Martin Ah Kun, Gary Marsden	Co-present photo sharing on mobile devices.	Mobile HCI	2007	DBLP DOI BibTeX RDF	co-present sharing, mobile photography, user centered design, storytelling, digital photography, photo sharing
19	Nathan Fisher, Marko Bertogna, Sanjoy K. Baruah	Resource-Locking Durations in EDF-Scheduled Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
19	Anders Gidenstam, Marina Papatriantafilou	LFthreads: A Lock-Free Thread Library.	OPODIS	2007	DBLP DOI BibTeX RDF	synchronization, multiprocessors, shared memory, multithreading, multicores, lock-free
19	Kamyar Izadi, Fatemeh Asadi, Mostafa S. Haghjoo	XPLC: A Novel Protocol for Concurrency Control in XML Databases.	AICCSA	2007	DBLP DOI BibTeX RDF
19	Hadi Seyedarabi, Won-Sook Lee, Ali Aghagolzadeh	Automatic Lip Tracking and Action Units Classification using Two-Step Active Contours and Probabilistic Neural Networks.	CCECE	2006	DBLP DOI BibTeX RDF
19	Hans P. Reiser, Jörg Domaschka, Franz J. Hauck, Rüdiger Kapitza, Wolfgang Schröder-Preikschat	Consistent Replication of Multithreaded Distributed Objects.	SRDS	2006	DBLP DOI BibTeX RDF
19	C. Scott Ananian, Krste Asanovic, Bradley C. Kuszmaul, Charles E. Leiserson, Sean Lie	Unbounded Transactional Memory.	HPCA	2005	DBLP DOI BibTeX RDF
19	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
19	Yong Jiang, Jie Li 0002, Shoichi Nishimura	A General Stochastic Model for Dynamic Locking in Database Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	two-phase dynamic locking, simulation, modeling, performance, Concurrency control, transaction processing, database systems, stochastic analysis
19	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	TO-Lock: Removing Lock Overhead Using the Owners' Temporal Locality.	IEEE PACT	2004	DBLP DOI BibTeX RDF
19	Kenin Coloma, Alok N. Choudhary, Wei-keng Liao, Lee Ward, Eric Russell, Neil Pundit	Scalable High-level Caching for Parallel I/O.	IPDPS	2004	DBLP DOI BibTeX RDF
19	Lixin Zhang 0002, Zhen Fang 0002, John B. Carter	Highly Efficient Synchronization Based on Active Memory Operations.	IPDPS	2004	DBLP DOI BibTeX RDF
19	Raoul Huys, Andreas Daffertshofer, Peter Jan Beek	Learning to juggle: on the assembly of functional subsystems into a task-specific dynamical organization.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
19	Martin C. Rinard, Pedro C. Diniz	Eliminating synchronization bottlenecks using adaptive replication.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, synchronization, replication, parallelizing compilers, Atomic operations
19	Dawson R. Engler, Ken Ashcraft	RacerX: effective, static detection of race conditions and deadlocks.	SOSP	2003	DBLP DOI BibTeX RDF	deadlock detection, race detection, program checking
19	John Regehr, Alastair Reid 0001, Kirk Webb, Michael A. Parker, Jay Lepreau	Evolving real-time systems using hierarchical scheduling and concurrency analysis.	RTSS	2003	DBLP DOI BibTeX RDF
19	Philippas Tsigas, Yi Zhang 0004	The Non-blocking Programming Paradigm in Large Scale Scientific Computations.	PPAM	2003	DBLP DOI BibTeX RDF
19	Chengzheng Sun	Optional and Responsive Fine-Grain Locking in Internet-Based Collaborative Systems.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	optional locking, distributed systems, responsiveness, Internet computing, operational transformation, Consistency maintenance, collaborative editors
19	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
19	Aaron Greenhouse, William L. Scherlis	Assuring and evolving concurrent programs: annotations and policy.	ICSE	2002	DBLP DOI BibTeX RDF
19	José F. Martínez, Josep Torrellas	Speculative synchronization: applying thread-level speculation to explicitly parallel applications.	ASPLOS	2002	DBLP DOI BibTeX RDF
19	Kim S. Larsen, Thomas Ottmann, Eljas Soisalon-Soininen	Relaxed balance for search trees with local rebalancing.	Acta Informatica	2001	DBLP DOI BibTeX RDF
19	Horst F. Wedde, Sabine Böhm, Wolfgang Freund	Concurrent Read/Write: Real-Time Theory and Practice.	ISORC	2001	DBLP DOI BibTeX RDF
19	Ravi Rajwar, James R. Goodman	Speculative lock elision: enabling highly concurrent multithreaded execution.	MICRO	2001	DBLP DOI BibTeX RDF
19	Jason Liu 0001, David M. Nicol, King Tan	Lock-free scheduling of logical processes in parallel simulation.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
19	Robert E. Strom, Joshua S. Auerbach	The Optimistic Readers Transformation.	ECOOP	2001	DBLP DOI BibTeX RDF
19	Peter J. Keleher	A high-level abstraction of shared accesses.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	programming libraries, update protocols, shared memory, DSM
19	John Thornley, K. Mani Chandy	Monotonic Counters: A New Mechanism for Thread Synchronization.	IPDPS	2000	DBLP DOI BibTeX RDF	monotonic counter, deterministic synchronization, sequential equivalence, ragged barriers, sequential ordering, single-writer multiple-reader, mutual exclusion, thread, monotonicity, multithreaded programming, determinacy, thread synchronization
19	Jack Jingshuang Yang, Gail E. Kaiser	JPernLite: Extensible Transaction Services for the WWW.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	extended transaction models, WWW, middleware, computer-supported collaborative work, Distributed transactions
19	Malik Saheb, Ramzi Karoui, Simone Sédillot	Open Nested Transaction: A Support for Increasing Performance and Multi-tier Applications.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
19	Cristiana Bentes Seidel, Ricardo Bianchini, Claudio Luis de Amorim	Evaluating the Impact of the Programming Model on the Performance and Complexity of Software DSM Systems.	ICPP	1999	DBLP DOI BibTeX RDF	Entry Consistency, Distributed Shared Memory, Programming Models
19	Zhichen Xu, Barton P. Miller, Oscar Naim	Dynamic Instrumentation of Threaded Applications.	PPoPP	1999	DBLP DOI BibTeX RDF
19	Theodore Johnson, Krishna Harathi	A Prioritized Multiprocessor Spin Lock.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	spin lock, real-time system, parallel processing, Mutual exclusion, priority queue