Results 91 to 100 of about 15,494 (304)

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

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

Search-based amorphous slicing

, 2005
Amorphous slicing is an automated source code extraction technique with applications in many areas of software engineering, including comprehension, reuse, testing and reverse engineering.
Mark Harman, Harman, Mark, Robert M. Hierons, Fatiregun, D, Hieron, Rob, Harman, M, Hierons, RM, Fatiregun, Deji, Deji Fatiregun   +8 more
core  

VADA: A transformation-based system for variable dependence analysis

, 2002
Variable dependence is an analysis problem in which the aim is to determine the set of input variables that can affect the values stored in a chosen set of intermediate program variables.
Fox, C, Hu, L, Fox, Chris, R. Hierons, J. Wegener, S. Danicic, Harman, Mark, Hu, Lin, C. Fox, Lin Hu, Wegener, Joachim, Harman, M, Wegener, J, Hierons, RM, M. Harman, Danicic, S, Danicic, Sebastian, Hierons, Robert   +17 more
core   +1 more source

A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data

Advanced Engineering Materials, EarlyView.
Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

A Coverage and Slicing Dependencies Analysis for Seeking Software Security Defects

The Scientific World Journal, 2014
Software security defects have a serious impact on the software quality and reliability. It is a major hidden danger for the operation of a system that a software system has some security flaws. When the scale of the software increases, its vulnerability
Hui He, Dongyan Zhang, Min Liu, Weizhe Zhang, Dongmin Gao   +4 more
doaj   +1 more source

Rafting of Ni‐Based Superalloys Under Multiaxial Load as Understood by Phase‐Field Simulations and Critical Experiments

Advanced Engineering Materials, EarlyView.
Phase‐field simulations coupled with dislocation‐density‐based crystal plasticity modeling reproduce γ′ rafting behavior in single‐crystal Ni‐based superalloys under varied loading conditions. The model captures both macroscopic creep and microscopic morphology evolution, with results matching high‐temperature creep experiments.
Micheal Younan, David Bürger, Gunther Eggeler, Oleg Shchyglo, Ingo Steinbach, Muhammad Adil Ali   +5 more
wiley   +1 more source

Tilt Monitoring of Super High-Rise Industrial Heritage Chimneys Based on LiDAR Point Clouds

Buildings
The structural safety monitoring of industrial heritage is of great significance for global urban renewal and the preservation of cultural heritage. However, traditional tilt monitoring methods suffer from limited accuracy, low efficiency, poor global ...
Mingduan Zhou, Yuhan Qin, Qianlong Xie, Qiao Song, Shiqi Lin, Lu Qin, Zihan Zhou, Guanxiu Wu, Peng Yan   +8 more
doaj   +1 more source

Additive Manufacturing of Continuous Fibre Reinforced Composites: Process, Characterisation, Modelling, and Sustainability

Advanced Engineering Materials, EarlyView.
Additive manufacturing provides precise control over the placement of continuous fibres within polymer matrices, enabling customised mechanical performance in composite components. This article explores processing strategies, mechanical testing, and modelling approaches for additive manufactured continuous fibre‐reinforced composites.
Cherian Thomas, Amir Hosein Sakhaei
wiley   +1 more source

Tailoring Functional Properties of Ti–Ni–Cu Shape Memory Alloy Thin Films for MEMS Actuators

Advanced Engineering Materials, EarlyView.
A comprehensive study of critical parameters required to develop well‐performing Ti–Ni–Cu thin film shape memory alloy microactuators is provided. Materials science and device integration aspects are integrated by addressing structural and physical relationships using complementary characterization techniques as well as a practical fabrication solution
Elaheh Akbarnejad, Aleksander Kostka, Gowtham Arivanandhan, Yujiao Li, Alan Savan, Manfred Kohl, Alfred Ludwig   +6 more
wiley   +1 more source