Results 31 to 40 of about 2,779,533 (252)
Combining Static Analysis and Testing for Deadlock Detection
, 2016 Static deadlock analyzers might be able to verify the absence of deadlock. However, they are usually not able to detect its presence. Also, when they detect a potential deadlock cycle, they provide little (or even no) information on their output.
Isabel Márquez, Miguel +5 more
core +1 more source
IEEE Access, 2023 The Software Defect Prediction (SDP) method forecasts the occurrence of defects at the beginning of the software development process. Early fault detection will decrease the overall cost of software and improve its dependability.
Norah Abdullah Al-Johany +4 more
doaj +1 more source
Biomolecules, 2022 Ractopamine (RAC) is a synthetic phenethanolamine, β–adrenergic agonist used as a feed additive to develop leanness and increase feed conversion efficiency in different farm animals. While RAC has been authorized as a feed additive for pigs and cattle in
Kumail Abbas +9 more
doaj +1 more source
A Design Strategy for Deadlock-Free Concurrent Systems [PDF]
, 1997 When building concurrent systems, it would be useful to have a collection of reusable processes to perform standard tasks. However, without knowing certain details of the inner workings of these components, one can never be sure that they will not ...
Martin, Jeremy M. R., Welch, Peter H.
core
Formal verification of distributed deadlock detection algorithms
, 1993 The problem of distributed deadlock detection has undergone extensive study. Formal verification of deadlock detection algorithms in distributed systems is an area of research that has largely been ignored.
Johnston, Brian Matt
core +1 more source
Advanced Robotics Research, EarlyView.Robots can learn manipulation tasks from human demonstrations. This work proposes a versatile method to identify the physical interactions that occur in a demonstration, such as sequences of different contacts and interactions with mechanical constraints.
Alex Harm Gert‐Jan Overbeek +3 more
wiley +1 more source
Advanced Robotics Research, EarlyView.This study explores how information processing is distributed between brains and bodies through a codesign approach. Using the “backpropagation through soft body” framework, brain–body coupling agents are developed and analyzed across several tasks in which output is generated through the agents’ physical dynamics.
Hiroki Tomioka +3 more
wiley +1 more source
Towards Sophisticated Air Traffic Control System Using Formal Methods
Modelling and Simulation in Engineering, 2018 We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organization (ICAO), Federal Aviation Administration (FAA), and National Aeronautics and Space ...
Abdessamad Jarrar, Youssef Balouki
doaj +1 more source
Superatom Distortion Induces Triferroicity and Spin Splitting in Two‐Dimensional Antiferromagnets
Advanced Science, EarlyView.The incorporation of superatoms into a 2D square lattice induces symmetry breaking, thereby enabling concurrent coupling among magnetism, ferroelectricity, and ferroelasticity. This strategy achieves triferroic behavior—characterized by spin‐split antiferromagnetic ground states—and offers a viable pathway toward energy‐efficient spintronic devices ...
Zhen Gao +6 more
wiley +1 more source
Advanced Science, EarlyView.Ex‐spRandom is a spatial transcriptomics platform that synergizes random‐primed chemistry with iterative hydrogel expansion. By physically decrowding the dense FFPE matrix, this scalable technology shatters the traditional resolution‐sensitivity barrier.
Shunji Zhang +7 more
wiley +1 more source