Search results for "D-serializable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
145	K. Vidyasankar	Serializable Graphs.	WG	1988	DBLP DOI BibTeX RDF
94	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
81	R. C. Hansdah, Lalit M. Patnaik	Update Serializability in Locking.	ICDT	1986	DBLP DOI BibTeX RDF
54	Gopi K. Attaluri, Jacob Slonim, Per-Åke Larson	Concurrency control with lock preemption and restoration.	CASCON	1995	DBLP BibTeX RDF	non-traditional database applications, concurrency control, locking, transaction management
52	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
51	Mohammad Alomari, Michael J. Cahill, Alan D. Fekete, Uwe Röhm	Serializable Executions with Snapshot Isolation: Modifying Application Code or Mixing Isolation Levels?	DASFAA	2008	DBLP DOI BibTeX RDF
42	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	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
42	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems.	HASE	1996	DBLP DOI BibTeX RDF	multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions
42	Sushil Jajodia, David Mutchler	A Pessimistic Consistency Control Algorithm for Replicated Files which Achieves High Availability.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	pessimistic consistency control algorithm, communication link failures, mutual consistency, dynamic voting algorithm, fresh reads, one-copy serializable, data integrity, distributed databases, concurrency control, high availability, network partitioning, replicated files
42	Pei-Jyun Leu, Bharat K. Bhargava	Clarification of Two Phase Locking in Concurrent Transaction Processing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	concurrent transaction processing, lock points, unlock points, read operations, write operations, conflicting transactions, RN2PL, D-serializable, parallel programming, protocols, distributed databases, database theory, two phase locking, semantic description, locking protocol
40	Alan D. Fekete, Elizabeth J. O'Neil, Patrick E. O'Neil	A Read-Only Transaction Anomaly Under Snapshot Isolation.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF
40	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
40	Kwok-Wa Lam, Victor C. S. Lee, Sheung-lun Hung	Scheduling real-time read-only transactions.	RTCSA	1997	DBLP DOI BibTeX RDF	consistency requirements, multiversion database system, reactive actions, scheduling, real-time systems, read-only transactions, update transactions
40	Toshihide Ibaraki, Tiko Kameda, Toshimi Minoura	Serializability with Constraints.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
40	K. Vidyasankar	A Simple Characterization of Database Serializability.	FSTTCS	1985	DBLP DOI BibTeX RDF
37	Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal	Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.	CPAIOR	2009	DBLP DOI BibTeX RDF
37	Mohammad Alomari, Alan D. Fekete, Uwe Röhm	A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS.	ICDE	2009	DBLP DOI BibTeX RDF
37	Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck	Optimal Deployment of Eventually-Serializable Data Services.	CPAIOR	2008	DBLP DOI BibTeX RDF
37	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
27	Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan	SideTrack: generalizing dynamic atomicity analysis.	PADTAD	2009	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
27	Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel	Dependence-aware transactional memory for increased concurrency.	MICRO	2008	DBLP DOI BibTeX RDF
27	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
27	Tomoya Enokido, Makoto Takizawa 0001	Role-Based Concurrency Control for Distributed Systems.	AINA (1)	2006	DBLP DOI BibTeX RDF
27	Alan D. Fekete	Allocating isolation levels to transactions.	PODS	2005	DBLP DOI BibTeX RDF	concurrency control, consistency, serializability, anomaly, two-phase locking, snapshot isolation
27	Tomoya Enokido, Makoto Takizawa 0001	Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler.	WORDS	2005	DBLP DOI BibTeX RDF
27	Tatsuya Nozaki, Tomoya Enokido, Makoto Takizawa 0001	Role Ordering Scheduler for Concurrency Control in Distributed Objects.	ICPADS	2004	DBLP DOI BibTeX RDF
27	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
27	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
27	Dexter P. Bradshaw, Per-Åke Larson, Jacob Slonim	Transaction scheduling in dynamic composite multidatabase systems.	CASCON	1995	DBLP BibTeX RDF
27	V. Srinivasan 0001, Michael J. Carey 0001	Compensation-Based On-Line Query Processing.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
27	Iwen E. Kang, Thomas F. Keefe	On Transaction Processing for Multilevel Secure Replicated Databases.	ESORICS	1992	DBLP DOI BibTeX RDF	Global Transaction Manager, Transaction Processing, Multilevel Secure, Replicated Database
27	Toshihide Ibaraki, Tiko Kameda, Naoki Katoh	Multiversion Cautious Schedulers for Database Concurrency Control.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	read/write steps, multiversion cautious scheduler, incoming sequence, read sets, write sets, MWW, MWRW, multiversion classes, write-write, write-read-write constraints, cancellation anomaly, predeclared steps, read operations, scheduling, concurrency control, database management systems, transactions, transaction processing, polynomial time, logs, rollbacks, reordering, MC, database concurrency control
27	Divyakant Agrawal, Amr El Abbadi	Locks with Constrained Sharing.	PODS	1990	DBLP DOI BibTeX RDF
27	Abdel Aziz Farrag, M. Tamer Özsu	Using Semantic Knowledge of Transactions to Increase Concurrency.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
27	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
27	Kwei-Jay Lin, Ming-Ju Lin	Enhancing Availability in Distributed Real-Time Databases.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF
27	Ralph-Johan Back, Reino Kurki-Suonio	Distributed Cooperation with Action Systems.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
27	Naoki Katoh, Toshihide Ibaraki, Tiko Kameda	Cautious Transaction Schedulers with Admission Control.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
27	Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer	Maximal Concurrency by Locking.	PODS	1984	DBLP DOI BibTeX RDF
24	Haonan Lu, Shuai Mu 0001, Siddhartha Sen 0001, Wyatt Lloyd	NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall.	CoRR	2023	DBLP DOI BibTeX RDF
24	Haonan Lu, Shuai Mu 0001, Siddhartha Sen 0001, Wyatt Lloyd	NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall.	OSDI	2023	DBLP BibTeX RDF
24	Takamitsu Shioi, Takashi Kambayashi, Suguru Arakawa, Ryoji Kurosawa, Satoshi Hikida, Haruo Yokota	Serializable HTAP with Abort-/Wait-free Snapshot Read.	CoRR	2022	DBLP BibTeX RDF
24	Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang 0085, Bo Jiang 0001, Wing Kwong Chan	RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.	ACM Trans. Softw. Eng. Methodol.	2021	DBLP DOI BibTeX RDF
24	Tim Soethout, Tijs van der Storm, Jurgen J. Vinju	Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions.	AGERE!@SPLASH	2021	DBLP DOI BibTeX RDF
24	Xusheng Chen, Haoze Song, Jianyu Jiang, Chaoyi Ruan, Cheng Li, Sen Wang 0004, Gong Zhang 0001, Reynold Cheng, Heming Cui	Achieving low tail-latency and high scalability for serializable transactions in edge computing.	EuroSys	2021	DBLP DOI BibTeX RDF
24	Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman	Scalable and serializable networked multi-actor programming.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
24	Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang 0085, Bo Jiang 0001, Wing Kwong Chan	RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.	CoRR	2020	DBLP BibTeX RDF
24	Enrique Saurez, Bharath Balasubramanian, Richard D. Schlichting, Brendan Tschaen, Shankaranarayanan Puzhavakath Narayanan, Zhe Huang 0001, Umakishore Ramachandran	A Drop-in Middleware for Serializable DB Clustering across Geo-distributed Sites. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
24	Ignacio Huitzil, Umberto Straccia, Carlos Bobed, Eduardo Mena, Fernando Bobillo	The Serializable and Incremental Semantic Reasoner fuzzyDL.	FUZZ-IEEE	2020	DBLP DOI BibTeX RDF
24	Cheng Tan 0005, Changgeng Zhao, Shuai Mu 0001, Michael Walfish	Cobra: Making Transactional Key-Value Stores Verifiably Serializable.	OSDI	2020	DBLP BibTeX RDF
24	Kun Ren, Dennis Li, Daniel J. Abadi	SLOG: Serializable, Low-latency, Geo-replicated Transactions. (PDF / PS)	Proc. VLDB Endow.	2019	DBLP DOI BibTeX RDF
24	Ningnan Zhou, Xiao Zhang 0001, Shan Wang 0001	Timestamp reassignment: taming transaction abort for serializable snapshot isolation.	Frontiers Comput. Sci.	2019	DBLP DOI BibTeX RDF
24	Ziqi Wang 0007, Michael A. Kozuch, Todd C. Mowry, Vivek Seshadri	Multiversioned Page Overlays: Enabling Faster Serializable Hardware Transactional Memory.	PACT	2019	DBLP DOI BibTeX RDF
24	Dominik Durner, Thomas Neumann 0001	No False Negatives: Accepting All Useful Schedules in a Fast Serializable Many-Core System.	ICDE	2019	DBLP DOI BibTeX RDF
24	Alan D. Fekete	Making Consistency Protocols Serializable.	PODS	2019	DBLP DOI BibTeX RDF
24	Alan D. Fekete	Serializable Snapshot Isolation.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
24	Natacha Crooks, Matthew Burke 0001, Ethan Cecchetti, Sitar Harel, Rachit Agarwal 0001, Lorenzo Alvisi	Obladi: Oblivious Serializable Transactions in the Cloud.	CoRR	2018	DBLP BibTeX RDF
24	Tianzheng Wang 0001, Ryan Johnson 0001, Alan D. Fekete, Ippokratis Pandis	Erratum to: Efficiently making (almost) any concurrency control mechanism serializable.	VLDB J.	2018	DBLP DOI BibTeX RDF
24	Natacha Crooks, Matthew Burke 0001, Ethan Cecchetti, Sitar Harel, Rachit Agarwal 0001, Lorenzo Alvisi	Obladi: Oblivious Serializable Transactions in the Cloud.	OSDI	2018	DBLP BibTeX RDF
24	Christian DeLozier, Ariel Eizenberg, Brandon Lucia, Joseph Devietti	SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably.	ASPLOS	2018	DBLP DOI BibTeX RDF
24	Tianzheng Wang 0001, Ryan Johnson 0001, Alan D. Fekete, Ippokratis Pandis	Efficiently making (almost) any concurrency control mechanism serializable.	VLDB J.	2017	DBLP DOI BibTeX RDF
24	Carlos Bobed, Fernando Bobillo, Eduardo Mena, Jeff Z. Pan	On Serializable Incremental Semantic Reasoners.	K-CAP	2017	DBLP DOI BibTeX RDF
24	Sebastiano Peluso, Pedro Ruivo 0002, Paolo Romano 0002, Francesco Quaglia, Luís E. T. Rodrigues	GMU: Genuine Multiversion Update-Serializable Partial Data Replication.	IEEE Trans. Parallel Distributed Syst.	2016	DBLP DOI BibTeX RDF
24	Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse	Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency.	CoRR	2016	DBLP BibTeX RDF
24	Tianzheng Wang 0001, Ryan Johnson 0001, Alan D. Fekete, Ippokratis Pandis	Efficiently making (almost) any concurrency control mechanism serializable.	CoRR	2016	DBLP BibTeX RDF
24	Elizabeth J. O'Neil, Patrick E. O'Neil	Determining serialization order for serializable snapshot isolation.	Inf. Syst.	2016	DBLP DOI BibTeX RDF
24	Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse	Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency.	CCS	2016	DBLP DOI BibTeX RDF
24	Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt	Serializable eventual consistency: consistency through object method replay.	PaPoC@EuroSys	2016	DBLP DOI BibTeX RDF
24	Jose M. Faleiro, Daniel J. Abadi	Rethinking serializable multiversion concurrency control. (PDF / PS)	Proc. VLDB Endow.	2015	DBLP DOI BibTeX RDF
24	Thomas Neumann 0001, Tobias Mühlbauer, Alfons Kemper	Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems.	SIGMOD Conference	2015	DBLP DOI BibTeX RDF
24	Terrance Medina, Maria Hybinette	Pickle: a flexible abms framework for dynamically generating serializable intelligent agents.	WSC	2015	DBLP DOI BibTeX RDF
24	Mohammad Alomari, Alan D. Fekete	Serializable use of Read Committed isolation level.	AICCSA	2015	DBLP DOI BibTeX RDF
24	Jose M. Faleiro, Daniel J. Abadi	Rethinking serializable multiversion concurrency control.	CoRR	2014	DBLP BibTeX RDF
24	Mohammad Alomari, Alan D. Fekete, Uwe Röhm	Performance of program modification techniques that ensure serializable executions with snapshot isolation DBMS.	Inf. Syst.	2014	DBLP DOI BibTeX RDF
24	Hyuck Han, Seongjae Park, Hyungsoo Jung 0001, Alan D. Fekete, Uwe Röhm, Heon Y. Yeom	Scalable serializable snapshot isolation for multicore systems.	ICDE	2014	DBLP DOI BibTeX RDF
24	Philip M. Lewis	SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE?	Fundamental Problems in Computing	2013	DBLP DOI BibTeX RDF
24	Serafettin Tasci, Murat Demirbas	Giraphx: Parallel Yet Serializable Large-Scale Graph Processing.	Euro-Par	2013	DBLP DOI BibTeX RDF
24	Hyungsoo Jung 0001, Hyuck Han, Alan D. Fekete, Uwe Röhm, Heon Young Yeom	Performance of Serializable Snapshot Isolation on Multicore Servers.	DASFAA (2)	2013	DBLP DOI BibTeX RDF
24	Mohammad Alomari	Serializable executions with Snapshot Isolation and two-phase locking: Revisited.	AICCSA	2013	DBLP DOI BibTeX RDF
24	Dan R. K. Ports, Kevin Grittner	Serializable Snapshot Isolation in PostgreSQL	CoRR	2012	DBLP BibTeX RDF
24	Dan R. K. Ports, Kevin Grittner	Serializable Snapshot Isolation in PostgreSQL. (PDF / PS)	Proc. VLDB Endow.	2012	DBLP DOI BibTeX RDF
24	Sebastiano Peluso, Pedro Ruivo 0002, Paolo Romano 0002, Francesco Quaglia, Luís E. T. Rodrigues	When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication.	ICDCS	2012	DBLP DOI BibTeX RDF
24	Sebastiano Peluso, Paolo Romano 0002, Francesco Quaglia	SCORe: A Scalable One-Copy Serializable Partial Replication Protocol.	Middleware	2012	DBLP DOI BibTeX RDF
24	Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck	Optimal deployment of eventually-serializable data services.	Ann. Oper. Res.	2011	DBLP DOI BibTeX RDF
24	Hyungsoo Jung 0001, Hyuck Han, Alan D. Fekete, Uwe Röhm	Serializable Snapshot Isolation for Replicated Databases in High-Update Scenarios.	Proc. VLDB Endow.	2011	DBLP BibTeX RDF
24	Stephen Revilak, Patrick E. O'Neil, Elizabeth J. O'Neil	Precisely Serializable Snapshot Isolation (PSSI).	ICDE	2011	DBLP DOI BibTeX RDF
24	Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian Kanne	Declarative Serializable Snapshot Isolation.	ADBIS	2011	DBLP DOI BibTeX RDF
24	Jay A. McCarthy	The two-state solution: native and serializable continuations accord.	OOPSLA	2010	DBLP DOI BibTeX RDF
24	Sebastian Bächle, Theo Härder	A Scalable Framework for Serializable XQuery.	NDT (2)	2010	DBLP DOI BibTeX RDF
24	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
24	Michael J. Cahill, Uwe Röhm, Alan D. Fekete	Serializable isolation for snapshot databases.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF
24	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
24	Mohammad Alomari	Ensuring Serializable Executions with Snapshot Isolation DBMS.		2009	RDF
24	Michael J. Cahill	Serializable Isolation for Snapshot Databases.		2009	RDF
24	Spyros A. Reveliotis	A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets.	IEEE Trans Autom. Sci. Eng.	2006	DBLP DOI BibTeX RDF
24	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
24	Subhash Bhalla, Masaki Hasegawa	Parallelizing Serializable Transactions Within Distributed Real-Time Database Systems.	EUC	2005	DBLP DOI BibTeX RDF
24	Walter Hussak	Serializable histories in quantified propositional temporal logic.	Int. J. Comput. Math.	2004	DBLP DOI BibTeX RDF
24	Wim H. Hesselink	Using eternity variables to specify and prove a serializable database interface.	Sci. Comput. Program.	2004	DBLP DOI BibTeX RDF
24	Subhash Bhalla, Masaki Hasegawa	Parallelizing serializable transactions using transaction classification in real-time database systems.	CE	2003	DBLP BibTeX RDF