Results 11 to 20 of about 8,384 (311)
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
Spanner's concurrency control [PDF]
ACM SIGACT News, 2013 The Spanner project reports that one can build practical large-scale systems that combine strong semantics with geo-distribution. In this review manuscript, we provide insight on how Spanner's concurrency control provides both read-only transactions which avoid locking data, and strong consistency.
Dahlia Malkhi, Jean-Philippe Martin
openaire +1 more source
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 +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
PyCSP - controlled concurrency [PDF]
International Journal of Information Processing and Management, 2010 Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, taking advantage of CSP’s formal and verifiable approach to controlling concurrency and the readability of Python ...
Vinter, Brian +2 more
openaire +2 more sources
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.
Gairatzhan Mavlankulov +5 more
openaire +1 more source
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
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 +4 more
doaj +1 more source
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. +4 more
openaire +2 more sources