Results 11 to 20 of about 246,119 (286)
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
Use of Non-concurrent Common Control in Master Protocols in Oncology Trials: Report of an American Statistical Association Biopharmaceutical Section Open Forum Discussion [PDF]
Statistics in Biopharmaceutical Research 14.3 (2022): 353-357, 2022 This article summarizes the discussions from the American Statistical Association (ASA) Biopharmaceutical (BIOP) Section Open Forum that took place on December 10, 2020 and was organized by the ASA BIOP Statistical Methods in Oncology Scientific Working Group, in coordination with the US FDA Oncology Center of Excellence. Diverse stakeholders including
arxiv +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
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
The Canonical Amoebot Model: Algorithms and Concurrency Control [PDF]
, 2021 The amoebot model abstracts active programmable matter as a collection of simple computational elements called amoebots that interact locally to collectively achieve tasks of coordination and movement. Since its introduction at SPAA 2014, a growing body of literature has adapted its assumptions for a variety of problems; however, without a standardized
arxiv +1 more source
The Logical Timestamp Skew Anomaly in Event-Replicated Transaction Schedulers
IEEE Access, 2021 To sidestep reasoning about the complex effects of concurrent execution, many system designers have conveniently embraced strict serializability on the strength of its claims, support from commercial and open-source database communities and ubiquitous ...
Emil Koutanov
doaj +1 more source
Aggressive Behavior, Volume 49, Issue 1, Page 5-14, January 2023., 2023 Abstract This study uses longitudinal data from the UK Millennium Cohort Study (N = 13,277) to examine the childhood and early adolescence factors that predict weapon involvement in middle adolescence, which in this study is exemplified by having carried or used a weapon.
Aase Villadsen, Emla Fitzsimons
wiley +1 more source
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose The aim of this work was to evaluate the SunCHECK PerFRACTION, the software for in vivo monitoring using EPID images. Materials/Methods First, the PerFRACTION ability to detect errors was investigated simulating two situations: (1) variation of LINAC output and (2) variation of the phantom thickness.
Samuel Ramalho Avelino +3 more
wiley +1 more source
Discrete-Time Systems Modeling and Verification With Alvis Language and Tools
IEEE Access, 2018 Alvis is a formal modeling language intended for developing systems consisting of concurrently operating units (real-time, embedded, and distributed systems).
Marcin Szpyrka +3 more
doaj +1 more source
CRIL: A Concurrent Reversible Intermediate Language [PDF]
EPTCS 387, 2023, pp. 149-167, 2023 We present a reversible intermediate language with concurrency for translating a high-level concurrent programming language to another lower-level concurrent programming language, keeping reversibility. Intermediate languages are commonly used in compiling a source program to an object code program closer to the machine code, where an intermediate ...
arxiv +1 more source