Search results for "Lock-coupling"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Jeang-Kuo Chen, Kuan-Chang Lu	Concurrent Operations for Accessing an XML Document in a Multi-user Environment.	ICA3PP	2009	DBLP DOI BibTeX RDF	Lock-coupling, Bread-first Search, XML, Concurrency Control, Locking
43	Christian Haack, Marieke Huisman, Clément Hurlin	Reasoning about Java's Reentrant Locks.	APLAS	2008	DBLP DOI BibTeX RDF
40	Vincent Ng 0002, Tiko Kameda	Concurrent access to point data.	COMPSAC	1997	DBLP DOI BibTeX RDF	point data, B/sup +/-tree, K-D-B tree, d-dimensional space, lock coupling technique, common user operations, SR distributed programming language, relative performance, search, concurrency control, R-tree, insert, index structures, concurrent access, concurrent accesses, concurrency control algorithms
35	Vincent Ng 0002, Tiko Kameda	Concurrent Access to R-Trees.	SSD	1993	DBLP DOI BibTeX RDF
33		Lock Coupling.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
25	Seok Il Song, Young Ho Kim, Jae Soo Yoo	An Enhanced Concurrency Control Scheme for Multidimensional Index Structures.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	performance evaluation, Concurrency control, multidimensional index structure
21	Viktor Leis, Michael Haubenschild, Thomas Neumann 0001	Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method.	IEEE Data Eng. Bull.	2019	DBLP BibTeX RDF
13	Jing Dai, Chang-Tien Lu	CLAM: concurrent location management for moving objects.	GIS	2007	DBLP DOI BibTeX RDF	concurrency control, spatial database, b-tree, space filling curve
13	Viktor Vafeiadis, Matthew J. Parkinson	A Marriage of Rely/Guarantee and Separation Logic.	CONCUR	2007	DBLP DOI BibTeX RDF
13	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001	Proving correctness of highly-concurrent linearisable objects.	PPoPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
13	Theodore Johnson, Dennis E. Shasha	A Framework for the Performance Analysis of Concurrent B-tree Algorithms.	PODS	1990	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )