Results 1 to 10 of about 246,119 (286)
Logical Concurrency Control from Sequential Proofs [PDF]
Logical Methods in Computer Science, 2011 We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification.
Jyotirmoy Deshmukh +3 more
doaj +2 more sources
Adaptive Tip Selection for DAG-Shard-Based Federated Learning with High Concurrency and Fairness [PDF]
SensorsTo cope with the challenges posed by high-concurrency training tasks involving large models and big data, Directed Acyclic Graph (DAG) and shard were proposed as alternatives to blockchain-based federated learning, aiming to enhance training concurrency.
Ruiqi Xiao, Yun Cao, Bin Xia
doaj +2 more sources
Flexible Concurrency Control for Legacy CAD to Construct Collaborative CAD Environment
Journal of Advanced Mechanical Design, Systems and Manufacturing, 2012 Collaborative CAD (Co-CAD) systems can be constructed based on either 3D kernel or legacy stand-alone CAD systems, which are typically commercial CAD systems such as CATIA, Pro/E and so on.
Xiantao Cai, Fazhi He, Soonhung Han
exaly +3 more sources
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 +3 more sources
An efficient locking model for concurrency control in OODBS
Data Science Journal, 2006 When several transactions execute concurrently in a database, the isolation property may no longer be preserved. It is necessary for the system to control the interaction among the concurrent transactions.
G Arumugam, M Thangaraj
doaj +3 more sources
RDMA Optimization Technology for Two-Phase Locking Concurrency Control [PDF]
Jisuanji kexue yu tansuo, 2023 Performance optimization of distributed transactions is one of the hottest topics in academic and industry community. Concurrency control technology based on two-phase locking can guarantee the correctness of concurrent transaction scheduling, thus it is
LI Jingyao, ZHANG Qian, ZHAO Zhanhao, LU Wei, ZHANG Xiao, DU Xiaoyong
doaj +1 more source
Advance Evaluation of System Protection Control Strategy Based on Multi-scheme Concurrency [PDF]
E3S Web of Conferences, 2021 According to rapid assessment requirement of system protection control strategy adaptability in future operation mode, combining with application status of distributed computing for power system security and stability analysis, based on design idea of ...
Liu Lin +5 more
doaj +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
Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency [PDF]
Discrete Mathematics & Theoretical Computer Science, 2021 In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomenon ...
OLivier Bodini +3 more
doaj +1 more source
Concurrency Control and Consistency Over Erasure Coded Data
IEEE Access, 2022 For over a decade, erasure codes have become an integral part of large-scale data storage solutions and data-centers. However, in commercial systems, they are, so far, used predominantly for static data.
Anwitaman Datta, Frederique Oggier
doaj +1 more source