Results 31 to 40 of about 991,008 (302)
Design of distributed network video recording system for coal mine
Gong-kuang zidonghua, 2014 In view of phenomenon that traditional centralized network video recording system has insufficient video processing capacity of storage device and network congestion when videos involve multi-channel, large capacity and data concurrency, a distributed ...
HUANG Chenghua +3 more
doaj +1 more source
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring [PDF]
, 2021 Serializability is a well-understood concurrency control mechanism that eases reasoning about highly-concurrent database programs. Unfortunately, enforcing serializability has a high-performance cost, especially on geographically distributed database clusters.
arxiv +1 more source
Proceedings of the VLDB Endowment, 2018 Distributed transactions suffer from poor performance due to two major limiting factors. First, distributed transactions suffer from high latency because each of their accesses to remote data incurs a long network delay.
Xiangyao Yu +5 more
semanticscholar +1 more source
A new secure 2PL real-time concurrency control algorithm (ES2PL)
International Journal of Intelligent Networks, 2022 A secure concurrency control algorithms must be devoid of covert channels originating from data conflicts between transactions, in addition to ensuring database integrity.
Ebrahim Abduljalil +4 more
doaj
Specifying Transaction Control to Serialize Concurrent Program Executions [PDF]
LNCS, vol. 8477, Springer 2014, pp. 142-157, 2017 We define a programming language independent transaction controller and an operator which when applied to concurrent programs with shared locations turns their behavior with respect to some abstract termination criterion into a transactional behavior.
arxiv +1 more source
On the use of non-concurrent controls in platform trials: A scoping review [PDF]
Trials 2023, 2022 Platform trials gained popularity during the last few years as they increase flexibility compared to multi-arm trials by allowing new experimental arms entering when the trial already started. Using a shared control group in platform trials increases the trial efficiency compared to separate trials.
arxiv +1 more source
Formal analysis of control and termination of distributed computation in weaker spaces
Cogent Engineering, 2018 The control and termination detection of a distributed computation involving large-scale distributed database is difficult in the presence of concurrency, random network delays, and varying reliability of computing nodes. The formal modeling and analysis
Susmit Bagchi
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
IEEE Access, 2017 Conventional 802.11 carrier sense multiple access/collision avoidance (CSMA/CA) networks perform channel contention and data transmission serially over a whole channel. This leads to low throughput efficiency.
Qinglin Zhao +3 more
doaj +1 more source
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