Results 31 to 40 of about 482,704 (293)
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
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
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
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
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
Opportunistic Mutual Exclusion
2023 28th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2023 Accepted to ASYNC ...
Srinivasan, Karthi +2 more
openaire +2 more sources
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
Self-stabilizing mutual exclusion on a ring, even if K=N [PDF]
, 1999 We show that, contrary to common belief, Dijkstra's self-stabilizing mutual exclusion algorithm on a ring [Dij74,Dij82] also stabilizes when the number of states per node is one less than the number of nodes on the ring.Comment: 2 ...
Hoepman, Jaap-Henk
core +6 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 +1 more source