Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich	Using Meta-level Compilation to Check FLASH Protocol Code.	ASPLOS	2000	DBLP DOI BibTeX RDF
9	Laurent Amsaleg, Michael J. Franklin, Olivier Gruber	Garbage collection for a client-server persistent object store.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	recovery, client-server system, logging, persistent object-store
9	Peter Bodorik, Dawn N. Jutla, Jacob Slonim, A. Agarwal	Locking with Different Granularities for Reads and Writes in an MVM System.	IDEAS	1999	DBLP DOI BibTeX RDF
9	Stephen N. Freund, John C. Mitchell	A Formal Framework for the Java Bytecode Language and Verifier.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
9	Randi Karlsen	Supporting Partial Isolation in Flat Transaction.	DEXA	1999	DBLP DOI BibTeX RDF
9	Christian Jacobi 0002, Cédric Lichtenau	Highly Concurrent Locking in Shared Memory Database Systems.	Euro-Par	1999	DBLP DOI BibTeX RDF
9	Jayavel Shanmugasundaram, Arvind Nithrakashyap, Rajendran M. Sivasankaran, Krithi Ramamritham	Efficient Concurrency Control for Broadcast Environments.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
9	Martin C. Carlisle	A truly implementation independent GUI development tool.	SIGAda	1999	DBLP DOI BibTeX RDF	Java, Ada, graphical user interfaces, automatic code generation, Tcl/Tk
9	Jer-Sheng Chen, Prithviraj Banerjee	Parallel construction algorithms for BDDs.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
9	Vinay Kanitkar, Alex Delis	Site Selection for Real-Time Client Request Handling.	ICDCS	1999	DBLP DOI BibTeX RDF	load-sharing techniques, real-time systems, client-server databases
9	Cormac Flanagan, Martín Abadi	Object Types against Races.	CONCUR	1999	DBLP DOI BibTeX RDF
9	Dinesh Somasekhar, Kaushik Roy 0001	LVDCSL: a high fan-in, high-performance, low-voltage differential current switch logic family.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
9	Anthony J. H. Simons	Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form.	OOPSLA	1998	DBLP DOI BibTeX RDF	borrowing, larceny, stealing, transfer of ownership, C++, C++, memory management, copy-on-write, implementation strategies
9	Richard Anderson, Gopalan Arun, Richard Frank	Oracle Rdb's Record Caching Model.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
9	Ming-Dong Feng, Chung-Kwong Yuen	Detection of Races and Control-Flow Nondeterminism.	LCR	1998	DBLP DOI BibTeX RDF
9	Paulo Ferreira 0001, Marc Shapiro 0001	Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof.	ECOOP	1998	DBLP DOI BibTeX RDF
9	James H. Anderson, Mark Moir	Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	k -Assignment, k -Exclusion, Shared subjects, Shared-memory multiprocessors, Resiliency, Wait-free, Local spinning
9	Paul F. Reynolds Jr., Craig Williams, Raymond R. Wagner Jr.	Isotach Networks.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	interprocess coordination, isochronicity, interconnection networks, concurrency control, multiprocessor systems, atomicity, sequential consistency, Logical time
9	Gregory T. Byrd, Michael J. Flynn	Evaluation of Communication Mechanisms in Invalidate-Based Shared Memory Multiprocessors.	PCRCW	1997	DBLP DOI BibTeX RDF
9	Anand Sivasubramaniam	Reducing the Communication Overhead of Dynamic Applications on Shared Memory Multiprocessors.	HPCA	1997	DBLP DOI BibTeX RDF	dynamic communication behavior, invalidation-based protocols, receiver-initiated communication, write overheads, redundant updates, intelligent sender-initiated data transfer mechanisms, competitive update mechanism, scalability, geographical information systems, shared memory multiprocessors, shared memory systems, data transfer, communication overhead, temporal locality, spatial locality, shared memory architectures, shared address space, performance benefits, dynamic applications
9	Knut Omang	Synchronization Support in I/O Adapter Based SCI Clusters.	CANPC	1997	DBLP DOI BibTeX RDF
9	Alain Kägi, Doug Burger, James R. Goodman	Efficient Synchronization: Let Them Eat QOLB.	ISCA	1997	DBLP DOI BibTeX RDF
9	Butler W. Lampson	How to Build a Highly Available System Using Consensus.	WDAG	1996	DBLP DOI BibTeX RDF
9	Hiroaki Higaki	Extended group communication algorithm for updating distributed programs.	ICPADS	1996	DBLP DOI BibTeX RDF	extended group communication algorithm, distributed programs updating, protocol errors, distributed application programs, protocols, distributed processing, concurrency control, deadlocks, user requirements, dynamic updating
9	Balaram Sinharoy, Rama Govindaraju	Improving Software MP Efficiency for Shared Memory Systems.	HICSS (1)	1996	DBLP DOI BibTeX RDF
9	Raoul Bhoedjang, Koen Langendoen	Friendly and Efficient Message Handling.	HICSS (1)	1996	DBLP DOI BibTeX RDF
9	Maurice Herlihy, Beng-Hong Lim, Nir Shavit	Scalable Concurrent Counting.	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	combining trees, counting networks
9	Theodore Johnson	Approximate Analysis of Reader/Writer Queues.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	reader/writer, lock queue, Performance analysis, concurrent system, queuing system
9	Fernando de Ferreira Rezende, Theo Härder	Concurrency Control in Nested Transactions with Enhanced Lock Models for KBMSs	DEXA	1995	DBLP DOI BibTeX RDF
9	Marc Shapiro 0001, Paulo Ferreira 0001	Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector.	WDAG	1995	DBLP DOI BibTeX RDF
9	Arvind Krishnamurthy, Katherine A. Yelick	Optimizing Parallel Programs with Explicit Synchronization.	PLDI	1995	DBLP DOI BibTeX RDF
9	Y. J. Bae, Michael C. Fairhurst	Parallelism in dynamic time warping for automatic signature verification.	ICDAR	1995	DBLP DOI BibTeX RDF	automatic signature verification, mathematical optimisation, sequentially structured problems, pipeline paradigm, highly distributed network, Meiko Computing Surface, Occam2, computational complexity, computational complexity, optimisation, handwriting recognition, time complexity, dynamic time warping, time warp simulation, transputer network
9	Qi Lu, Mahadev Satyanarayanan	Isolation-Only Transactions for Mobile Computing.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF	UNIX
9	Kenneth Salem, Hector Garcia-Molina, Jeannie Shands	Altruistic Locking.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	scheduling, atomicity, locking, serializability
9	Iris Sheauyin Chu, Marianne Winslett	Minipage Locking Support for Object-Oriented Page-Server DBMS.	CIKM	1994	DBLP DOI BibTeX RDF
9	Damien Doligez, Georges Gonthier	Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.	POPL	1994	DBLP DOI BibTeX RDF
9	Andrew P. Witkin, Paul S. Heckbert	Using particles to sample and control implicit surfaces.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	interaction, physically based modeling, constrained optimization, adaptive sampling
9	Philip S. Yu, Daniel M. Dias	Performance Analysis of Concurrency Control Using Locking with Deferred Blocking.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	deferred blocking, high data contention environment, switching point, simulation, performance evaluation, performance analysis, distributed databases, concurrency control, concurrency control, transaction processing, locking, blocking probability, optimistic concurrency control, resource contention, transaction processing systems
9	Mats Björkman, Per Gunningberg	Locking Effects in Multiprocessor Implementations of Protocols.	SIGCOMM	1993	DBLP DOI BibTeX RDF	TCP/IP
9	C. Mohan 0001, Inderpal Narang	An Efficient and Flexible Method for Archiving a Data Base.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
9	Michael Rabinovich, Edward D. Lazowska	Asynchronous Epoch Management in Replicated Databases.	WDAG	1993	DBLP DOI BibTeX RDF
9	Vincent Ng 0002, Tiko Kameda	Concurrent Access to R-Trees.	SSD	1993	DBLP DOI BibTeX RDF
9	Leonidas I. Kontothanassis, Robert W. Wisniewski	Using Scheduler Information to Achieve Optimal Barrier Synchronization Performance.	PPoPP	1993	DBLP DOI BibTeX RDF
9	Maurice Herlihy, J. Eliot B. Moss	Lock-Free Garbage Collection for Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	storagemanagement, garbage collection, multiprocessing systems, shared-memory multiprocessors, storage management, lock-free, global synchronization
9	Alexander Thomasian	Performance of Locking Policies with Limited Wait Depth.	SIGMETRICS	1992	DBLP DOI BibTeX RDF
9	C. Mohan 0001, Frank E. Levine	ARIES/IM: An Efficient and High Concurrency Index Management Method Using Write-Ahead Logging.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
9	Divyakant Agrawal, Amr El Abbadi, Richard Jeffers	Using Delayed Commitment in Locking Protocols for Real-Time Databases.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
9	C. Mohan 0001, Hamid Pirahesh, Raymond A. Lorie	Efficient and Flexible Methods for Transient Versioning of Records to Avoid Locking by Read-Only Transactions.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
9	John Turek, Dennis E. Shasha, Sundeep Prakash	Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking.	PODS	1992	DBLP DOI BibTeX RDF
9	Divyakant Agrawal, Amr El Abbadi	A Non-Restrictive Concurrency Control for Object Oriented Databases.	EDBT	1992	DBLP DOI BibTeX RDF
9	John M. Mellor-Crummey, Michael L. Scott	Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF
9	Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez	A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	siphon, st-component, p-semiflow, Petri net, colored Petri net, trap
9	Koen Langendoen, Willem G. Vree	FRATS: A Parallel Reduction Strategy for Shared Memory.	PLILP	1991	DBLP DOI BibTeX RDF
9	Paul Smith, Richard Keighley	The Formal Development of a Secure Transaction Mechanism.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
9	Thomas E. Anderson	The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	software queueing, CSMA network protocols, Ethernet backoff, Symmetry Model B, spinlock alternatives, shared-money multiprocessors, atomic instructions, softwarespin-waiting algorithms, dynamic arbitration, parallelprocessing, performance evaluation, distributed system, delays, storage management, multistage interconnection network, shared data structures, shared bus multiprocessors
9	In Kyung Ryu, Alexander Thomasian	Analysis of Database Performance with Dynamic Locking	J. ACM	1990	DBLP DOI BibTeX RDF
9	Yuri Breitbart, Abraham Silberschatz, Glenn R. Thompson	Reliable Transaction Management in a Multidatabase System.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
9	Manu Thapar, Bruce Delagi	Scalable Cache Coherence for Large Shared Memory Multiprocessors.	CONPAR	1990	DBLP DOI BibTeX RDF
9	Peter Triantafillou, David J. Taylor	A New Paradigm for High Availability and Efficiency in Replicated Distributed Databases.	SPDP	1990	DBLP DOI BibTeX RDF
9	Ulrich Herrmann, Peter Dadam, Klaus Küspert, E. A. Roman, Gunter Schlageter	A Lock Technique for Disjoint and Non-Disjoint Complex Objects.	EDBT	1990	DBLP DOI BibTeX RDF
9	Chi-Sung Laih, Lein Harn, Jau-Yien Lee	On the Design of a Single-Key-Lock Mechanism Based on Newton's Interpolating Polynomial.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	recursive generation, single-key-lock mechanism, access matrix, computer protection system, key selection, lock values, Newton interpolating polynomial, user/file, key positions, user-hierarchy structure, interpolation, polynomials, security of data, information resources, computational load
9	Carl S. Hartzman	The Delay Due to Dynamic Two-Phase Locking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	dynamic two-phase locking, open queuing network model, heavily utilized databases, distributed databases, queueing theory, database theory, probability distributions, gamma distributions, parameter settings
9	Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy	The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors.	SIGMETRICS	1989	DBLP DOI BibTeX RDF
9	Clarence A. Ellis, Simon J. Gibbs	Concurrency Control in Groupware Systems.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
9	Marta Rukoz	A Distributed Solution for Detecting Deadlock in Distributed Nested Transaction Systems.	WDAG	1989	DBLP DOI BibTeX RDF	distributed computation, distributed databases, deadlocks, distributed transactions, nested transactions
9	Waldemar Horwat, Andrew A. Chien, William J. Dally	Experience with CST: Programming and Implementation.	PLDI	1989	DBLP DOI BibTeX RDF	ConcurrentSmalltalk
9	Oscar Nierstrasz	Two models of concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
9	William J. Dally, Andrew A. Chien	Object-oriented concurrent programming in CST.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Smalltalk
9	Margaret H. Eich	Graph Directed Locking.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	lock conversion, database flow graph locking, non-two-phase methods, distributed databases, distributed databases, directed graphs, database theory, directed acyclic graph, system recovery, deadlock-free, database concurrency control
9	Maurice Herlihy, William E. Weihl	Hybrid Concurrency Control for Abstract Data Types.	PODS	1988	DBLP DOI BibTeX RDF
9	Tam M. Nguyen, Vason P. Srini, Alvin M. Despain	A two-tier memory architecture for high-performance multiprocessor systems.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, Prolog, CRAY X-MP
9	Helen Davis, John L. Hennessy	Characterizing the Synchronization Behavior of Parallel Programs.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF
9	Larry Soulé, Tom Blank	Parallel Logic Simulation on General Purpose Machines.	DAC	1988	DBLP BibTeX RDF
9	Alexandros Biliris	Operation Specific Locking in B-Trees.	PODS	1987	DBLP DOI BibTeX RDF
9	R. C. Hansdah, Lalit M. Patnaik	Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols.	FSTTCS	1987	DBLP DOI BibTeX RDF
9	R. C. Hansdah, Lalit M. Patnaik	Update Serializability in Locking.	ICDT	1986	DBLP DOI BibTeX RDF
9	G. R. Blakley, Catherine Meadows 0001	Security of Ramp Schemes.	CRYPTO	1984	DBLP DOI BibTeX RDF
9	Philip L. Lehman, S. Bing Yao	Efficient Locking for Concurrent Operations on B-Trees.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	concurrenct algorithms, consistencey, index organizations, multiway search trees, database, data structures, concurrency controls, correctness, B-tree, locking protocols
9	Keki B. Irani, Hing-Lung Lin	Queuing Network Models for Concurrent Transaction Processing in a Database System.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
9	Calvin K. Tang	Cache system design in the tightly coupled multiprocessor system.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF