Analysing Mutual Exclusion using Process Algebra with Signals [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar process algebras lack the expressive power to accurately capture mutual exclusion protocols without enriching the language with fairness assumptions.
Victor Dyseryn +2 more
doaj +8 more sources
Inverse shielding and mutual exclusion for PET-MR hybrid imaging concerning induced positronium hyperfine splits radiations [PDF]
Scientific Reports, 2023 Prevalent PET imaging reconstructs 2γ-photon pairs emitted after an annihilation from para-positronium (p-Ps) and rejects 3γ events from ortho-positronium (o-Ps) as noises.
Kelin Wang, M. Saiful Huq
doaj +4 more sources
Mutual exclusion of Asaia and Wolbachia in the reproductive organs of mosquito vectors [PDF]
Parasites & Vectors, 2015 Background Wolbachia is a group of intracellular maternally inherited bacteria infecting a high number of arthropod species. Their presence in different mosquito species has been largely described, but Aedes aegypti, the main vector of Dengue virus, has ...
Paolo Rossi +17 more
doaj +3 more sources
An Adaptive Approach to Recoverable Mutual Exclusion [PDF]
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 2020 Mutual exclusion (ME) is one of the most commonly used techniques to handle conflicts in concurrent systems. Traditionally, mutual exclusion algorithms have been designed under the assumption that a process does not fail while acquiring/releasing a lock ...
Sahil Dhoked, Neeraj Mittal
openalex +3 more sources
Semi-supervised Counting of Grape Berries in the Field Based on Density Mutual Exclusion [PDF]
Plant Phenomics, 2023 Automated counting of grape berries has become one of the most important tasks in grape yield prediction. However, dense distribution of berries and the severe occlusion between berries bring great challenges to counting algorithm based on deep learning.
Yanan Li +3 more
doaj +2 more sources
Distributed Mutual Exclusion Algorithms for Intersection Traffic Problems
IEEE Access, 2020 Conurbations around the globe are encountering the challenges of traffic congestion. Miscellaneous smart systems have been developed to help control and improve traffic flow in a cost-effective and measurable way.
Harisu Abdullahi Shehu +2 more
doaj +2 more sources
Verifying Mutual Exclusion Algorithms with Non-Atomic Registers
AlgorithmsThe work described in this paper develops a formal method for modeling and exhaustive verification of mutual exclusion algorithms. The process is based on timed automata and the Uppaal model checker.
Libero Nigro
doaj +2 more sources
Verifying Temporal Properties of Reactive Systems by Transformation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We show how program transformation techniques can be used for the verification of both safety and liveness properties of reactive systems. In particular, we show how the program transformation technique distillation can be used to transform reactive ...
Geoff Hamilton
doaj +4 more sources
Group Mutual Exclusion in Linear Time and Space [PDF]
Theoretical Computer Science, 2015 We present two algorithms for the Group Mutual Exclusion (GME) Problem that satisfy the properties of Mutual Exclusion, Starvation Freedom, Bounded Exit, Concurrent Entry and First Come First Served.
Gafni, Eli +2 more
core +2 more sources
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs [PDF]
Logical Methods in Computer Science, 2012 We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs. Following our work on Astr\'ee, we focus on embedded critical programs without recursion nor dynamic memory allocation, but ...
Antoine Miné
doaj +9 more sources