Results 21 to 30 of about 343,466 (294)
Problems of optimistic concurrency control in distributed database systems [PDF]
ACM SIGMOD Record, 1982 In [SCH81] some aspects of optimistic concurrency control (CC) in distributed database systems have been discussed, some important problems have, however, not been dealt with in sufficient detail in the paper but only in the oral presentation. Thus, the reader of the conference proceedings might get the impression that optimistic CC, as introduced in ...
G. Schlageter
openaire +3 more sources
, 2016 In a multiuser database environment, multiple simultaneous transactions may update the same data. Transactions executing simultaneously must produce meaningful and consistent results. In multiuser database environment conflicts are common. If conflicting
A. Jaypalsinh, Prashant Mehta
openalex +2 more sources
Optimistic Concurrency Control for Energy Efficiency in the Wireless Environment [PDF]
International Conference on Algorithms and Architectures for Parallel Processing, 2013 The ubiquity of smart portable devices has led to concurrency control for the mobile network becoming an area of growing concern. Conventional optimistic concurrency control techniques require retries of failed or disputed transactions, which place additional drain on the energy consumption of both the network and the smart device.
Graham Morgan +3 more
openaire +3 more sources
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The Lax Logical Framework, LLFP, was introduced, by a team including the last two authors, to provide a conceptual framework for integrating different proof development tools, thus allowing for external evidence and for postponing, delegating, or ...
Fabio Alessi +4 more
doaj +1 more source
Advanced Materials Interfaces, EarlyView., 2023 This review discusses the use of Surface‐Enhanced Raman Spectroscopy (SERS) combined with Artificial Intelligence (AI) for detecting antimicrobial resistance (AMR). Various SERS studies used with AI techniques, including machine learning and deep learning, are analyzed for their advantages and limitations.
Zakarya Al‐Shaebi +4 more
wiley +1 more source
Visualizing Concurrency Control Algorithms for Real-Time Database Systems
Data Science Journal, 2008 This paper describes an approach to visualizing concurrency control (CC) algorithms for real-time database systems (RTDBs). This approach is based on the principle of software visualization, which has been applied in related fields.
Olusegun Folorunso +2 more
doaj +1 more source
LF+ in Coq for "fast and loose" reasoning
Journal of Formalized Reasoning, 2019 We develop the metatheory and the implementation of LF+, and discuss several applications. LF+ capitalizes on research work, carried out by the authors over more than a decade, on Logical Frameworks.
Fabio Alessi +5 more
doaj +1 more source
Optimistic concurrency control for abstract data types [PDF]
ACM SIGOPS Operating Systems Review, 1986 A concurrency control technique is optimistic if it allows transactions to execute without synchronization, relying on commit-time validation to ensure serializability. This paper describes several new optimistic concurrency control techniques for objects in distributed systems, proves their correctness and optimality properties, and characterizes the ...
openaire +3 more sources
Distributed optimistic concurrency control with reduced rollback [PDF]
Distributed Computing, 1987 Concurrency control algorithms have traditionally been based on locking and timestamp ordering mechanisms. Recently optimistic schemes have been proposed. In this paper a distributed, multi-version, optimistic concurrency control scheme is described which is particularly advantageous in a query-dominant environment.
Pankaj Gupta +3 more
openaire +2 more sources
Proving Opacity of Transactional Memory with Early Release
Foundations of Computing and Decision Sciences, 2015 Transactional Memory (TM) is an alternative way of synchronizing concurrent accesses to shared memory by adopting the abstraction of transactions in place of low-level mechanisms like locks and barriers.
Siek Konrad, Wojciechowski Paweł T.
doaj +1 more source