Results 41 to 50 of about 482,704 (293)
Group Mutual Exclusion in Linear Time and Space
, 2015 We present two algorithms for the Group Mutual Exclusion (GME) Problem that satisfy the properties of Mutual Exclusion, Starvation Freedom, Bounded Exit, Concurrent Entry and First Come First Served.
Gafni, Eli +2 more
core +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
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
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
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
Clinical Course and Impact of Breaks in Therapy for Children With Relapsed/Refractory Solid Tumors
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Pediatric relapsed or refractory (R/R) solid tumors carry a dismal prognosis, and postrelapse patient experiences are not well described. We present postrelapse outcomes, including number of R/R events and subsequent therapy regimens.
Matthew T. McEvoy +5 more
wiley +1 more source
Formal Modeling and Verification of Lycklama and Hadzilacos’s Mutual Exclusion Algorithm
MathematicsThis study describes our thorough experience of formal modeling and exhaustive verification of concurrent systems, particularly mutual exclusion algorithms. The experience focuses on Lycklama and Hadzilacos’s (LH) mutual exclusion algorithm.
Libero Nigro
doaj +1 more source
Design of a Mutual Exclusion and Deadlock Algorithm in PCBSD – FreeBSD
International Journal of Interactive Multimedia and Artificial Intelligence, 2014 This paper shows the implementation of mutual exclusion in PCBSD-FreeBSD operating systems on SMPng environments, providing solutions to problems like investment priority, priority propagation, interlock, CPU downtime, deadlocks, between other.
Libertad Caicedo Acosta +3 more
doaj +1 more source
Treatment Decision‐Making Roles and Preferences Among Adolescents and Young Adults With Cancer
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Decision‐making (DM) dynamics between adolescents and young adults (AYAs) with cancer, parents, and oncologists remain underexplored in diverse populations. We examined cancer treatment DM preferences among an ethnically and socioeconomically diverse group of AYAs and their parents.
Amanda M. Gutierrez +14 more
wiley +1 more source
Deliberation and Non-Deliberative Communication
Journal of Deliberative Democracy, 2020 The goal of this work is to clarify how certain democratic goods — notably, empowered inclusion and mutual respect — can be both antecedents to and outcomes of successful communication.
Edana Beauvais
doaj +2 more sources