Results 71 to 80 of about 14,769 (187)
Plant Biotechnology Journal, Volume 23, Issue 4, Page 1136-1138, April 2025.
Jian Wang+10 more
wiley +1 more source
Database (Lecture) Streams on the Cloud: Experience Report on Teaching an Undergrad Database Lecture During a Pandemic. [PDF]
Dittrich J, Maltry M.
europepmc +1 more source
Detecting Incorrect Behavior of Cloud Databases as an Outsider [PDF]
Cloud DBs offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud DBs are complicated black boxes, running in a different administrative domain from their clients; thus, clients might like to know whether the DBs are meeting their contract.
arxiv
Relaxing the limitations of serializable transactions in distributed systems [PDF]
Calton Pu
openalex +1 more source
An alternative approach to serialization of multilevel secure Transactions [PDF]
Brajendra Panda
openalex +1 more source
A low-power, radiation-hard gigabit serializer for use in the CMS electromagnetic calorimeter [PDF]
P. Denes+3 more
openalex +1 more source
Obladi: Oblivious Serializable Transactions in the Cloud
This paper presents the design and implementation of Obladi, the first system to provide ACID transactions while also hiding access patterns. Obladi uses as its building block oblivious RAM, but turns the demands of supporting transactions into a performance opportunity.
Natacha Crooks+5 more
openaire +3 more sources
Vbox: Efficient Black-Box Serializability Verification [PDF]
Verifying the serializability of transaction histories is essential for users to know if the DBMS ensures the claimed serializable isolation level without potential bugs. Black-box serializability verification is a promising approach. Existing verification methods often have one or more limitations such as incomplete detection of data anomalies, long ...
arxiv
On Herbrand semantics and conflict serializability of read-write transactions (extended abstract) [PDF]
Jens Lechtenbörger, Gottfried Vossen
openalex +1 more source
In the Search of Optimal Concurrency [PDF]
Implementing a concurrent data structure typically begins with defining its sequential specification. However, when used \emph{as is}, a nontrivial sequential data structure, such as a linked list, a search tree, or a hash table, may expose incorrect behavior: lost updates, inconsistent responses, etc.
arxiv