Results 121 to 130 of about 97,871 (297)

Group Mutual Exclusion Based on Priorities

Journal of Computer Science and Technology, 2011
We propose a distributed solution for the group mutual exclusion problem based on priorities, in a network with no share memory whose members only communicate by messages.
Karina M. Cenci, Jorge Raúl Ardenghi
doaj  

Concurrency Bug Detection via Static Analysis and Large Language Models

Future Internet
Concurrency bugs originate from complex and improper synchronization of shared resources, presenting a significant challenge for detection. Traditional static analysis relies heavily on expert knowledge and frequently fails when code is non-compilable ...
Zuocheng Feng, Yiming Chen, Kaiwen Zhang, Xiaofeng Li, Guanjun Liu   +4 more
doaj   +1 more source

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

An algebra of discrete event processes [PDF]

This report deals with an algebraic framework for modeling and control of discrete event processes. The report consists of two parts. The first part is introductory, and consists of a tutorial survey of the theory of concurrency in the spirit of Hoare's ...
Heymann, Michael, Meyer, George
core   +1 more source

Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham, Sahana Sathyanarayana, Charlotte B. Stewart, Robyn Iredale, Victoria Foster, Debra Galley, Mark Baker, Nicola Pavese   +7 more
wiley   +1 more source

Age‐Related Characteristics of SYT1‐Associated Neurodevelopmental Disorder

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives We describe the clinical manifestations and developmental abilities of individuals with SYT1‐associated neurodevelopmental disorder (Baker‐Gordon syndrome) from infancy to adulthood. We further describe the neuroradiological and electrophysiological characteristics of the condition at different ages, and explore the associations ...
Sam G. Norwitz, Josefine Eck, Joel S. Winston, Kate Baker   +3 more
wiley   +1 more source

Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky, Cara Joyce, H. Jeremy Bockholt, Paul A. Rudnick, William H. Adams, Fiona McAllister, Justin W. Smock, Michael A. Newton, Jane S. Paulsen   +8 more
wiley   +1 more source

Lessons Learned From a Delayed‐Start Trial of Modafinil for Freezing of Gait in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Freezing of gait (FOG) in people with Parkinson's disease (PwPD) is debilitating and has limited treatments. Modafinil modulates beta/gamma band activity in the pedunculopontine nucleus (PPN), like PPN deep brain stimulation. We therefore tested the hypothesis that Modafinil would improve FOG in PwPD.
Tuhin Virmani, Lakshmi Pillai, Reid D. Landes, Aliyah Glover, Shannon Doerhoff, Jennifer Kleiner, Mitesh Lotia, Rohit Dhall, Edgar Garcia‐Rill   +8 more
wiley   +1 more source

In‐Depth Profiling Highlights the Effect of Efgartigimod on Peripheral Innate and Adaptive Immune Cells in Myasthenia Gravis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is an autoimmune disorder characterized by antibody‐mediated complement activation. Efgartigimod, a neonatal Fc receptor (FcRn) antagonist, is approved for treating generalized MG (gMG). However, its modulatory effects on upstream innate and adaptive immune cells remain largely unexplored.
Lei Jin, Liu Dong, Ying Wang, Dingxian He, Chong Yan, Jianying Xi, Haoqin Jiang, Yu Shi, Ming Guan, Chongbo Zhao, Jie Song, Sushan Luo   +11 more
wiley   +1 more source

A Synergistic Elixir-EDA-MQTT Framework for Advanced Smart Transportation Systems

Future Internet
This paper proposes a novel event-driven architecture for enhancing edge-based vehicular systems within smart transportation. Leveraging the inherent real-time, scalable, and fault-tolerant nature of the Elixir language, we present an innovative ...
Yushan Li, Satoshi Fujita
doaj   +1 more source