Results 81 to 90 of about 2,779,533 (252)
AerospaceOwing to the stringent spatio-temporal coupling and kinematic constraints, the task allocation problem for heterogeneous unmanned aerial vehicle (UAV) swarms is generally regarded as an NP-hard problem.
Bochang Yu +7 more
doaj +1 more source
Optimization Techniques for Verification of Out-of-Order Execution Machines
Journal of Electrical and Computer Engineering, 2010 We develop two optimization techniques, flush-machine and collapsed flushing, to improve the efficiency of automatic refinement-abased verification of out-of-order (ooo) processor models.
Sudarshan K. Srinivasan
doaj +1 more source
ADAPT: An Autonomous Forklift for Construction Site Operation
Journal of Field Robotics, EarlyView.ABSTRACT Efficient material logistics are critical in controlling costs and schedules in the construction industry. However, manual material handling remains prone to inefficiencies, delays, and safety risks. Autonomous forklifts offer a solution to streamline on‐site logistics, reducing reliance on human operators and mitigating labor shortages.
Johannes Huemer +12 more
wiley +1 more source
Nantong Daxue xuebao. Ziran kexue banTo meet the demand for efficient vehicle passage at unsignalized intersections in intelligent connected environments, this study proposes a new vehicle scheduling optimization method for unsignalized intersections based on a Petri net model, a deadlock ...
CAO Meng; ZHANG Funa; JIANG Xinyu; HUANG Cheng; LIU Huixia; ZHANG Sihan; SUN Wenqiang
doaj +1 more source
Static Deadlock Detection for Rust Programs [PDF]
Rust relies on its unique ownership mechanism to ensure thread and memory safety. However, numerous potential security vulnerabilities persist in practical applications. New language features in Rust pose new challenges for vulnerability detection.
Liu, Guanjun, Zhang, Kaiwen, Zhang, Yu
core +1 more source
Distributed Deadlock Detection in Ada Runtime Environments
, 1990 Distributed deadlock detection has been studied in distributed database systems and distributed timesharing operating systems, but has not been widely used in real-time systems such as Ada runtime environments.
Chia-shiang Shih, John A. Stankovic
core +1 more source
Small, EarlyView.This review charts the material evolution of bifunctional electrocatalysts for rechargeable lithium‐gas batteries. It highlights the journey from heteroatom‐doped, metal‐free carbon architectures to precision‐engineered carbon‐supported single‐atom sites. The discussion focuses on mechanistic insights into how these catalysts govern reversible O2, CO2,
Daming Ren +5 more
wiley +1 more source
Cogent Engineering, 2014 Livelocks, like deadlocks, can result in the serious problems in running process of flexible manufacturing systems (FMSs) as well. Current deadlock control policies based on the approaches of siphon detection and control, cannot cope with livelocks in a ...
C.Q. Hou +5 more
doaj +1 more source
Photo‐Activated Merging Cascades in Droplet Swarms Upon Synergistic Solvation of Surfactants
Small, EarlyView.UV activates the motility of UV‐responsive droplets through a decylammonium/carbamate crystalline layer at the air/water interface. Upon merging with immobilized C12E3 surfactant droplets in the layer, hybrid droplets form which dissolve the layer due to synergistic solvation. In large droplet fields, this non‐linear behavior drives cascading events of
Priyanshu Singh +3 more
wiley +1 more source
From Map Follower to Navigator: Archetypes of Environmental Impact Assessment
Systems Research and Behavioral Science, EarlyView.ABSTRACT Environmental impact assessment (EIA) scholarship is commonly framed as a tension between efficiency and comprehensiveness paradigms. These paradigms describe a persistent tension but cannot explain how EIA operates through it. Drawing on social systems theory, this analysis traces that operation.
Kenneth Kang
wiley +1 more source