Results 31 to 40 of about 21,187 (254)
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
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
Generation of Initial Contexts for Effective Deadlock Detection
, 2017 It has been recently proposed that testing based on symbolic execution can be used in conjunction with static deadlock analysis to define a deadlock detection framework that: (i) can show deadlock presence, in that case a concrete test-case and trace are
Isabel Márquez, Miguel +2 more
core +1 more source
Deadlock in Packet Switching Networks
, 2021 Part 3: NetworksInternational audienceA deadlock in a packet switching network is a state in which one or more messages have not yet reached their target, yet cannot progress any further. We formalize three different notions of deadlock in the context of
Anna Stramaglia +6 more
core +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
Trust-Based Petri Net Model for Fault Detection and Treatment in Automated Manufacturing Systems
IEEE Access, 2021 Automated manufacturing systems (AMSs) are vulnerable to failures. Trust evaluation is becoming a novel technique for detecting faults in AMSs. In this article, a two-step robust deadlock control strategy for systems with unreliable resources is proposed.
Ebrahim Ali Alzalab +3 more
doaj +1 more source
Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata [PDF]
, 2014 Two way buffer system is a system that exhibits transfer of data using two buffers concurrently. It includes processes that synchronize to exchange data with each other along with executing certain delays between these synchronizations.
Rohit Mishra, Md Zeeshan and Sanjay Singh
core +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
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
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