Results 1 to 10 of about 464,155 (337)
Analysing Mutual Exclusion using Process Algebra with Signals [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar process algebras lack the expressive power to accurately capture mutual exclusion protocols without enriching the language with fairness assumptions.
Victor Dyseryn +2 more
doaj +6 more sources
MUTUAL EXCLUSION BETWEEN RELATED PHAGES [PDF]
Journal of Bacteriology, 1952 The discovery of the breakdown of superinfecting phage needs to be supplemented by genetic tests to find out whether the phage whose nucleic acid is broken down is, indeed, unable to contribute genetic markers to the progeny. The present paper presents experiments of this kind, whose results leave no doubt that the breakdown of superinfecting phage is ...
Renato Dulbecco
core +8 more sources
Opportunistic Mutual Exclusion [PDF]
arXiv, 2023 Mutual exclusion is an important problem in the context of shared resource usage, where only one process can be using the shared resource at any given time. A mutual exclusion protocol that does not use information on the duration for which each process uses the resource can lead to sub-optimal utilization times. We consider a simple two-process mutual
Srinivasan, Karthi +2 more
arxiv +3 more sources
Mutually exclusive uncertainty relations [PDF]
Scientific Reports 6, 36616 (2016). (9 pp.), 2016 The uncertainty principle is one of the characteristic properties of quantum theory based on incompatibility. Apart from the incompatible relation of quantum states, mutually exclusiveness is another remarkable phenomenon in the information-theoretic foundation of quantum theory. We investigate the role of mutual exclusive physical states in the recent
Yunlong Xiao, Naihuan Jing, Naihuan Jing
arxiv +6 more sources
A Distributed Deadlock Free Quorum Based Algorithm for Mutual Exclusion [PDF]
(IJCSIS) International Journal of Computer Science and Information
Security, Vol. 11, No. 8, August 2013, 2013 Quorum based mutual exclusion algorithms enjoy many advantages such as low message complexity and high failure resiliency. The use of quorums is a well known approach to achieving mutual exclusion in distributed environments. Several distributed based quorum mutual exclusion was presented.
Mohamed Naïmi, Ousmane Thiaré
arxiv +3 more sources
Application of social game context to teaching mutual exclusion [PDF]
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 +2 more sources
Deadlocks and dihomotopy in mutual exclusion models [PDF]
Theoretical Computer Science, 2006 Parallel processes in concurrency theory can be modelled in a geometric framework. A convenient model are the Higher Dimensional Automata of V. Pratt and E. Goubault with cubical complexes as their mathematical description. More abstract models are given by (locally) partially ordered topological spaces, the directed ($d$-spaces) of M.Grandis and the ...
Martin Raußen
openalex +7 more sources
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 ...
J. T. Fornerón Martínez +2 more
doaj +1 more source
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores [PDF]
Annals of computer science and information systems, 2015 Franco Cicirelli, Libero Nigro
doaj +3 more sources
Recoverable Mutual Exclusion with Abortability [PDF]
Computing, 2019 AbstractRecent advances in non-volatile main memory (NVM) technology have spurred research on algorithms that are resilient to intermittent failures that cause processes to crash and subsequently restart. In this paper we present a Recoverable Mutual Exclusion (RME) algorithm that supports abortability.
Prasad Jayanti, Anup Joshi
openaire +2 more sources