Results 1 to 10 of about 61,822 (267)
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
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
Dynamic sharing of a multiple access channel [PDF]
, 2010 In this paper we consider the mutual exclusion problem on a multiple access channel. Mutual exclusion is one of the fundamental problems in distributed computing.
Bienkowski, Marcin +3 more
core +3 more sources
Distributed match-making [PDF]
, 1987 In many distributed computing environments, processes are concurrently executed by nodes in a store- and-forward communication network. Distributed control issues as diverse as name server, mutual exclusion, and replicated data management involve making ...
Mullender, Sape J., Vitanyi, Paul M.B.
core +5 more sources
Brief Announcement: Neighborhood Mutual Remainder and Its Self-Stabilizing Implementation of Look-Compute-Move Robots [PDF]
, 2019 In this paper, we define a new concept neighborhood mutual remainder (NMR). An NMR distributed algorithms should satisfy global fairness, l-exclusion and repeated local rendezvous requirements.
Dolev, Shlomi +4 more
core +1 more source
Brief Announcement: Fast and Scalable Group Mutual Exclusion [PDF]
, 2018 The group mutual exclusion (GME) problem is a generalization of the classical mutual exclusion problem in which every critical section is associated with a type or session. Critical sections belonging to the same session can execute concurrently, whereas
Gokhale, Shreyas, Mittal, Neeraj
core +1 more source
A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set [PDF]
, 2007 The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type (or a group) with each critical section.
Neeraj Mittal +2 more
core +2 more sources