Results 1 to 10 of about 15,889,209 (373)

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, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani   +3 more
doaj   +6 more sources

An optimized deterministic concurrency control approach for geo-distributed transaction processing on permissioned blockchains [PDF]

Scientific Reports
Concurrency control is crucial for ensuring consistency and isolation in distributed transaction processing. Traditional concurrency control algorithms, such as locking-based protocols, usually suffer from performance degradation due to heavy transaction
Zhibo Han, Zeshun Peng, Gang Wang, Minghe Yu, Xiaohua Li, Yanfeng Zhang, Ge Yu   +6 more
doaj   +2 more sources

Adaptive Tip Selection for DAG-Shard-Based Federated Learning with High Concurrency and Fairness [PDF]

Sensors
To 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

Transparent Concurrency Control: Decoupling Concurrency Control from DBMS [PDF]

, 2019
For performance reasons, conventional DBMSes adopt monolithic architectures. A monolithic design cripples the adaptability of a DBMS, making it difficult to customize, to meet particular requirements of different applications. In this paper, we propose to completely separate the code of concurrency control (CC) from a monolithic DBMS. This allows us to
Zhou, Ningnan, Zhou, Xuan, Tan, Kian-lee, Wang, Shan   +3 more
openaire   +3 more sources

Adaptive conflict resolution for IoT transactions: A reinforcement learning-based hybrid validation protocol [PDF]

Scientific Reports
This paper introduces a novel Reinforcement Learning-Based Hybrid Validation Protocol (RL-CC) that revolutionizes conflict resolution for time-sensitive IoT transactions through adaptive edge-cloud coordination. Efficient transaction management in sensor-
Mohammad A. Al Khaldy, Ahmad Nabot, Ahmad al-Qerem, Issam Jebreen, Abdulbasit A. Darem, Asma A. Alhashmi, Mohammad Alauthman, Amjad Aldweesh   +7 more
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, Xiaoxia LI, Fazhi HE, Soonhung HAN, Xiao CHEN   +4 more
doaj   +2 more sources

Concurrency control for adaptive indexing [PDF]

Proceedings of the VLDB Endowment, 2012
Adaptive indexing initializes and optimizes indexes incrementally, as a side effect of query processing. The goal is to achieve the benefits of indexes while hiding or minimizing the costs of index creation. However, index-optimizing side effects seem to turn read-only queries into update transactions that might, for example, create lock contention.
Graefe, G., Felix, H., Idreos, S., Kuno, H., Manegold, S.   +4 more
openaire   +4 more sources

C5: cloned concurrency control that always keeps up [PDF]

The VLDB journal, 2022
Asynchronously replicated primary-backup databases are commonly deployed to improve availability and offload read-only transactions. To both apply replicated writes from the primary and serve read-only transactions, the backups implement a cloned ...
J. Helt, Abhinav Sharma, D. Abadi, Wyatt Lloyd, Jose M. Faleiro   +4 more
semanticscholar   +1 more source

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

Concurrently controlled grammars [PDF]

Kybernetika, 2018
Summary: This paper introduces a new variant of Petri net controlled grammars, namely a concurrently controlled grammar, where the control over the application of the productions of a grammar is realized by a Petri net with different parallel firing strategies.
Mavlankulov, Gairatzhan, Othman, Mohamed, Turaev, Sherzod, Selamat, Mohd Hasan, Zhumabayeva, Laula, Zhukabayeva, Tamara   +5 more
openaire   +1 more source