Results 261 to 270 of about 119,463 (291)

Mutual Exclusion Algorithms in the Shared Queue Model

2014
Resource sharing for asynchronous processors with mutual exclusion property is a fundamental task in distributed computing. We investigate the problem in a natural setting: for the communications between processors, they only share several queues supporting enqueue and dequeue operations.
Junxing Wang, Zhengyu Wang
openaire   +1 more source

A comparative study and proposal of a novel distributed mutual exclusion in UAV assisted flying ad hoc network using density-based clustering scheme

Wireless networks, 2023
Ashish Singh Parihar, S. K. Chakraborty, A. Sharma, Mehak Saini   +3 more
semanticscholar   +1 more source

Mutual Exclusion Algorithms with Constant RMR Complexity and Wait-Free Exit Code

International Conference on Principles of Distributed Systems, 2017
Rotem Dvir, G. Taubenfeld
semanticscholar   +1 more source

Mutual Exclusion Algorithm in Mobile Cellular Networks

2012
The mutual exclusion (MX) paradigm can be used as a building block in many practical problems such as group communication, atomic commitment and replicated data management where the exclusive use of an object might be useful. The problem has been widely studied in the research community since one reason for this wide interest is that many distributed ...
Sung-Hoon Park, Yeong-Mok Kim
openaire   +1 more source

Model Checking Mutual Exclusion Algorithms Using Uppaal

Computer Science On-line Conference, 2016
F. Cicirelli, L. Nigro, Paolo F. Sciammarella   +2 more
semanticscholar   +1 more source

Searching for Mutual Exclusion Algorithms Using BDDs

2002
The impact of verification technologies would be much greater if they could not only verify existing information systems, but also synthesize or discover new ones. In our previous study, we tried to discover new algorithms that satisfy a given specification, by first defining a space of algorithms, and then checking each algorithm in the space against ...
Koichi Takahashi, Masami Hagiya
openaire   +1 more source

Ant Algorithm with Mutual Exclusion

2023 IEEE 4th KhPI Week on Advanced Technology (KhPIWeek), 2023
Oleksandr Andreiev, Natalia Reshetniak, Vitaliy Serzhanov, Nataliia Volosnikova, Olga Andreieva, Fedir Abramov   +5 more
openaire   +1 more source

Mitigation of mutual exclusion problem in 5G new radio standards by token and non token based algorithms

Cluster Computing, 2017
M. Saravanan, R. Kalidoss, B. Partibane, R. Karthipan   +3 more
semanticscholar   +1 more source

Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms

NASA Formal Methods, 2012
Roberto Bruttomesso, A. Carioni, S. Ghilardi, Silvio Ranise   +3 more
semanticscholar   +1 more source

Info-based approach in distributed mutual exclusion algorithms

J. Parallel Distributed Comput., 2012
Peyman Neamatollahi, Hoda Taheri, Mahmoud Naghibzadeh   +2 more
semanticscholar   +1 more source