|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7652 occurrences of 2452 keywords
|
|
|
Results
Found 10697 publication records. Showing 10697 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 329-339, 2008, ACM, 978-1-59593-958-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bug characteristics, concurrent program, concurrency bug |
69 | Doron Drusinsky, David Harel |
On the Power of Cooperative Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 74-103, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
66 | Chris R. Jesshope |
Building a Concurrency and Resource Allocation Model into a Processor's ISA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers, pp. 129-130, 2008, Springer, 978-3-642-00954-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 320-334, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, Newport, Rhode Island, USA, August 26-29, 2001, pp. 161-169, 2001, ACM, 1-58113-383-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
61 | Jeong Lim, Ralph E. Johnson |
The heart of object-oriented concurrent programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 165-167, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 603-614, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 179-192, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 107-118, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(1), pp. 97-111, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 362-386, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Peter Wegner |
Granularity of modules in object-based concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 46-49, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
55 | K. Eric Harper, Jiang Zheng 0001, Shakeel Mahate |
Experiences in initiating concurrency software research efforts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 139-148, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006, Proceedings, pp. 71-85, 2006, Springer, 3-540-68962-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 91-99, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 296-305, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 96-103, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 994-1003, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 309-320, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, databases, transactions, locking |
51 | Bruce Martin |
Concurrent programming vs. concurrency control: shared events or shared data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 142-144, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
51 | Gail E. Kaiser |
Concurrent meld. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 120-122, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
MELD |
50 | Sérgio Soares, Paulo Borba |
Towards reusable and modular aspect-oriented concurrency control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1293-1294, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007, pp. 103-116, 2007, ACM, 978-1-59593-591-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 218-227, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIDJI ![In: Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers, pp. 24-37, 2004, Springer, 3-540-25053-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Distributed Systems, Concurrency, Model-Driven Architecture, MDA, Model Transformations, UML Profiles, Enterprise Fondue |
50 | Alex Aizman |
Easy concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 456-468, 2001. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 63, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 757-777, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Christian Lengauer, Chua-Huang Huang |
The Static Derivation of Concurrency and its Mechanzed Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminar on Concurrency ![In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, pp. 131-150, 1984, Springer, 3-540-15670-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
49 | Colin Allison, Mike Livesey |
Persistent SR: Adding persistence to concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 655-664, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(10), pp. 1499-1511, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 128-135, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 322-331, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 645-654, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(10), pp. 982-996, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(2), pp. 118-129, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(4), pp. 437-448, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 467-488, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 192-207, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Nirmit Desai, Frank Mueller 0001 |
Scalable Distributed Concurrency Services for Hierarchical Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 530-537, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 875-881, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Eshrat Arjomandi, Ivan Kalas, William G. O'Farrell |
Concurrency abstractions in a C++ class library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 919-932, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
46 | Shiwei Wang, Ugo O. Gagliardi |
An Optomized Concurrency Control Algorithm for Transaction Brocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 9-16, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
46 | B. R. Badrinath, Krithi Ramamritham |
Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 163-172, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Yehuda Afek, Eli Gafni, Adam Morrison 0001 |
Common2 extended to stacks and unbounded concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(4), pp. 239-252, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 249-254, 2005, IEEE Computer Society, 0-7695-2315-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(6), pp. 659-671, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 635-644, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 81-99, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
adaptiveness, Concurrency, synchronization, object-orientation, reusability |
44 | Roberto Gorrieri |
Ugo Montanari and Concurrency Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 403-408, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | William W. LaRue, Sherry Solden, Bishnupriya Bhattacharya |
Functional and Performance Modeling of Concurrency in VCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency and Hardware Design ![In: Concurrency and Hardware Design, Advances in Petri Nets, pp. 191-227, 2002, Springer, 3-540-00199-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | George M. Reed, A. W. Roscoe 0001 |
Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency: Theory, Language, And Architecture ![In: Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings, pp. 36-63, 1989, Springer, 3-540-53932-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
44 | Stephen D. Brookes |
On the Axiomatic Treatment of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminar on Concurrency ![In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, pp. 1-34, 1984, Springer, 3-540-15670-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
44 | Mogens Nielsen, Vladimiro Sassone, Glynn Winskel |
Relationships Between Models of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 425-476, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 19-22 May 2003, Providence, RI, USA, pp. 488-492, 2003, IEEE Computer Society, 0-7695-1921-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 468-472, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(11), pp. 1246-1264, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 108-, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 251-260, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Haifeng Shen, Suiping Zhou, Chengzheng Sun |
Flexible Concurrency Control for Collaborative Office Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (2) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 45-50, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Sérgio Soares, Paulo Borba |
Concurrency Control with Java and Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 843-849, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Lonnie R. Welch |
A metrics-driven approach for utilizing concurrency in object-oriented real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPS Messenger ![In: OOPS Messenger 7(1), pp. 70-77, 1996. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings, pp. 99-114, 1993, Springer, 3-540-57271-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Maurice Herlihy |
Concurrency versus Availability: Atomic Mechanisms for Replicated Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 5(3), pp. 249-274, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
41 | Peter A. Franaszek, John T. Robinson |
Limitations of Concurrency in Transaction Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 10(1), pp. 1-28, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
40 | Brian Demsky, Patrick Lam 0001 |
Views: object-inspired concurrency control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 395-404, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 15-24, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 933-940, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 117-132, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 22(2-3), pp. 165-196, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 37-61, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: Virtual Reality 2000 Conference, VR'00, New Brunswick, New Jersey, USA, March 18-22, 2000, Proceedings, pp. 151-, 2000, IEEE Computer Society, 0-7695-0478-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Entity-Centric Multicast, Prediction, Concurrency Control, Distributed Virtual Environments |
40 | Bharat K. Bhargava |
Concurrency Control in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 3-16, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 34-40, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 195-214, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 19(4), pp. 586-625, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '94, Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, USA, October 22-26, 1994, pp. 207-217, 1994, ACM, 0-89791-689-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 3(1), pp. 23-42, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(2), pp. 304-345, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 3(2), pp. 178-198, 1978. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 167-178, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
testing, concurrency, randomized algorithms, race conditions |
39 | Leslie Lamport |
The computer science of concurrency: the early years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency: the Works of Leslie Lamport ![In: Concurrency: the Works of Leslie Lamport, pp. 13-26, 2019, ACM, 978-1-4503-7270-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Frank S. de Boer |
Reasoning about Recursive Processes in Shared-Variable Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Compositionality, and Correctness ![In: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, pp. 127-141, 2010, Springer, 978-3-642-11511-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets and Other Models of Concurrency ![Springer, 978-3-642-00898-6 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Irina B. Virbitskaite |
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS Workshop on Concurrency ![In: Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998, pp. 207-222, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Juhnyoung Lee, Sang Hyuk Son |
Performance of Concurrency Control Algorithms for Real-Time Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 429-460, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Vijay Kumar 0002 |
Concurrency Control Mechanisms and Their Taxonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 30-36, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Sushil Jajodia, Ravi Mukkamala |
Reduction in Transaction Conflicts Using Semantics-Based Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 387-405, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Philip S. Yu |
Modeling and Analysis of Concurrency Control Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 106-147, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Rakesh Agrawal 0001, Michael J. Carey 0001, Miron Livny |
Concurrency Control Performance Modeling: Alternatives and Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 58-105, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Margaret H. Eich, David L. Wells |
Database Concurrency Control Using Data Flow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 215-247, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Shehan Xavier, Krithi Ramamritham |
Implementation Considerations and Performance Evaluation of Object-Based Concurrency Control Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 356-386, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Jayant R. Haritsa, Michael J. Carey 0001, Miron Livny |
Firm Real-Time Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 461-493, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | C. Mohan 0001 |
Concurrency Control and Recovery Methods for B+-Tree Indexes: ARIES/KVL and ARIES/IM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 248-306, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
39 | Rance Cleaveland |
Analysing Concurrent Systems Using the Concurrency Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 129-144, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
39 | Friedrich H. Vogt (eds.) |
Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![Springer, 3-540-50403-6 The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Amir Pnueli, Roni Rosner |
A Framework for the Synthesis of Reactive Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 4-17, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Karl Meinke, John V. Tucker |
The Scope and Limits of Synchronous Concurrent Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 163-180, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 181-196, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 10697 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|