Results 11 to 20 of about 2,779,533 (252)
Deadlock-Free Monitors and Channels
, 2019 <p><a href="https://github.com/jafarhamin/deadlock-free-monitors-soundness">This repository</a> provides a formalization and a soundness proof, carried out by <a href="https://coq.inria.fr/">Coq proof assistant v8.6</a>,
Hamin, Jafar +3 more
core +4 more sources
A Distributed Double-Loop Optimization Method with Fast Response for UAV Swarm Scheduling
Drones, 2023 An unmanned aerial vehicle (UAV) swarm has broad application prospects, in which scheduling is one of the key technologies determining the completion of tasks.
Runfeng Chen +3 more
doaj +1 more source
Algon: a framework for supporting comparison of distributed algorithm performance [PDF]
, 2003 Programmers often need to use distributed algorithms to add non-functional behaviour such as mutual exclusion, deadlock detection and termination, to a distributed application.
B. Worrall +9 more
core +1 more source
Deadlock Solving in Transport System with Methods from Computer Operating System
Communications, 2003 In its first part, the article compares control principles in computer operating systems and in transport systems, and outlines similarities. One part of the control in both systems is handling of deadlock situations.
Michal Zarnay
doaj +1 more source
Diagnostic suspicion bias and machine learning: Breaking the awareness deadlock for sepsis detection
PLOS Digital Health, 2023 Many early warning algorithms are downstream of clinical evaluation and diagnostic testing, which means that they may not be useful when clinicians fail to suspect illness and fail to order appropriate tests.
Varesh Prasad +11 more
doaj +3 more sources
A Compile-Time Deadlock Detection Pattern
Computer Science, 2007 The paper presents the application of the trait technique in generic programming for compiletimedeadlock detection and prevention in multithreaded applications.
Michał Korzycki
doaj +1 more source
Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis
IEEE Access, 2021 Computer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode.
Damian Giebas, Rafal Wojszczyk
doaj +1 more source
Sculptures in Concurrency [PDF]
Logical Methods in Computer Science, 2021 We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell (hypercube). A first important result
Uli Fahrenberg +3 more
doaj +1 more source
Evolutionary dynamics on a regular networked structured and unstructured multi‐population
International Journal of Robust and Nonlinear Control, EarlyView., 2023 Abstract In this paper, we study collective decision‐making in a multi‐population framework, where groups of individuals represent whole populations that interact by means of a regular network. Each group consists of a number of players and every player can choose between two options.
Wouter Baar +2 more
wiley +1 more source
Deadlock detection in distributed system [PDF]
, 2021 In highly automated devices, deadlock is a case that occurs when no system can permit its event which may give irrelevant economic losses. A process can request or release resources that are either available or are on hold by others.
Rout, Kshirod Kumar +2 more
core +1 more source