|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 567 occurrences of 259 keywords
|
|
|
Results
Found 407 publication records. Showing 407 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
117 | Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz |
Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability. |
ACM Trans. Database Syst. |
1998 |
DBLP DOI BibTeX RDF |
beyond serializability, concurrency control, multidatabases, database consistency |
78 | Yoav Raz |
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
72 | Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha |
Safe open-nested transactions through ownership. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
abstract serializability, open-nested transactions, ownership-aware transactions, serializability by levels, serializability by modules, xmodules, transactional memory, ownership types |
72 | Hagit Attiya, G. Ramalingam, Noam Rinetzky |
Sequential verification of serializability. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
verification, concurrency, reduction, serializability |
72 | Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip |
Dynamic detection of atomic-set-serializability violations. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming |
68 | Kyu-Woong Lee, Seog Park |
Classification of Weak Correctness Criteria for Real-Time Database Applications. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
68 | Peter Wegner |
Granularity of modules in object-based concurrent systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
68 | Gail E. Kaiser |
Transactions for concurrent object-oriented programming systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
67 | SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee |
A unified approach to global concurrency control and global deadlocks in a multidatabase environment. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations |
67 | Henry F. Korth, Gregory D. Speegle |
Formal Model of Correctness Without Serializability. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
60 | Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan |
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
software testing, dynamic analysis, atomicity, serializability |
60 | Min Xu, Rastislav Bodík, Mark D. Hill |
A serializability violation detector for shared-memory server programs. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
multithreading, serializability, race conditions |
60 | Marie-Paule Flé, Gérard Roucairol |
Fair serializability of iterated transactions using FIFO-nets. |
European Workshop on Applications and Theory in Petri Nets |
1984 |
DBLP DOI BibTeX RDF |
maximal serializability, Petri-nets (FIFO-Nets), concurrency, fair |
57 | Khuzaima Daudjee, Kenneth Salem |
Lazy Database Replication with Ordering Guarantees. |
ICDE |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz |
The Concurrency Control Problem in Multidatabases: Characteristics and Solutions. |
SIGMOD Conference |
1992 |
DBLP DOI BibTeX RDF |
|
56 | Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha |
Safe open-nested transactions through ownership. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
abstract serializability, open-nested transactions, ownership-aware transactions, safe nesting, semantic deadlock, serializability by modules, transactional memory semantics, xmodules, semantics, transactional memory, ownership types |
56 | José N. Amaral 0001, Joydeep Ghosh |
Performance measurements of a concurrent production system architecture without global synchronization. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
concurrent production system architecture, serializability criterion of correctness, production system machines, associative memory devices, parallel production firing, concurrent matching, overlap among matching, associative memory components, bus bandwidth, performance evaluation, performance evaluation, parallel architectures, knowledge based systems, performance measurements, parallel machine, serializability, content-addressable storage, cost effectiveness, global synchronization |
54 | Kun-Lung Wu, Philip S. Yu, Calton Pu |
Divergence Control Algorithms for Epsilon Serializability. |
IEEE Trans. Knowl. Data Eng. |
1997 |
DBLP DOI BibTeX RDF |
Epsilon serializability, divergence control, concurrency control, transaction processing, serializability |
51 | Shin Parker, Zhengxin Chen |
Extending invalid-access prevention policy protocols for mobile-client data caching. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
invalid-access prevention policy protocol, serializability, two phase locking, multimedia object, mobile client |
51 | Narayanan Krishnakumar, Arthur J. Bernstein |
Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System. |
ACM Trans. Database Syst. |
1994 |
DBLP DOI BibTeX RDF |
concurrency control, replication, integrity constraints, reachability analysis, serializability |
49 | Philip A. Bernstein, Alan D. Fekete, Hongfei Guo, Raghu Ramakrishnan 0001, Pradeep Tamma |
Relaxed-currency serializability for middle-tier caching and replication. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
freshness constraint, database, caching, replication, transaction, serializability |
49 | Nadia Busi, Gianluigi Zavattaro |
On the serializability of transactions in shared dataspaces with temporary data. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
shared dataspace coordination, temporary data, transaction serializability, Linda |
49 | Pamela Drew, Calton Pu |
Asynchronous consistency restoration under epsilon serializability. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
consistency restoration, epsilon serializability, data inconsistency, data integrity, concurrency control, object-oriented databases, inconsistency, concurrent processing |
45 | Hyun-Cheol Jeong |
Global Transaction Control with Multilevel Security Environments. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Angelo Brayner, Frank Stefan Alencar |
A Semantic-Serializability Based Fully-Distributed Concurrency Control Mechanism for Mobile Multi-Database Systems. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Jens Lechtenbörger, Gottfried Vossen |
On Herbrand Semantics and Conflict Serializability of Read-Write Transactions. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Ekkart Kindler |
Serializability, Concurrency Control, and Replication Control. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Mads Nygård, Sintef Delab |
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
44 | Dexter P. Bradshaw |
Open nested serializability in multidatabase systems. |
CASCON |
1992 |
DBLP BibTeX RDF |
|
44 | R. C. Hansdah, Lalit M. Patnaik |
Update Serializability in Locking. |
ICDT |
1986 |
DBLP DOI BibTeX RDF |
|
44 | K. Vidyasankar |
A Simple Characterization of Database Serializability. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
43 | Wai K. Chan, Jianwen Chen |
Serializability and Epsilon Serializability in a Mobile Environment. |
Applied Informatics |
1999 |
DBLP BibTeX RDF |
|
39 | Thirumalaisamy Ragunathan, P. Krishna Reddy |
Improving the Performance of Read-Only Transactions Through Speculation. |
DNIS |
2007 |
DBLP DOI BibTeX RDF |
Transaction processing, Serializability, Speculation, Read-Only Transactions |
39 | Liqiang Wang, Scott D. Stoller |
Accurate and efficient runtime detection of atomicity errors in concurrent programs. |
PPoPP |
2006 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, atomicity, serializability, data race |
39 | Alan D. Fekete, Dimitrios Liarokapis, Elizabeth J. O'Neil, Patrick E. O'Neil, Dennis E. Shasha |
Making snapshot isolation serializable. |
ACM Trans. Database Syst. |
2005 |
DBLP DOI BibTeX RDF |
multiversion concurrency, weak isolation, Concurrency control, consistency, serializability, anomaly, snapshot isolation |
39 | Alan D. Fekete |
Allocating isolation levels to transactions. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
concurrency control, consistency, serializability, anomaly, two-phase locking, snapshot isolation |
39 | Aidong Zhang, Marian H. Nodine, Bharat K. Bhargava |
Global Scheduling for Flexible Transactions in Heterogeneous Distributed Database Systems. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
Heterogeneous and autonomous database, flexible transactions, concurrency control, serializability, transaction management |
39 | Damián Arregui, François Pacull, Michel Riviere |
Heterogeneous Component Coordination: The CLF Approach. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
heterogeneous component coordination, CLF approach, Java/Jini, Corba 3.0, Object Management Group, Coordination Language Facility, two-phase commit protocol, showcase application, heterogeneous components, Java, serializability, distributed object management, distributed transactions, Enterprise JavaBeans |
39 | Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad |
From serializable to causal transactions for collaborative applications. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
serializable transactions, causal transactions, decentralized distributed systems, shared distributed objects, consistency criteria, execution behaviour, failure atomicity, long-lived objects, causal serializability, service quality constraints, fault tolerance, performance, protocols, groupware, availability, cooperative work, autonomy, collaborative applications, concurrent access, operating system support, synchronization constraints, causal consistency |
39 | Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh |
Consistency and Orderability: Semantics-Based Correctness Criteria for Databases. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
serializability theory, semantics, concurrency control, object-oriented databases |
39 | Hector Garcia-Molina, Boris Kogan |
Achieving High Availability in Distributed Databases. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
communication failures, controlling entity, correctness criterion, transaction execution, fragmentwise serializability, agent, fault tolerant computing, fault tolerant computing, distributed databases, distributed databases, software reliability, program verification, database theory, network partitions, data availability |
38 | Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Amit P. Sheth |
Using Tickets to Enforce the Serializability of Multidatabase Transactions. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
multidatabase transactions, global serializability, multidatabase transaction manager, indirect conflicts, data manipulation operations, local database system, analogous execution, serialization orders, forced local conflicts, local cascadelessness, local strictness, schedules, distributed databases, transaction processing, global scheduler |
34 | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps |
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott |
Ordering-Based Semantics for Software Transactional Memory. |
OPODIS |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Kunal Agrawal, Charles E. Leiserson, Jim Sukha |
Memory models for open-nested transactions. |
Memory System Performance and Correctness |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Jan Lindström |
Relaxed Correctness for Firm Real-Time Databases. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
34 | André Seifert, Marc H. Scholl |
Processing Read-Only Transactions in Hybrid Data Delivery Environments with Consistency and Currency Guarantees. |
Mob. Networks Appl. |
2003 |
DBLP DOI BibTeX RDF |
data currency, broadcasting, data consistency, unicasting, read-only transactions |
34 | Chanjung Park, Seog Park, Sang Hyuk Son |
Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
multiversion concurrency control, multilevel security, transaction management, real-time database systems, Locking protocol |
34 | Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu |
Federated Transaction Management with Snapshot Isolation. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Avigdor Gal |
On Transaction Management in Temporal Databases. |
Temporal Databases, Dagstuhl |
1997 |
DBLP DOI BibTeX RDF |
temporal databases, transaction management |
34 | Dexter P. Bradshaw, Per-Åke Larson, Jacob Slonim |
Transaction scheduling in dynamic composite multidatabase systems. |
CASCON |
1995 |
DBLP BibTeX RDF |
|
34 | Man Hon Wong 0001, Divyakant Agrawal |
Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Vijayalakshmi Atluri, Sushil Jajodia, Elisa Bertino |
Alternative Correctness Criteria for Concurrent Execution of Transactions in Multilevel Secure Databases. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
one-copy serializability, databases, Concurrency control, serializability, multilevel security, transaction management |
33 | |
Conflict Serializability. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Shin Parker, Zhengxin Chen, Eugene Y. Sheng |
Ensuring Serializability for Mobile Data Mining on Multimedia Objects. |
CASDMKM |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Angelo Brayner, Theo Härder |
Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems. |
CoopIS |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Serializability Preserving Extensions of Concurrency Control Protocols. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac |
Serializability of Nested Transactions in Multidatabases. |
ICDT |
1997 |
DBLP DOI BibTeX RDF |
|
33 | M. A. Abtroun, Salima Hassas |
The Serializability Problem in a Parallel Rule-Based System: A Solution by Distributed Coordination. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Toshihide Ibaraki, Tiko Kameda, Toshimi Minoura |
Serializability with Constraints. |
ACM Trans. Database Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
33 | Udo Kelter |
Strictness and Serializability. |
STACS |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Ravi Krishnamurthy, Umeshwar Dayal |
Theory of Serializability for a Parallel Model of Transactions. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
28 | Ragnar Normann, Lene T. Østby |
A theoretical study of 'Snapshot Isolation'. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
concurrency, transaction, serializability, monotonicity, recoverability, Snapshot Isolation |
28 | Michael J. Cahill, Uwe Röhm, Alan D. Fekete |
Serializable isolation for snapshot databases. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
multiversion concurrency control, serializability theory, snapshot isolation |
28 | Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan |
Reliable and efficient programming abstractions for wireless sensor networks. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming |
28 | Kwok-Wa Lam, Victor C. S. Lee |
On Consistent Reading of Entire Databases. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
concurrency control, transaction processing, serializability, Data consistency |
28 | Stijn Dekeyser, Jan Hidders, Jan Paredaens |
A Transaction Model for XML Databases. |
World Wide Web |
2004 |
DBLP DOI BibTeX RDF |
path lock, scheduler, XML, concurrency control, serializability, semistructured data |
28 | Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis |
Correct Execution of Transactions at Different Isolation Levels. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
transactions, correctness, serializability, Isolation levels |
28 | Tei-Wei Kuo, Aloysius K. Mok |
Real-Time Data Semantics and Similarity-Based Concurrency Control. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
schedule correctness, Concurrency control, similarity, serializability, real-time database |
28 | Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu |
Semantic Conditions for Correctness at Different Isolation Levels. |
ICDE |
2000 |
DBLP DOI BibTeX RDF |
Serializability, Semantic Correctness, Isolation Levels |
28 | Heejun Han, Seog Park, Chanjung Park |
A concurrency control protocol for read-only transactions in real-time secure database systems. |
RTCSA |
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 |
28 | LihChyun Shu, Michal Young |
Chopping and versioning real-time transactions to avoid remote blocking. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control |
28 | Bharat K. Bhargava |
Concurrency Control in Database Systems. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
Degree of concurrency, optimistic, classes of serializability, flexible transactions, performance, adaptability, time-stamp |
28 | Sonia Mettali Gammar, Farouk Kamoun |
A comparison of scheduling algorithms for real time distributed transactional systems. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
real time distributed transactional systems, distributed database update, globally consistent orderings, nonpreemptive earliest deadline first, simulation, distributed databases, concurrency control, consensus, scheduling algorithms, deadlines, serializability, client server, tokens, timeliness, system parameters, database consistency |
28 | Young-Kuk Kim, Sang Hyuk Son |
Supporting predictability in real-time database systems. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
multiple predictability levels, read times, transaction processing scheme, operating environment changes, critical transaction completion guarantees, correctness criterion, predictable transaction execution, data temporal consistency, deadline miss ratio minimization, simulation, performance, real-time systems, adaptability, specifications, data integrity, software reliability, transaction processing, database theory, temporal databases, timing constraints, software performance evaluation, serializability, temporal constraints, prediction theory, real-time database systems, transaction scheduling |
28 | Ching-Shan Peng, Kwei-Jay Lin |
A semantic-based concurrency control protocol for real-time transactions. |
IEEE Real Time Technology and Applications Symposium |
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 |
28 | Dennis E. Shasha, François Llirbat, Eric Simon, Patrick Valduriez |
Transaction Chopping: Algorithms and Performance Studies |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
locking, serializability, tuning, multidatabase |
28 | Iwen E. Kang, Thomas F. Keefe |
Concurrency control for federated multilevel secure database systems. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
MLS database systems, federated MLS database, local database systems, global serializability, security, interoperation, distributed databases, concurrency control, concurrency control, transaction processing, transaction processing, open systems, security of data, federated, multilevel secure database systems |
28 | Kenneth Salem, Hector Garcia-Molina, Jeannie Shands |
Altruistic Locking. |
ACM Trans. Database Syst. |
1994 |
DBLP DOI BibTeX RDF |
scheduling, atomicity, locking, serializability |
28 | Yuri Breitbart, Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Abraham Silberschatz |
On Rigorous Transaction Scheduling. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
rigorous transaction scheduling, transaction scheduling mechanisms, transaction serialization order, commitment order, multidatabase system environment, analogous execution, serialization orders, rigorous schedulers, hierarchical transaction management mechanisms, global serializability, scheduling, distributed databases, concurrency control, transaction processing, database theory |
28 | Gerhard Weikum |
Principles and Realization Strategies of Multilevel Transaction Management. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
atomicity persistence concurrency control, multilevel transactions, persistence, serializability |
28 | Job Zwiers |
Layering and Action Refinement for Timed Systems. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
Real-time, Causality, Serializability, Action refinement |
28 | Alain Sandoz, André Schiper |
Weak Consistency and Pessimistic Replica Control. |
WDAG |
1990 |
DBLP DOI BibTeX RDF |
pessimism, distributed systems, replication, serializability, weak consistency |
28 | Ugur Halici, Asuman Dogac |
Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
concurrent transaction execution, distributed database management systems, ordering by serialization numbers, OSN method, certifier model, time-interval techniques, short-term locks, standard transaction execution policy, log classification, concurrency, distributed databases, distributed databases, concurrency control, concurrency control, deadlocks, serializability, complexity analysis, two-phase locking, distributed scheduler, timestamp ordering |
23 | Michael Emmi, Rupak Majumdar, Roman Manevich |
Parameterized verification of transactional memories. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
parameterized verification, transactional memory |
23 | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
Finding Concurrency-Related Bugs Using Random Isolation. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Kousha Etessami, Patrice Godefroid |
An Abort-Aware Model of Transactional Programming. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Hagit Attiya, Eshcar Hillel, Alessia Milani |
Inherent limitations on disjoint-access parallel implementations of transactional memory. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
disjoint-access parallelism, partial snapshots, lower bound, transactional memory, impossibility result |
23 | Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje |
Secure Transaction Management Protocols for MLS/DDBMS. |
ICISS |
2007 |
DBLP DOI BibTeX RDF |
concurrency control, covert channel, Multilevel security, distributed database system, commit protocol |
23 | José Maria Monteiro, Angelo Brayner |
Controlling Concurrency in Mobile Computing Environments with Broadcast-Based Data Dissemination. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Yi Lin 0005, Bettina Kemme, Marta Patiño-Martínez, Ricardo Jiménez-Peris |
Consistent Data Replication: Is It Feasible in WANs?. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Sushant Goel, Hema Sharda, David Taniar |
Multi-scheduler Concurrency Control for Parallel Database Systems. |
APPT |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Hyun-Cheol Jeong, Malrey Lee, Bumjun Cho |
Secure Transaction Processing in Multi-expert Systems with Replicated Data. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Jun Chen, Songting Chen, Elke A. Rundensteiner |
A Transactional Model for Data Warehouse Maintenance. |
ER |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Venu K. Murthy, E. V. Krishnamurthy |
Software Pattern Design for Cluster Computing. |
ICPP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Stavros S. Cosmadakis, Kleoni Ioannidou, Stergios Stergiou |
View Serializable Updates of Concurrent Index Structures. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
|
23 | JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi |
Database Replication Using Epidemic Communication. |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Werner Obermair, Michael Schrefl |
Temporally Faithful Execution of Business Transactions. |
CAiSE |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Khalil Amiri, Garth A. Gibson, Richard A. Golding |
Highly Concurrent Shared Storage. |
ICDCS |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Jayavel Shanmugasundaram, Arvind Nithrakashyap, Rajendran M. Sivasankaran, Krithi Ramamritham |
Efficient Concurrency Control for Broadcast Environments. |
SIGMOD Conference |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 407 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|