Results 21 to 30 of about 485,027 (292)
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
Fractional exclusion and braid statistics in one dimension: a study via dimensional reduction of Chern-Simons theory [PDF]
, 2017 The relation between braid and exclusion statistics is examined in one-dimensional systems, within the framework of Chern-Simons statistical transmutation in gauge invariant form with an appropriate dimensional reduction.
Marchetti, P. A. +3 more
core +2 more sources
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
, 2012 TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them with TLAPS, the TLA+ Proof System.
Damien Doligez +15 more
core +7 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