Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B
, 2006 System availability is improved by the replication of data objects in a distributed database system. However, during updates, the complexity of keeping replicas identical arises due to failures of sites and race conditions among conflicting transactions.
Butler, Michael, Yadav, Divakar
core
Evaluation of Dosimetric Properties of Handmade Bolus for Megavoltage Electron and Photon Radiation Therapy. [PDF]
J Biomed Phys Eng, 2021 Endarko E +5 more
europepmc +1 more source
Relaxing the limitations of serializable transactions in distributed systems [PDF]
, 1992 Calton Pu
openalex +1 more source
Obladi: Oblivious Serializable Transactions in the Cloud
, 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
Database (Lecture) Streams on the Cloud: Experience Report on Teaching an Undergrad Database Lecture During a Pandemic. [PDF]
Datenbank Spektrum, 2021 Dittrich J, Maltry M.
europepmc +1 more source
An alternative approach to serialization of multilevel secure Transactions [PDF]
, 1997 Brajendra Panda
openalex +1 more source
A low-power, radiation-hard gigabit serializer for use in the CMS electromagnetic calorimeter [PDF]
, 2000 P. Denes +3 more
openalex +1 more source
On Herbrand semantics and conflict serializability of read-write transactions (extended abstract) [PDF]
, 2000 Jens Lechtenbörger, Gottfried Vossen
openalex +1 more source
Exploiting replication in distributed systems [PDF]
Techniques are examined for replicating data and execution in directly distributed systems: systems in which multiple processes interact directly with one another while continuously respecting constraints on their joint behavior.
Birman, Kenneth P., Joseph, T. A.
core +1 more source
An EVACS simulation with nested transactions [PDF]
Documented here is the recent effort of the MISSION Kernel Team on an Extra-Vehicular Activity Control System (EVACS) simulation with nested transactions. The team has implemented the EVACS simulation along with a design for nested transactions.
Atkinson, Collin +2 more
core +1 more source