Results 11 to 20 of about 4,695 (158)

Universally Serializable Computation

Journal of Computer and System Sciences, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lane A. Hemaspaandra, Mitsunori Ogihara
openaire   +3 more sources

A Concurrency Control Method Based on Commitment Ordering in Mobile Databases [PDF]

, 2011
Disconnection of mobile clients from server, in an unclear time and for an unknown duration, due to mobility of mobile clients, is the most important challenges for concurrency control in mobile database with client-server model.
Baraani-Dastjerdi, Ahmad, Karami, Ali
core   +2 more sources

Deceit: A flexible distributed file system [PDF]

, 1989
Deceit, a distributed file system (DFS) being developed at Cornell, focuses on flexible file semantics in relation to efficiency, scalability, and reliability.
Birman, Kenneth, Marzullo, Keith, Siegel, Alex   +2 more
core   +2 more sources

Healthcare Operation Improvement Based on Simulation of Cooperative Resource Preservation Nets for None-Consumable Resources

Complexity, 2018
Healthcare systems are growing very fast, especially emergency departments (EDs) which constitute the major bottleneck of these complex concurrent systems.
Soraia Oueida, Yehia Kotb, Seifedine Kadry, Sorin Ionescu   +3 more
doaj   +1 more source

Maintaining consistency in distributed systems [PDF]

, 1991
In systems designed as assemblies of independently developed components, concurrent access to data or data structures normally arises within individual programs, and is controlled using mutual exclusion constructs, such as semaphores and monitors.
Birman, Kenneth P.
core   +3 more sources

Eventually-serializable data services

Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Victor Luchangco, David Gupta, Alan Fekete, Alexander A. Shvartsman, Nancy Lynch   +4 more
openaire   +4 more sources

Declarative Serializable Snapshot Isolation [PDF]

, 2011
Snapshot isolation (SI) is a popular concurrency control protocol, but it permits non-serializable schedules that violate database integrity. The Serializable Snapshot Isolation (SSI) protocol ensures (view) serializability by preventing pivot structures in SI schedules.
Tilgner, Christian, Glavic, Boris, Böhlen, Michael, Kanne, Carl-Christian   +3 more
openaire   +2 more sources

The Serializable and Incremental Semantic Reasoner fuzzyDL [PDF]

2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2020
Serializable and incremental semantic reasoners make it easier to reason on a mobile device with limited resources, as they allow the reuse of previous inferences computed by another device without starting from scratch. This paper describes an extension of the fuzzy ontology reasoner fuzzyDL to make it the first serializable and incremental semantic ...
Huitzil I, Straccia U, Bobed C, Mena E, Bobillo F   +4 more
openaire   +6 more sources

Extended Transaction Models for Software Development Environments [PDF]

, 1988
This technical report consists of two papers discussing concurrency control facilities for multiuser software development environments. A Marvelous Extended Transaction Processing Model briefly sketches the previously developed commit-serializability ...
Kaiser, Gail E.
core   +2 more sources

PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM

Barekeng
Numerous studies have been conducted to develop concurrency control schemes that can be applied to client-server systems, such as the Extended Serial Graph-Validation Queue (SG-VQ) scheme.
Fitra Nuvus Salsabila, Fahren Bukhari, Sri Nurdiati   +2 more
doaj   +1 more source