Results 31 to 40 of about 1,573,620 (330)

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ć, Klemo Vladimir, Marin Šilić   +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

“They have their security, we have our community”: Mutual support among people experiencing homelessness in encampments in Toronto during the COVID-19 pandemic

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, Zoë Dodd, Samantha Young, Abeera Shahid, Ahmed Bayoumi, Michelle Firestone, Claire E. Kendall   +6 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

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, Abbas Karimi, S. A. R. Al-Haddad, M. Iqbal Saripan, Shamala Subramaniam   +4 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, Borzoo Bonakdarpour, Sebastien Tixeuil, Sandeep Kulkarni   +3 more
doaj   +1 more source

Decomposing and Tracing Mutual Information by Quantifying Reachable Decision Regions

Entropy, 2023
The idea of a partial information decomposition (PID) gained significant attention for attributing the components of mutual information from multiple variables about a target to being unique, redundant/shared or synergetic. Since the original measure for
Tobias Mages, Christian Rohner
doaj   +1 more source

Formal Analysis of Bakery-Based Mutual Exclusion Algorithms

Computers
Lamport’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

Generating Counterexamples for Model Checking by Transformation [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
Counterexamples explain why a desired temporal logic property fails to hold. The generation of counterexamples is considered to be one of the primary advantages of model checking as a verification technique.
G. W. Hamilton
doaj   +1 more source

Introduction: The Social (Re)production of Diversity

Cromohs: Cyber Review of Modern Historiography, 2021
As a mutual constituent of sameness, otherness defines belonging by demarcating the boundaries of what is similar and acceptable against what is different and, eventually, unacceptable.
Giacomo Orsini
doaj   +1 more source