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 (20) 1978 (16) 1979 (25) 1980 (29) 1981 (37) 1982 (53) 1983 (43) 1984 (70) 1985 (57) 1986 (81) 1987 (93) 1988 (161) 1989 (157) 1990 (189) 1991 (213) 1992 (222) 1993 (280) 1994 (199) 1995 (278) 1996 (326) 1997 (314) 1998 (340) 1999 (316) 2000 (379) 2001 (293) 2002 (325) 2003 (380) 2004 (403) 2005 (435) 2006 (499) 2007 (589) 2008 (590) 2009 (572) 2010 (498) 2011 (344) 2012 (418) 2013 (453) 2014 (493) 2015 (688) 2016 (567) 2017 (672) 2018 (526) 2019 (97)
Publication types (Num. hits)
article(5358) book(29) incollection(86) inproceedings(7058) phdthesis(77) proceedings(132)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7665 occurrences of 2456 keywords

Results
Found 12740 publication records. Showing 12740 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
75Shan Lu, 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
72Chris 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
68Jeong Lim, Ralph E. Johnson The heart of object-oriented concurrent programming. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
65Eli 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
64Evan 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
64Wei Zhang 0022, Chong Sun, Shan Lu 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
64Peng 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
64Seok 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
62Peter Wegner Granularity of modules in object-based concurrent systems. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
61Doron Drusinsky, David Harel On the Power of Cooperative Concurrency. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
61Charles Zhang, Hans-Arno Jacobsen Externalizing Java Server Concurrency with CAL. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
58K. 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
58Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, 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
58Navdeep 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
57Gail E. Kaiser Concurrent meld. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF MELD
56Chih 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
55Marta 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
55Bruce Martin Concurrent programming vs. concurrency control: shared events or shared data. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
54P. 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
54Kam-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
54Ugur 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
53Nicolien 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
53Sé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
53Shan Lu, 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
53Yehuda 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
53Raul 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
53Alex Aizman Easy concurrency. Search on Bibsonomy STTT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Rules of concurrency, Application, Conflict, Relationship, Operation, Resource
50Colin 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
50Michal 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
49Claude 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
49Nirmit Desai, Frank Mueller Scalable Distributed Concurrency Services for Hierarchical Locking. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Nick 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
49Eshrat 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
49Shiwei 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
49B. 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
48Kam-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
48Paul 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
48Shigekazu 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
48Philip 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
48Philip 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
48Daniel 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
48Haim 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
47Yehuda Afek, Eli Gafni, Adam Morrison 0001 Common2 extended to stacks and unbounded concurrency. Search on Bibsonomy Distributed Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Common2, Unbounded concurrency, Immediate snapshot, Stacks, Wait-free
47Navdeep 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
47Tei-Wei Kuo, Jun Wu 0010, Hsin-Chia Hsih Real-Time Concurrency Control in a Multiprocessor Environment. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Real-time concurrency control, two-version database, multiprocessor architecture, priority inversion
47Sang-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
47Cristina 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
45D. 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
45Alexander 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, safety-critical software, hard real-time systems, safety-critical applications, verification methods
45Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian Distributed Concurrency Control Based on Limited Wait-Depth. Search on Bibsonomy IEEE Trans. Parallel Distrib. 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
44Haifeng 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
44Sérgio Soares, Paulo Borba Concurrency Control with Java and Relational Databases. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Lonnie 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
44Paris 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
44Maurice 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
44Peter 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
43Claus Brabrand Constructive Alignment for Teaching Model-Based Design for Concurrency. Search on Bibsonomy Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2008 DBLP  DOI  BibTeX  RDF student learning, constructive alignment, the SOLO taxonomy, model-based design for concurrency, teaching
43Mogens 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
43Sebastian 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
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
42Arnim 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
41Katherine 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
41Brian 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
41Pavel Parizek, 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
41Sven 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
41Sanjay 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 and Parallel Databases The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multiversions, Concurrency, Locking, Timestamps, Mobile transaction
41Jö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
41Jeonghwa 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
41Bharat 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
41Bilung 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
41Olaf 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
41Narayanan 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
41Saul 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
41Shin-Mu Tseng, Yeh-Hao Chin Prescheduling policy for real-time concurrency control: A performance evaluation. Search on Bibsonomy Journal of Systems Integration The full citation details ... 1993 DBLP  DOI  BibTeX  RDF valid ratio, prescheduling, performance evaluation, Real-time, concurrency control
41Peter 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
41Daniel 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
40Christian Eisentraut, Holger Hermanns Teaching Concurrency Concepts to Freshmen. Search on Bibsonomy Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Gé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
40Christian 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
40Binto George, Jayant R. Haritsa Secure Transaction Processing in Firm Real-Time Database Systems. Search on Bibsonomy SIGMOD Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Heejun Han, Seog Park, Chanjung Park A concurrency control protocol for read-only transactions in real-time secure database systems. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions
39Ching-Shan Peng, Kwei-Jay Lin A semantic-based concurrency control protocol for real-time transactions. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions
38Jay K. Adams, Donald E. Thomas Multiple-process behavioral synthesis for mixed hardware-software systems. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF automated iterative improvement technique, concurrency optimization, concurrency tradeoffs, cost/performance ratio, hardware-software tradeoffs, mixed hardware-software systems, multiple-process behavioral synthesis, software engineering, resource allocation, concurrency control, controllers, optimisation, high level synthesis, logic design, multiprocessing systems, microprocessors, ASICs, application specific integrated circuits, ASIC, microprocessor chips, cost-benefit analysis
38Richard N. Taylor, David L. Levine, Cheryl D. Kelly Structural Testing of Concurrent Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
38Richard L. Schwartz Data Base Distribution and Concurrency for End-Users (Abstract). Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
38Yuan Zhang, Evelyn Duesterwald, Guang R. Gao Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers. Search on Bibsonomy LCPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Tim Schattkowsky, Gregor Engels, Alexander Förster A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Kostas Bousias, Chris R. Jesshope The Challenges of Massive On-Chip Concurrency. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Peter Pleshachkov, Petr Chardin, Sergei D. Kuznetsov A DataGuide-Based Concurrency Control Protocol for Cooperation on XML Data. Search on Bibsonomy ADBIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Xinping Zhu, Wei Qin, Sharad Malik Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation. Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF on-chip communication architecture, simulator synthesis, multiprocessor system, packet-switching network, design exploration, bus, retargetable simulation
38Jan Lindström Performance of Distributed Optimistic Concurrency Control in Real-Time Databases. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Brad Long, Paul A. Strooper A Classification of Concurrency Failures in Java Components. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Stephen P. Masticola, Barbara G. Ryder Non-concurrency Analysis. Search on Bibsonomy PPOPP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Ada
38Luca Aceto, David Murphy On the Ill-Timed but Well-Caused. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz The Concurrency Control Problem in Multidatabases: Characteristics and Solutions. Search on Bibsonomy SIGMOD Conference The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
38Maurice Herlihy Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
38Michael J. Carey 0001, Miron Livny Parallelism and Concurrency Control Performance in Distributed Database Machines. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF SQL
38Bernadette Charron-Bost Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory. Search on Bibsonomy WDAG The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
38C. P. Wang, Victor O. K. Li The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms. Search on Bibsonomy PODS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
38Michael J. Carey 0001, Waleed A. Muhanna The Performance of Multiversion Concurrency Control Algorithms. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 12740 (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