Search results for "Concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	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
69	Doron Drusinsky, David Harel	On the Power of Cooperative Concurrency.	Concurrency	1988	DBLP DOI BibTeX RDF
66	Chris R. Jesshope	Building a Concurrency and Resource Allocation Model into a Processor's ISA.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
63	Nicolien J. Drost, Jan van Leeuwen	Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases.	Concurrency	1988	DBLP DOI BibTeX RDF	update synchronization, assertional proof, system-wide invariant, distributed databases, concurrency control, data replication, timestamps
61	Eli Gafni, Michael Merritt, Gadi Taubenfeld	The concurrency hierarchy, and algorithms for unbounded concurrency.	PODC	2001	DBLP DOI BibTeX RDF
61	Jeong Lim, Ralph E. Johnson	The heart of object-oriented concurrent programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
60	Evan P. C. Jones, Daniel J. Abadi, Samuel Madden 0001	Low overhead concurrency control for partitioned main memory databases.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	distributed databases, concurrency control
60	Wei Zhang 0022, Chong Sun, Shan Lu 0001	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
60	Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach	Lightweight concurrency primitives for GHC.	Haskell	2007	DBLP DOI BibTeX RDF	concurrency, transactional memory, haskell, thread
60	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
56	Charles Zhang 0001, Hans-Arno Jacobsen	Externalizing Java Server Concurrency with CAL.	ECOOP	2008	DBLP DOI BibTeX RDF
56	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
55	K. Eric Harper, Jiang Zheng 0001, Shakeel Mahate	Experiences in initiating concurrency software research efforts.	ICSE (2)	2010	DBLP DOI BibTeX RDF	parallelism, concurrency, multi-core
55	Ganesh Gopalakrishnan, Yu Yang 0013, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma 0001, Michael Delisi, Simone Atzeni	Some resources for teaching concurrency.	PADTAD	2009	DBLP DOI BibTeX RDF	education, concurrency, MPI, computer science education, multi-core, memory models, pthreads, dynamic verification
55	Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje	Fairness Strategy for Multilevel Secure Concurrency Control Protocol.	ICISS	2006	DBLP DOI BibTeX RDF	concurrency control, fairness, covert channel, Multilevel secure database systems
54	Chih Lai, H. Rebecca Callison	A framework for simulation of concurrency control policy in real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	concurrency control policy, formal policies, logical correctness, concurrently executing processes, real-time environments, performance, real-time systems, real-time systems, resource allocation, virtual machines, distributed processing, concurrency control, transaction processing, correctness, scheduling policy, overload management, transaction processing systems
52	P. Krishna Reddy, Masaru Kitsuregawa	Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions.	IDEAS	2000	DBLP DOI BibTeX RDF	speculation based nested locking protocol, inter-transaction concurrency, nested locking protocol, SNL protocol, sub-transaction, after-image, multiple executions, main memory resources, concurrency control, speculative executions, nested transactions, data object, concurrency control protocol
52	Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang	Concurrency control for real-time database systems with mixed transactions.	RTCSA	1997	DBLP DOI BibTeX RDF	mixed transactions, data conflicts, optimistic concurrency control with broadcast commit, OCC-BC, hard real-time transactions, schedulability, concurrency control, concurrency control, real-time database systems
52	Ugur Halici, Asuman Dogac	Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	concurrent transaction execution, distributed database management systems, ordering by serialization numbers, OSN method, certifier model, time-interval techniques, short-term locks, standard transaction execution policy, log classification, concurrency, distributed databases, distributed databases, concurrency control, concurrency control, deadlocks, serializability, complexity analysis, two-phase locking, distributed scheduler, timestamp ordering
51	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo	Concurrency Control in Transactional Drago.	Ada-Europe	2002	DBLP DOI BibTeX RDF	distributed systems, databases, transactions, locking
51	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
51	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD
50	Sérgio Soares, Paulo Borba	Towards reusable and modular aspect-oriented concurrency control.	SAC	2007	DBLP DOI BibTeX RDF	implementation approaches and techniques, framework, aspect-oriented programming, concurrency control, AspectJ, web information systems
50	Shan Lu 0001, Soyeon Park, Chongfeng Hu, Xiao Ma 0014, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou 0001	MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.	SOSP	2007	DBLP DOI BibTeX RDF	variable correlation, concurrency bug, bug detection
50	Yehuda Afek, Eli Gafni, Adam Morrison 0001	Common2 extended to stacks and unbounded concurrency.	PODC	2006	DBLP DOI BibTeX RDF	common2, consensus number 2, immediate snapshot, unbounded concurrency, queue, stack, wait-free
50	Raul Silaghi, Alfred Strohmeier	An MDA-Based Approach for Inferring Concurrency in Distributed Systems.	FIDJI	2004	DBLP DOI BibTeX RDF	Distributed Systems, Concurrency, Model-Driven Architecture, MDA, Model Transformations, UML Profiles, Enterprise Fondue
50	Alex Aizman	Easy concurrency.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Rules of concurrency, Application, Conflict, Relationship, Operation, Resource
49	Richard L. Schwartz	Data Base Distribution and Concurrency for End-Users (Abstract).	Concurrency	1988	DBLP DOI BibTeX RDF
49	Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel	Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
49	Christian Lengauer, Chua-Huang Huang	The Static Derivation of Concurrency and its Mechanzed Certification.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
49	Colin Allison, Mike Livesey	Persistent SR: Adding persistence to concurrency.	HICSS (2)	1995	DBLP DOI BibTeX RDF	persistent programming languages, concurrency, prototyping, concurrency control, distribution, object-oriented languages, persistence, parallel languages, SR, distribution models
49	Michal Young, Richard N. Taylor	Combining Static Concurrency Analysis with Symbolic Execution.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment
47	Kam-yiu Lam, Victor C. S. Lee, Sheung-lun Hung, Ben Kao	Impact of priority assignment on optimistic concurrency control in distributed real-time databases.	RTCSA	1996	DBLP DOI BibTeX RDF	distributed real-time databases, real-time concurrency control protocols, CPU scheduling algorithm, priority assignment heuristics, performance, concurrency control, earliest deadline first, optimistic concurrency control, priority assignment, data contention, deadline constraint
47	Paul J. Fortier, John C. Sieg Jr.	Simulation analysis of early commit concurrency control protocols.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation analysis, early commit concurrency control protocols, concurrency control enforcement, atomic data sets, transaction writer, conventional locking, recovery protocols, merged-commit, databases, protocols, virtual machines, concurrency control, database management systems, transaction processing, database design, system recovery, simulation model, replay, optimistic protocols, protocols performance, timestamp ordering
47	Shigekazu Inohara, Yoji Shigehata, Keitaro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Takashi Masuda	Page-based optimistic concurrency control for memory-mapped persistent object systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	page server, page-grain environment, optimistic schemes, distributed cooperative applications, distributed computers, groupware, distributed processing, distributed databases, concurrency control, concurrency control, object-oriented databases, cooperative work, two-phase locking, optimistic concurrency control, read-only transactions, memory-mapped, paged storage, timestamp ordering, persistent data structures
47	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
47	Philip S. Yu, Daniel M. Dias	Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	hybrid concurrency control schemes, hybrid CC, CC scheme, rerun transactions, dynamic locking, dynamic hybrid OCC, broadcast OCC, high data contention environment, decomposition approach, mean-value-type analysis, concurrency control, optimisation, transaction processing, analytic models, database theory, hybrid approach, optimistic concurrency control
47	Daniel M. Dias, Balakrishna R. Iyer, John T. Robinson, Philip S. Yu	Integrated Concurrency-Coherency Controls for Multisystem Data Sharing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	read-write synchronisation, multisystem data sharing, data sharing system structure, shared intermediate memory, early commit processing, write-serialization, integrated concurrency protocol, integrated concurrency-coherency control protocol, performance evaluation, performance analysis, protocols, distributed databases, concurrency control, queueing theory, buffering, buffer storage, queueing model
46	Haim Gaifman	Modeling concurrency by partial orders and nonlinear transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset, causal precedence, concurrent, computation, process, event, deadlock, partial order, action, state, transition system, automaton, shared resource, dining philosophers, simultaneous
46	Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre	Modelling Remote Concurrency with Ada.	Ada-Europe	2007	DBLP DOI BibTeX RDF
46	Nirmit Desai, Frank Mueller 0001	Scalable Distributed Concurrency Services for Hierarchical Locking.	ICDCS	2003	DBLP DOI BibTeX RDF
46	Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta 0001	Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation.	DATE	2002	DBLP DOI BibTeX RDF
46	Eshrat Arjomandi, Ivan Kalas, William G. O'Farrell	Concurrency abstractions in a C++ class library.	CASCON	1993	DBLP BibTeX RDF
46	Shiwei Wang, Ugo O. Gagliardi	An Optomized Concurrency Control Algorithm for Transaction Brocessing.	SEKE	1992	DBLP DOI BibTeX RDF
46	B. R. Badrinath, Krithi Ramamritham	Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
45	Yehuda Afek, Eli Gafni, Adam Morrison 0001	Common2 extended to stacks and unbounded concurrency.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Common2, Unbounded concurrency, Immediate snapshot, Stacks, Wait-free
45	Navdeep Kaur, Rajwinder Singh, Anil Kumar Sarje, Manoj Misra	Performance Evaluation of Secure Concurrency Control Algorithm for Multilevel Secure Distributed Database Systems.	ITCC (1)	2005	DBLP DOI BibTeX RDF	Distributed database, concurrency control, covert channel, multilevel secure database system
45	Tei-Wei Kuo, Jun Wu 0010, Hsin-Chia Hsih	Real-Time Concurrency Control in a Multiprocessor Environment.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	Real-time concurrency control, two-version database, multiprocessor architecture, priority inversion
45	Sang-Wook Kim, Wan Choi, Byoung-Ho Kim	Design and Implementation of the Concurrency Control Manager in the Main-Memory DBMS Tachyon.	COMPSAC	2002	DBLP DOI BibTeX RDF	main-memory DBMSs, concurrency control, DBMSs, locking, latching
45	Cristina Videira Lopes, Karl J. Lieberherr	Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications.	ECOOP	1994	DBLP DOI BibTeX RDF	adaptiveness, Concurrency, synchronization, object-orientation, reusability
44	Roberto Gorrieri	Ugo Montanari and Concurrency Theory.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
44	William W. LaRue, Sherry Solden, Bishnupriya Bhattacharya	Functional and Performance Modeling of Concurrency in VCC.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
44	George M. Reed, A. W. Roscoe 0001	Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
44	Stephen D. Brookes	On the Axiomatic Treatment of Concurrency.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
44	Mogens Nielsen, Vladimiro Sassone, Glynn Winskel	Relationships Between Models of Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Models for Concurrency, Semantics, Concurrency, Categories
43	D. Janaki Ram, M. A. Maluk Mohamed, V. R. Devanathan	A Framework for Concurrency Control in Real-Time Distributed Collaboration for Mobile Systems.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF	Real-time distributed collaboration, data-centric concurrency control, EOMP, optimistic concurrency control
43	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods
43	Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian	Distributed Concurrency Control Based on Limited Wait-Depth.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	Wait-DepthLimited, Wound-Wait CC, distributed 2PL, limited wait-depth, distributedalgorithms, performance evaluation, performance evaluation, distributed algorithms, distributed databases, distributed databases, concurrency control, concurrency control, distributed, transaction processing, transaction processing, deadlocks, database theory, two-phase locking
42	Jan Lindström	Extensions to optimistic concurrency control with time intervals.	RTCSA	2000	DBLP DOI BibTeX RDF	optimistic approach, RTDBS, restart overhead, unnecessary restart problem, OCC-TI, Optimistic Concurrency Control with Time Intervals, basic dynamic adjustment, serialization order conflict resolution method, real-time systems, protocols, concurrency control, optimisation, transaction processing, real time database systems, real time database system, optimistic concurrency control, time intervals, locking protocols
41	Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, Elisei Rotaru	Concurrency in Distributed Systems under Autonomous and Enforced Actions.	ACSD	2006	DBLP DOI BibTeX RDF
41	Haifeng Shen, Suiping Zhou, Chengzheng Sun	Flexible Concurrency Control for Collaborative Office Systems.	ICITA (2)	2005	DBLP DOI BibTeX RDF
41	Sérgio Soares, Paulo Borba	Concurrency Control with Java and Relational Databases.	COMPSAC	2002	DBLP DOI BibTeX RDF
41	Lonnie R. Welch	A metrics-driven approach for utilizing concurrency in object-oriented real-time systems.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
41	Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman	Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms (Extended Abstract).	WDAG	1993	DBLP DOI BibTeX RDF
41	Maurice Herlihy	Concurrency versus Availability: Atomic Mechanisms for Replicated Data.	ACM Trans. Comput. Syst.	1987	DBLP DOI BibTeX RDF
41	Peter A. Franaszek, John T. Robinson	Limitations of Concurrency in Transaction Processing.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
40	Brian Demsky, Patrick Lam 0001	Views: object-inspired concurrency control.	ICSE (1)	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
40	Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi	GAMBIT: effective unit testing for concurrency libraries.	PPoPP	2010	DBLP DOI BibTeX RDF	preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction
40	Sven Stork, Paulo Marques, Jonathan Aldrich	Concurrency by default: using permissions to express dataflow in stateful programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	access permissions, concurrency, programming language, dataflow
40	Pavel Parízek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
40	Sanjay Kumar Madria, Mohammed Baseer, Vijay Kumar 0002, Sourav S. Bhowmick	A transaction model and multiversion concurrency control for mobile database systems.	Distributed Parallel Databases	2007	DBLP DOI BibTeX RDF	Multiversions, Concurrency, Locking, Timestamps, Mobile transaction
40	Jörg Kienzle, Rachid Guerraoui	AOP: Does It Make Sense? The Case of Concurrency and Failures.	ECOOP	2002	DBLP DOI BibTeX RDF	concurrency, Aspect-oriented programming, abstraction, transactions, objects, failures, exceptions
40	Jeonghwa Yang, Dongman Lee	Scalable Prediction Based Concurrency Control for Distributed Virtual Environments.	VR	2000	DBLP DOI BibTeX RDF	Entity-Centric Multicast, Prediction, Concurrency Control, Distributed Virtual Environments
40	Bharat K. Bhargava	Concurrency Control in Database Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Degree of concurrency, optimistic, classes of serializability, flexible transactions, performance, adaptability, time-stamp
40	Bilung Lee, Edward A. Lee	Hierarchical Concurrent Finite State Machines in Ptolemy.	ACSD	1998	DBLP DOI BibTeX RDF	concurrency, finite state machine, heterogeneity, hierarchy
40	Olaf Kummer, Mark-Oliver Stehr	Petri's Axioms of Concurrency- A Selection of Recent Results.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics Axiomatic theory of concurrency/causality
40	Narayanan Krishnakumar, Arthur J. Bernstein	Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	concurrency control, replication, integrity constraints, reachability analysis, serializability
40	Saul Greenberg, David Marwood	Real Time Groupware as a Distributed System: Concurrency Control and Its Effect on the Interface.	CSCW	1994	DBLP DOI BibTeX RDF	distributed systems, computer supported cooperative work, real time groupware, concurrency control algorithms
40	Shin-Mu Tseng, Yeh-Hao Chin	Prescheduling policy for real-time concurrency control: A performance evaluation.	J. Syst. Integr.	1993	DBLP DOI BibTeX RDF	valid ratio, prescheduling, performance evaluation, Real-time, concurrency control
40	Peter A. Franaszek, John T. Robinson, Alexander Thomasian	Concurrency Control for High Contention Environments.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	concurrency control, transaction processing
40	Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II	System Level Concurrency Control for Distributed Database Systems.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	deadly embrace, readers and writers, database, concurrency, integrity, distributed, consistency, transaction, deadlock, lock, rollback, restart
39	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
39	Leslie Lamport	The computer science of concurrency: the early years.	Concurrency: the Works of Leslie Lamport	2019	DBLP DOI BibTeX RDF
39	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
39	Kurt Jensen, Wil M. P. van der Aalst (eds.)	Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems	Trans. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
39	Irina B. Virbitskaite	On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
39	Juhnyoung Lee, Sang Hyuk Son	Performance of Concurrency Control Algorithms for Real-Time Database Systems.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Vijay Kumar 0002	Concurrency Control Mechanisms and Their Taxonomy.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Sushil Jajodia, Ravi Mukkamala	Reduction in Transaction Conflicts Using Semantics-Based Concurrency Control.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Philip S. Yu	Modeling and Analysis of Concurrency Control Schemes.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Rakesh Agrawal 0001, Michael J. Carey 0001, Miron Livny	Concurrency Control Performance Modeling: Alternatives and Implications.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Margaret H. Eich, David L. Wells	Database Concurrency Control Using Data Flow Graphs.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Shehan Xavier, Krithi Ramamritham	Implementation Considerations and Performance Evaluation of Object-Based Concurrency Control Protocols.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Jayant R. Haritsa, Michael J. Carey 0001, Miron Livny	Firm Real-Time Concurrency Control.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	C. Mohan 0001	Concurrency Control and Recovery Methods for B+-Tree Indexes: ARIES/KVL and ARIES/IM.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
39	Rance Cleaveland	Analysing Concurrent Systems Using the Concurrency Workbench.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
39	Friedrich H. Vogt (eds.)	Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings	Concurrency	1988	DBLP DOI BibTeX RDF
39	Amir Pnueli, Roni Rosner	A Framework for the Synthesis of Reactive Modules.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Karl Meinke, John V. Tucker	The Scope and Limits of Synchronous Concurrent Computation.	Concurrency	1988	DBLP DOI BibTeX RDF
39	Stefania Gnesi, Paola Inverardi, Monica Nesi	A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.	Concurrency	1988	DBLP DOI BibTeX RDF