Results 71 to 80 of about 14,769 (187)

Two CYP72 enzymes function as Ent‐labdane hydroxylases in the biosynthesis of andrographolide in Andrographis paniculata

open access: yes
Plant Biotechnology Journal, Volume 23, Issue 4, Page 1136-1138, April 2025.
Jian Wang   +10 more
wiley   +1 more source

Detecting Incorrect Behavior of Cloud Databases as an Outsider [PDF]

open access: yesarXiv, 2019
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  

Obladi: Oblivious Serializable Transactions in the Cloud

open access: yes, 2018
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]

open access: yesarXiv
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  

In the Search of Optimal Concurrency [PDF]

open access: yesarXiv, 2016
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  

Home - About - Disclaimer - Privacy