Search results for "serializability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
3	Hagit Attiya, G. Ramalingam, Noam Rinetzky	Sequential verification of serializability.	POPL	2010	DBLP DOI BibTeX RDF	verification, concurrency, reduction, serializability
3	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
3	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
3	Christian Hammer, 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
3	Philip A. Bernstein, Alan Fekete, Hongfei Guo, Raghu Ramakrishnan, 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
3	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
3	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
3	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
3	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
3	SangKeun Lee, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment. (PDF / PS)	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
3	Pamela Drew, Calton Pu	Asynchronous consistency restoration under epsilon serializability.	HICSS	1995	DBLP DOI BibTeX RDF	consistency restoration, epsilon serializability, data inconsistency, data integrity, concurrency control, object-oriented databases, inconsistency, concurrent processing
3	José N. Amaral, Joydeep Ghosh	Performance measurements of a concurrent production system architecture without global synchronization. (PDF / PS)	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
3	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
2	Ragnar Normann, Lene T. Østby	A theoretical study of 'Snapshot Isolation'.	ICDT	2010	DBLP DOI BibTeX RDF	concurrency, transaction, serializability, monotonicity, recoverability, Snapshot Isolation
2		Conflict Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Michael J. Cahill, Uwe Röhm, Alan David Fekete	Serializable isolation for snapshot databases.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	multiversion concurrency control, serializability theory, snapshot isolation
2	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
2	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
2	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
2	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
2	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
2	Alan Fekete	Allocating isolation levels to transactions.	PODS	2005	DBLP DOI BibTeX RDF	concurrency control, consistency, serializability, anomaly, two-phase locking, snapshot isolation
2	Alan Fekete, Dimitrios Liarokapis, Elizabeth J. O'Neil, Patrick E. O'Neil, Dennis 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
2	Shin Parker, Zhengxin Chen, Eugene Y. Sheng	Ensuring Serializability for Mobile Data Mining on Multimedia Objects.	CASDMKM	2004	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Angelo Brayner, Theo Härder	Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems.	CoopIS	2001	DBLP DOI BibTeX RDF
2	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
2	Jens Lechtenbörger, Gottfried Vossen	On Herbrand Semantics and Conflict Serializability of Read-Write Transactions.	PODS	2000	DBLP DOI BibTeX RDF
2	Damián Arregui, François Pacull, Michel Riviere	Heterogeneous Component Coordination: The CLF Approach. (PDF / PS)	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
2	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
2	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
2	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
2	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
2	Dmitri Chkliaev, Jozef Hooman, Peter van der Stok	Serializability Preserving Extensions of Concurrency Control Protocols.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
2	Ekkart Kindler	Serializability, Concurrency Control, and Replication Control.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
2	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
2	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
2	Ugur Halici, Ismailcem Budak Arpinar, Asuman Dogac	Serializability of Nested Transactions in Multidatabases.	ICDT	1997	DBLP DOI BibTeX RDF
2	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
2	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
2	Young-Kuk Kim, Sang Hyuk Son	Supporting predictability in real-time database systems. (PDF / PS)	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
2	Ching-Shan Peng, Kwei-Jay Lin	A semantic-based concurrency control protocol for real-time transactions. (PDF / PS)	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
2	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
2	Dennis 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
2	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
2	Dimitrios Georgakopoulos, 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
2	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
2	Kenneth Salem, Hector Garcia-Molina, Jeannie Shands	Altruistic Locking.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	scheduling, atomicity, locking, serializability
2	Mads Nygård, Sintef Delab	Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database.	PARLE	1993	DBLP DOI BibTeX RDF
2	Yoav Raz	Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions.	PODS	1993	DBLP DOI BibTeX RDF
2	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
2	Dexter P. Bradshaw	Open nested serializability in multidatabase systems.	CASCON	1992	DBLP DOI BibTeX RDF
2	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
2	Yuri Breitbart, Dimitrios Georgakopoulos, 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
2	Job Zwiers	Layering and Action Refinement for Timed Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-time, Causality, Serializability, Action refinement
2	Alain Sandoz, André Schiper	Weak Consistency and Pessimistic Replica Control.	WDAG	1990	DBLP DOI BibTeX RDF	pessimism, distributed systems, replication, serializability, weak consistency
2	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
2	Henry F. Korth, Gregory D. Speegle	Formal Model of Correctness Without Serializability.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
2	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
2	Toshihide Ibaraki, Tiko Kameda, Toshimi Minoura	Serializability with Constraints.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
2	Udo Kelter	Strictness and Serializability.	STACS	1986	DBLP DOI BibTeX RDF
2	R. C. Hansdah, Lalit M. Patnaik	Update Serializability in Locking.	ICDT	1986	DBLP DOI BibTeX RDF
2	K. Vidyasankar	A Simple Characterization of Database Serializability.	FSTTCS	1985	DBLP DOI BibTeX RDF
2	Ravi Krishnamurthy, Umeshwar Dayal	Theory of Serializability for a Parallel Model of Transactions.	PODS	1982	DBLP DOI BibTeX RDF
1	William N. Sumner, Christian Hammer, Julian Dolby	Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs.	RV	2011	DBLP DOI BibTeX RDF
1	Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta	Predictive analysis for detecting serializability violations through Trace Segmentation.	MEMOCODE	2011	DBLP DOI BibTeX RDF
1	Mihaela A. Bornea, Orion Hodson, Sameh Elnikety, Alan Fekete	One-copy serializability with snapshot isolation under the hood.	ICDE	2011	DBLP DOI BibTeX RDF
1	Sergio Miguel Fernandes, João P. Cachopo	Strict serializability is harmless: a new architecture for enterprise applications.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Anna Blasiak, Robert Kleinberg	The Serializability of Network Codes	CoRR	2010	DBLP BibTeX RDF
1	Anna Blasiak, Robert D. Kleinberg	The Serializability of Network Codes.	ICALP	2010	DBLP DOI BibTeX RDF
1	Arnab Sinha, Sharad Malik	Runtime checking of serializability in software transactional memory.	IPDPS	2010	DBLP DOI BibTeX RDF
1	Michael F. Spear	Lightweight, robust adaptivity for software transactional memory.	SPAA	2010	DBLP DOI BibTeX RDF	adaptivity, synchronization, atomicity, serializability
1	Paolo Romano, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís Rodrigues	An Optimal Speculative Transactional Replication Protocol.	ISPA	2010	DBLP DOI BibTeX RDF	replicated transactional system, speculative processing, view serializability, speculative replication protocol, distributed system
1	Nicolas Schiper, Pierre Sutra, Fernando Pedone	P-Store: Genuine Partial Replication in Wide Area Networks.	SRDS	2010	DBLP DOI BibTeX RDF	partial database replication, Fault-tolerance, wide area networks, serializability
1	Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek	An efficient software transactional memory using commit-time invalidation.	CGO	2010	DBLP DOI BibTeX RDF	commit-time invalidation, software transactional memory
1	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
1	Bettina Kemme	One-Copy-Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
1	K. Vidyasankar	Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
1	Mourad Ouzzani, Brahim Medjahed, Ahmed K. Elmagarmid	Correctness Criteria Beyond Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
1	Wojciech Cellary	Multi-version Serializability and Concurrency Control.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
1	Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan	SideTrack: generalizing dynamic atomicity analysis.	PADTAD	2009	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
1	Hany E. Ramadan, Indrajit Roy, Maurice Herlihy, Emmett Witchel	Committing conflicting transactions in an STM.	PPOPP	2009	DBLP DOI BibTeX RDF	dependence-aware, concurrency control, transactional memory, serializability
1	Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc	Towards transactional memory semantics for C++.	SPAA	2009	DBLP DOI BibTeX RDF	synchronization, c++, transactional memory, atomicity, serializability
1	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
1	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
1	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
1	Jeang-Kuo Chen, Kuan-Chang Lu	Concurrent Operations for Accessing an XML Document in a Multi-user Environment.	ICA3PP	2009	DBLP DOI BibTeX RDF	Lock-coupling, Bread-first Search, XML, Concurrency Control, Locking
1	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
1	Kousha Etessami, Patrice Godefroid	An Abort-Aware Model of Transactional Programming.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri	Finding Concurrency-Related Bugs Using Random Isolation.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Sebastian Obermeier, Stefan Böttcher, Martin Hett, Panos K. Chrysanthis, George Samaras	Blocking reduction for distributed transaction processing within MANETs.	Distributed and Parallel Databases	2009	DBLP DOI BibTeX RDF	Mobile transaction processing, Adjourn state, Mobile ad-hoc networks, Concurrency control, Validation, Locking, Atomic commit
1	Walter Hussak	The serializability problem for a temporal logic of transaction queries.	Journal of Applied Non-Classical Logics	2008	DBLP BibTeX RDF
1	Mohammad Alomari, Michael J. Cahill, Alan Fekete, Uwe Röhm	The Cost of Serializability on Platforms That Use Snapshot Isolation.	ICDE	2008	DBLP DOI BibTeX RDF
1	Mohammad Alomari, Michael J. Cahill, Alan Fekete, Uwe Röhm	When serializability comes without cost.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Stephen N. Freund, Jaeheon Yi	Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.	PLDI	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
1	Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha	Safer open-nested transactions through ownership.	PPOPP	2008	DBLP DOI BibTeX RDF	abstract serializability, open-nested transactions, ownership-aware transactions, transactional memory, ownership types
1	Michael K. Reiter, Asad Samar	Quiver: Consistent and Scalable Object Sharing for Edge Services.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF	Migration, Serializability, Edge services