The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for concurrency with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-1977 (22) 1978 (16) 1979 (27) 1980 (30) 1981 (37) 1982 (58) 1983 (45) 1984 (72) 1985 (58) 1986 (83) 1987 (97) 1988 (182) 1989 (131) 1990 (183) 1991 (165) 1992 (194) 1993 (246) 1994 (171) 1995 (265) 1996 (290) 1997 (251) 1998 (239) 1999 (228) 2000 (254) 2001 (243) 2002 (262) 2003 (337) 2004 (326) 2005 (363) 2006 (396) 2007 (441) 2008 (477) 2009 (447) 2010 (360) 2011 (188) 2012 (261) 2013 (292) 2014 (318) 2015 (360) 2016 (293) 2017 (280) 2018 (278) 2019 (309) 2020 (209) 2021 (248) 2022 (159)
Publication types (Num. hits)
article(1780) book(37) incollection(129) inproceedings(7955) phdthesis(113) proceedings(177)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7652 occurrences of 2452 keywords

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