Results 1 to 10 of about 8,299 (93)
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 +3 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 +3 more sources
Correctness Verification of Mutual Exclusion Algorithms by Model Checking
ModellingMutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by ...
Libero Nigro, Franco Cicirelli
doaj +3 more sources
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms
ComputersMutual exclusion is a fundamental problem in concurrent/parallel/distributed systems. The first pure-software solution to this problem for two processes, which is not based on hardware instructions like test-and-set, was proposed in 1965 by Th.J.
Libero Nigro +2 more
doaj +3 more sources
Frontiers in Pharmacology, 2022 Purpose: To assess the significance of mutation mutual exclusion information in the optimization of radiomics algorithms for predicting gene mutation.Methods: We retrospectively analyzed 258 non-small cell lung cancer (NSCLC) patients.
Jingyi Wang +14 more
doaj +1 more source
Automated Synthesis of Distributed Self-Stabilizing Protocols [PDF]
Logical Methods in Computer Science, 2018 In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. Unlike existing approaches, where synthesis algorithms require the explicit
Fathiyeh Faghih +3 more
doaj +1 more source
Scientific Reports, 2023 With the development of artificial intelligence, numerous researchers are attracted to study new heuristic algorithms and improve traditional algorithms. Artificial bee colony (ABC) algorithm is a swarm intelligence optimization algorithm inspired by the
Wen-sheng Xiao +3 more
doaj +1 more source
Efficient reduction of nondeterministic automata with application to language inclusion testing [PDF]
Logical Methods in Computer Science, 2019 We present efficient algorithms to reduce the size of nondeterministic B\"uchi word automata (NBA) and nondeterministic finite word automata (NFA), while retaining their languages.
Lorenzo Clemente, Richard Mayr
doaj +1 more source
BMC Health Services Research, 2023 Background e-Health has played a crucial role during the COVID-19 pandemic in primary health care. e-Health is the cost-effective and secure use of Information and Communication Technologies (ICTs) to support health and health-related fields.
Ayan Chatterjee +3 more
doaj +1 more source
Quantum Doeblin Coefficients: Interpretations and Applications [PDF]
QuantumIn classical information theory, the Doeblin coefficient of a classical channel provides an efficiently computable upper bound on the total-variation contraction coefficient of the channel, leading to what is known as a strong data-processing inequality.
Ian George +3 more
doaj +1 more source