Results 11 to 20 of about 15,889,209 (373)
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
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 +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
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
A distributed file service based on optimistic concurrency control [PDF]
, 1985 The design of a layered file service for the Amoeba Distributed System is discussed, on top of which various applications can easily be intplemented. The bottom layer is formed by the Amoeba Block Services, responsible for implementing stable storage and
Mullender, Sape J., Tanenbaum, Andrew S.
core +16 more sources
Performance Evaluation of WW and WD Concurrency Control Algorithms for Database Management, via Modeling by Colored Petri Net [PDF]
مجله مدل سازی در مهندسی, 2017 Any concurrent transaction should be taken in database could lead to conflict. The conflict occurs due to incorrect values for the data which lead to interference in executed transaction which has been taken. The concurrency control algorithms, to insure
Fatemeh Saadatjoo +2 more
doaj +1 more source
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verification of small, embedded operating systems (OS's) whose run-time ...
June Andronick +2 more
doaj +1 more source
Energies, 2023 With the continuous promotion of digital transformation in the field of power transformation, the diversification of application scenarios, and the scale of pilot construction, the real-time, concurrency, and security requirements for data fusion and ...
Yun Long, Yude Bao, Linjun Zeng
doaj +1 more source
Concurrency of partnerships, consistency with data, and control of sexually transmitted infections
Epidemics, 2018 Sexually transmitted infections (STIs) are a globally increasing public health problem. Mathematical models, carefully matched to available epidemiological and behavioural data, have an important role to play in predicting the action of control measures.
Trystan Leng, Matt J. Keeling
doaj +1 more source
Syntactic control of concurrency [PDF]
Theoretical Computer Science, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ghica, D, Murawski, A, Ong, L
openaire +3 more sources