Search results for "serializability"

Hits ?▲	Authors	Title	Venue	Year	Link
23	Victor C. S. Lee, Sang Hyuk Son, Kwok-Wa Lam	On the Performance of Transaction Processing in Broadcast Environments.	MDA	1999	DBLP DOI BibTeX RDF
23	Sanjay Kumar Madria, S. N. Maheshwari, B. Chandra 0001	On the Correctnes of Virtual Partition Algorithm in a Nested Transaction Environment.	ADBIS	1999	DBLP DOI BibTeX RDF
23	JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi	Database Replication: If You Must be Lazy, be Consistent.	SRDS	1999	DBLP DOI BibTeX RDF
23	Oliver E. Theel, Michel Raynal	Static and Dynamic Adaptation of Transactional Consistency.	HICSS (1)	1997	DBLP DOI BibTeX RDF
23	Kam-yiu Lam, Wai-cheong Yau, Victor C. S. Lee	Applying Similarity in Concurrency Control for Real-Time Database Application.	DEXA	1996	DBLP DOI BibTeX RDF
23	Claire Morpain, Michèle Cart, Jean Ferrié, Jean-François Pons	Maintaining Database Consistency in Presence of Value Dependencies in Multidatabase Systems.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
23	Walter Hussak, John A. Keane	Concurrency Control of Tiered Flat Transactions.	BNCOD	1995	DBLP DOI BibTeX RDF
23	Dexter P. Bradshaw	Failure isolation and recovery in composite multidatabases.	CASCON	1994	DBLP BibTeX RDF
23	Mads Nygård, Sintef Delab	Multi-Criteria: Degrees of Recoverability in Distributed Databases.	PARLE	1993	DBLP DOI BibTeX RDF
23	Partha Dasgupta, Zvi M. Kedem	The Five Color Concurrency Control Protocol: Non-Two-Phase Locking in General Databases.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF
23	Catriel Beeri, Philip A. Bernstein, Nathan Goodman	A model for concurrency in nested transactions systems.	J. ACM	1989	DBLP DOI BibTeX RDF
23	Abdel Aziz Farrag, M. Tamer Özsu	Using Semantic Knowledge of Transactions to Increase Concurrency.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
23	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
23	Vassos Hadzilacos	A theory of reliability in database systems.	J. ACM	1988	DBLP DOI BibTeX RDF
23	K. Vidyasankar	Serializable Graphs.	WG	1988	DBLP DOI BibTeX RDF
23	Meichun Hsu, Stuart E. Madnick	Hierarchical Database Decomposition - A Technique for Database Concurrency Control.	PODS	1983	DBLP DOI BibTeX RDF
21	Zhanhao Zhao, Hongyao Zhao, Qiyu Zhuang, Wei Lu 0015, Haixiang Li, Meihui Zhang 0001, Anqun Pan, Xiaoyong Du 0001	Efficiently Supporting Multi-Level Serializability in Decentralized Database Systems.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
21	Natsuki Hamada, Kazuhiro Saito, Hideyuki Kawashima	Qobra: Fast Verification of Transactional Serializability with Quantum Annealing.	IEEE Big Data	2023	DBLP DOI BibTeX RDF
21	Jürgen König	On the membership and correctness problem for state serializability and value opacity.		2023	RDF
21	Jeffrey Helt, Matthew Burke 0001, Amit Levy, Wyatt Lloyd	Regular Sequential Serializability and Regular Sequential Consistency.	CoRR	2021	DBLP BibTeX RDF
21	Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan	Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring.	CoRR	2021	DBLP BibTeX RDF
21	Jürgen König, Heike Wehrheim	On the Correctness Problem for Serializability.	ICTAC	2021	DBLP DOI BibTeX RDF
21	Zhanhao Zhao	Efficiently Supporting Adaptive Multi-Level Serializability Models in Distributed Database Systems.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
21	Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan	Repairing serializability bugs in distributed database programs via automated schema refactoring.	PLDI	2021	DBLP DOI BibTeX RDF
21	Jeffrey Helt, Matthew Burke 0001, Amit Levy, Wyatt Lloyd	Regular Sequential Serializability and Regular Sequential Consistency.	SOSP	2021	DBLP DOI BibTeX RDF
21	Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic	Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.	ECBS	2019	DBLP DOI BibTeX RDF
21	Isaac C. Sheff	Serializability and Heterogeneous Trust from Two Phase Commit to Blockchains.		2019	RDF
21	Bettina Kemme	One-Copy-Serializability.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
21	Wojciech Cellary	Multiversion Serializability and Concurrency Control.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
21	Bettina Kemme	Serializability.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
21	Mourad Ouzzani, Brahim Medjahed, Ahmed K. Elmagarmid	Correctness Criteria Beyond Serializability.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
21	Kartik Nagar, Suresh Jagannathan	Automated Detection of Serializability Violations under Weak Consistency.	CoRR	2018	DBLP BibTeX RDF
21	Lucas Brutschy, Dimitar K. Dimitrov 0002, Peter Müller 0001, Martin T. Vechev	Static serializability analysis for causal consistency.	PLDI	2018	DBLP DOI BibTeX RDF
21	Pierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay	Boosting Transactional Memory with Stricter Serializability.	COORDINATION	2018	DBLP DOI BibTeX RDF
21	Kartik Nagar, Suresh Jagannathan	Automated Detection of Serializability Violations Under Weak Consistency.	CONCUR	2018	DBLP DOI BibTeX RDF
21	Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni 0001	Legato: end-to-end bounded region serializability using commodity hardware transactional memory.	CGO	2017	DBLP BibTeX RDF
21	Lucas Brutschy, Dimitar K. Dimitrov 0002, Peter Müller 0001, Martin T. Vechev	Serializability for eventual consistency: criterion, analysis, and applications.	POPL	2017	DBLP DOI BibTeX RDF
21	Matthew R. Lakin, Darko Stefanovic, Andrew Phillips	Modular verification of chemical reaction network encodings via serializability analysis.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
21	Reza Basseda, Michael Kifer	Formalizing Goal Serializability for Evaluation of Planning Features.	JELIA	2016	DBLP DOI BibTeX RDF
21	Minyang Han, Khuzaima Daudjee	Providing Serializability for Pregel-like Graph Processing Systems.	EDBT	2016	DBLP DOI BibTeX RDF
21	Swarnendu Biswas	Viser: providing serializability in hardware with simplified cache coherence.	SPLASH (Companion Volume)	2015	DBLP DOI BibTeX RDF
21	Yuqing Zhu 0001, Yilei Wang	SHAFT: Supporting Transactions with Serializability and Fault-Tolerance in Highly-Available Datastores.	ICPADS	2015	DBLP DOI BibTeX RDF
21	Ittay Eyal, Ken Birman, Robbert van Renesse	Cache Serializability: Reducing Inconsistency in Edge Transactions.	ICDCS	2015	DBLP DOI BibTeX RDF
21	Malek Ben Salem, Emna Bouazizi, Rafik Bouaziz	Multi-versions data and epsilon-serializability for QoS enhancement in distributed RTDBMS.	AICCSA	2015	DBLP DOI BibTeX RDF
21	Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni 0001	Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.	ASPLOS	2015	DBLP DOI BibTeX RDF
21	Todd L. Veldhuizen	Transaction Repair: Full Serializability Without Locks.	CoRR	2014	DBLP BibTeX RDF
21	Ilir Fetai, Heiko Schuldt	SO-1SR: towards a self-optimizing one-copy serializability protocol for data management in the cloud.	CloudDB@CIKM	2013	DBLP DOI BibTeX RDF
21	Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis	Consistency and serializability in concurrent database systems.	Fundamental Problems in Computing	2013	DBLP DOI BibTeX RDF
21	Yu Zhang 0027, Hai Jin 0001, Xiaofei Liao	DDASTM: Ensuring Conflict Serializability Efficiently in Distributed STM.	GPC	2013	DBLP DOI BibTeX RDF
21	Matthew R. Lakin, Andrew Phillips, Darko Stefanovic	Modular Verification of DNA Strand Displacement Networks via Serializability Analysis.	DNA	2013	DBLP DOI BibTeX RDF
21	Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li 0001	Transaction chains: achieving serializability with low latency in geo-distributed storage systems.	SOSP	2013	DBLP DOI BibTeX RDF
21	Jessica Ouyang 0002, Peter M. Chen, Jason Flinn, Satish Narayanasamy	...And Region Serializability for All.	HotPar	2013	DBLP BibTeX RDF
21	Stacy Patterson, Aaron J. Elmore, Faisal Nawab, Divyakant Agrawal, Amr El Abbadi	Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores	CoRR	2012	DBLP BibTeX RDF
21	Stacy Patterson, Aaron J. Elmore, Faisal Nawab, Divyakant Agrawal, Amr El Abbadi	Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores. (PDF / PS)	Proc. VLDB Endow.	2012	DBLP DOI BibTeX RDF
21	Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta	Predictive analysis for detecting serializability violations through Trace Segmentation.	MEMOCODE	2011	DBLP DOI BibTeX RDF
21	Mihaela A. Bornea, Orion Hodson, Sameh Elnikety, Alan D. Fekete	One-copy serializability with snapshot isolation under the hood.	ICDE	2011	DBLP DOI BibTeX RDF
21	Sergio Miguel Fernandes, João P. Cachopo	Strict serializability is harmless: a new architecture for enterprise applications.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
21	William N. Sumner, Christian Hammer 0001, Julian Dolby	Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs.	RV	2011	DBLP DOI BibTeX RDF
21	Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta	Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
21	Anna Blasiak, Robert Kleinberg	The Serializability of Network Codes	CoRR	2010	DBLP BibTeX RDF
21	Anna Blasiak, Robert D. Kleinberg	The Serializability of Network Codes.	ICALP (2)	2010	DBLP DOI BibTeX RDF
21	Arnab Sinha, Sharad Malik	Runtime checking of serializability in software transactional memory.	IPDPS	2010	DBLP DOI BibTeX RDF
21	K. Vidyasankar	Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
21	Wojciech Cellary	Multi-version Serializability and Concurrency Control.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
21	Mourad Ouzzani, Brahim Medjahed, Ahmed K. Elmagarmid	Correctness Criteria Beyond Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
21	Bettina Kemme	One-Copy-Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
21	Walter Hussak	The serializability problem for a temporal logic of transaction queries.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
21	Mohammad Alomari, Michael J. Cahill, Alan D. Fekete, Uwe Röhm	The Cost of Serializability on Platforms That Use Snapshot Isolation.	ICDE	2008	DBLP DOI BibTeX RDF
21	Mohammad Alomari, Michael J. Cahill, Alan D. Fekete, Uwe Röhm	When serializability comes without cost.	AICCSA	2008	DBLP DOI BibTeX RDF
21	Tomoya Enokido	Role-Based Serializability Using Role Ordering Schedulers.	J. Interconnect. Networks	2006	DBLP DOI BibTeX RDF
21	Youhei Tanaka, Tomoya Enokido, Makoto Takizawa 0001	Role-Based Serializability for Distributed Object Systems.	DEXA	2006	DBLP DOI BibTeX RDF
21	Stijn Dekeyser, Jan Hidders, Jan Paredaens, Roel Vercammen	Instance-Independent View Serializability for Semistructured Databases	CoRR	2005	DBLP BibTeX RDF
21	Shin Parker, Zhengxin Chen	Ensuring Serializability for Mobile-Client Data Caching.	Encyclopedia of Database Technologies and Applications	2005	DBLP DOI BibTeX RDF
21	Guoning Chen, Taoshen Li	Extended Chain-Conflicting Serializability for the Correct Schedule of Transactions in Hierarchical Multidatabase.	WAIM	2004	DBLP DOI BibTeX RDF
21	Aekyung Moon, Han Namgoong, Haengrae Cho	An Eager Replication Scheme in Group Communication Environment with Serializability Feature.	PDPTA	2002	DBLP BibTeX RDF
21	Nadia Busi, Gianluigi Zavattaro	On the Serializability of Transactions in JavaSpaces.	ConCoord	2001	DBLP DOI BibTeX RDF
21	Sukhoon Kang, Songchun Moon	Read-down conflict-preserving serializability as a correctness criterion for multilevel-secure optimistic concurrency control: CSR/RD.	J. Syst. Archit.	2000	DBLP DOI BibTeX RDF
21	Angelo Brayner, Theo Härder, Norbert Ritter	Semantic Serializability: A Correctness Criterion for Processing Transactions in Advanced.	Data Knowl. Eng.	1999	DBLP DOI BibTeX RDF
21	Ekkart Kindler	Serializability, Concurrency Control, and Replication Control.	FMLDO	1999	DBLP BibTeX RDF
21	Ole J. Anfindsen	Conditional Conflict Serializability: An Application Oriented Correctness Criterion.	J. Database Manag.	1998	DBLP DOI BibTeX RDF
21	Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent	Logical Transactions and Serializability.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
21	Ole J. Anfindsen	Conditional Conflict Serializability - an Application-Oriented Correctness Criterion.	IADT	1998	DBLP BibTeX RDF
21	Jürgen Ebert, Gottfried Vossen	I-Serializability: Generalized Correctness for Transaction-Based Environments.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
21	Vasudha Krishnaswamy, Divyakant Agrawal, John L. Bruno, Amr El Abbadi	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions.	J. Comput. Syst. Sci.	1997	DBLP DOI BibTeX RDF
21	Evaggelia Pitoura, Aidong Zhang, Bharat K. Bhargava	On Relaxing Serializability by Constraining Transaction Readsets.	Inf. Syst.	1997	DBLP DOI BibTeX RDF
21	Piotr Krychniak, Marek Rusinkiewicz, Andrzej Cichocki, Amit P. Sheth, Gomer Thomas	Bounding the Effects of Compensation under Relaxed Multi-level Serializability.	Distributed Parallel Databases	1996	DBLP DOI BibTeX RDF
21	Panos K. Chrysanthis	Serializability-Based Correctness Criteria.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
21	Kenichi Asai, Junpei Nishibayashi, Kouji Yoshihara, Motoyasu Nagata	Object-Oriented Serializability in Real-Time Concurrency Control.	CODAS	1996	DBLP BibTeX RDF
21	Rajesh K. Gupta 0001	Operation Serializability for Embedded Systems.	ED&TC	1996	DBLP DOI BibTeX RDF
21	Ahmad R. Hadaegh, Ken Barker 0001	Value-serializability and an Architecture for Managing Transactions in Multiversion Objectbase Systems.	ADBIS	1996	DBLP BibTeX RDF
21	Yuichi Sakaue, Jun'ichi Miyao	Concurrency Control with Permissible Serializability in Multi-Media Data Processings.	IEICE Trans. Inf. Syst.	1995	DBLP BibTeX RDF
21	Krithi Ramamritham, Calton Pu	A Formal Characterization of Epsilon Serializability.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF
21	Grit Denker	Semantic Refinement of Concurrent Object Systems Based on Serializability.	Object Orientation with Parallelism and Persistence	1995	DBLP BibTeX RDF
21	Evaggelia Pitoura, Aidong Zhang, Bharat K. Bhargava	A View-Based Approach to Relaxing Global Serializability in a Multidatabase System (Abstract).	PODC	1995	DBLP DOI BibTeX RDF
21	Rodolfo F. Resende, Amr El Abbadi	On the Serializability Theorem for Nested Transactions.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
21	Yoav Raz	Serializability by Commitment Ordering.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
21	Béatrice Bérard	Global Serializability of Concurrent Programs.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
21	Hyeokmin Kwon, Songchun Moon	Reverse serializability as a correctness criterion for optimistic concurrency control.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
21	Shankar Pal, Sitaram Lanka	A Study of the Relationship Among Various Notions of Serializability.	Australasian Database Conference	1994	DBLP BibTeX RDF
21	Mourad Ouzzani, M. A. Atroun, N. L. Belkhodja	A Top-Down Approach for Two Level Serializability.	VLDB	1994	DBLP BibTeX RDF