Results 21 to 30 of about 1,000,824 (299)
Assignment of Resources in Distributed Systems [PDF]
Journal of Systemics, Cybernetics and Informatics, 2018 In distributed processing systems it is often necessary to coordinate the allocation of shared resources that should be assigned in the processes in the modality of mutual exclusion; in such cases, the order in which the shared resources will be assigned
David L. La Red Martínez +2 more
doaj
Local-spin Abortable Mutual Exclusion [PDF]
, 2012 Abortable mutual exclusion is a variant of mutual exclusion, in which processes are allowed to abort in the trying protocol. Scott presented the first local-spin abortable mutual exclusion algorithms.
Lee, Hyonho
core +2 more sources
Application of social game context to teaching mutual exclusion
Automatika, 2018 Mutual exclusion mechanisms, like semaphore and monitor, are fundamental tools used by software engineers to solve the race condition problem, ensure barrier, and achieve other workflow patterns.
Miroslav Popović +2 more
doaj +1 more source
Clitics: Lexicalization Patterns of the So-called 3rd Person Dative
Catalan Journal of Linguistics, 2002 Manzini and Savoia (1999, 2001, 2002, to appear) argue that the basic facts about the clitic string are best accounted for without having recourse to anything but a minimalist syntactic compo- nent, i.e.
Rita Manzini, Leonardo M. Savoia
doaj +1 more source
Ancestral Dynamic Voting Algorithm for Mutual Exclusion in Partitioned Distributed Systems
International Journal of Distributed Sensor Networks, 2013 Data replication is a known redundancy used in fault-tolerant distributed system. However, it has the problem of mutual exclusion of replicated data. Mutual exclusion becomes difficult when a distributed system is partitioned into two or more isolated ...
Faraneh Zarafshan +4 more
doaj +1 more source
Resource and Process Management With a Decision Model Based on Fuzzy Logic.
International Journal of Interactive Multimedia and Artificial Intelligence, 2023 The allocation of the resources to be shared in the context of a distributed processing system needs to be coordinated through the mutual exclusion mechanism, which will decide the order in which the shared resources will be allocated to those processes
Jorge Tomás Fornerón Martínez +2 more
doaj +1 more source
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 +1 more source
SSM: Qualitative Research in Health, 2022 Unaffordable housing is a growing crisis in Canada, exacerbated by the COVID-19 pandemic, yet perspectives of people living outdoors in encampments have primarily gone unheard.
Lisa M. Boucher +6 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
Formal Analysis of Bakery-Based Mutual Exclusion Algorithms
ComputersLamport’s Bakery algorithm (LBA) represents a general and elegant solution to the mutual exclusion (ME) problem posed by Dijkstra in 1965. Its correctness is usually based on intuitive reasoning.
Libero Nigro
doaj +1 more source