Results 81 to 90 of about 18,096 (259)

Automatic Error Localization for Software using Deductive Verification

, 2014
Even competent programmers make mistakes. Automatic verification can detect errors, but leaves the frustrating task of finding the erroneous line of code to the user.
A. Griesmayer, J.R. Larus, P. Cuoq, R. Bloem, R. Reiter   +4 more
core   +1 more source

Understanding the Stochastic Nature of Process Parameter Development of Blown Powder Laser Beam Directed Energy Deposition Additive Manufacturing of Pure Molybdenum

Advanced Engineering Materials, EarlyView.
Identified through the use of statistical design of experiments and metallographic investigation, this study exposes the stochastic origins of intergranular cracks in blown powder laser beam directed energy deposition additive manufacturing of pure molybdenum. It further demonstrates a successful crack mitigation approach with direct correlation to the
Nathaniel J. Lies, Daniel E. Driemeyer, Aaron P. Stebner   +2 more
wiley   +1 more source

Microstructure Evolution of a VMnFeCoNi High‐Entropy Alloy After Synthesis, Swaging, and Annealing

Advanced Engineering Materials, EarlyView.
The synthesis and processing (rotary swaging and annealing) of the novel VMnFeCoNi alloy is investigated, alongside the estimation of the grain size effect on hardness. Analysis of a wide grain size range of recrystallized microstructures (12–210 µm) reveals a low annealing twin density.
Aditya Srinivasan Tirunilai, Zeki Ayrildi, Buse Şen, Maik Rajkowski, Mathias Redondo Garcia, Markus Stricker, Guillaume Laplanche   +6 more
wiley   +1 more source

Software defect localization method based on defect report denoising and abstract syntax tree representation

Nantong Daxue xuebao. Ziran kexue ban
Automated defect localization methods can accelerate the process by which programmers use defect reports to pinpoint defect code in complex software systems.
SHI Xiangyu; JU Xiaolin; CHEN Xiang
doaj   +1 more source

Influence of Test Temperature and Test Frequency on Fatigue Life of Aluminum Alloy EN AW‐2618A

Advanced Engineering Materials, EarlyView.
The influence of test temperature and test frequency on the fatigue life of EN AW‐2618A is investigated. High‐cycle fatigue tests are performed at different test temperatures and frequencies on the 1000 h/230°C overaged state. Both test parameters reduce fatigue life due to time‐dependent damage mechanisms.
Ying Han, Julian M. Rosalie, Jan Radners, Mauro Madia, Philipp von Hartrott, Birgit Skrotzki   +5 more
wiley   +1 more source

Exploration of the scalability of LocFaults approach for error localization with While-loops programs [PDF]

, 2015
A model checker can produce a trace of counterexample, for an erroneous program, which is often long and difficult to understand. In general, the part about the loops is the largest among the instructions in this trace.
Bekkouche, Mohammed
core   +2 more sources

High‐Temperature Nanoindentation of Metals: Assessing Thermal Drift, Frame Compliance, and Chemical Composition Effects on the Reported Mechanical Properties

Advanced Engineering Materials, EarlyView.
Do not let thermal drift and instrument artifacts deceive high‐temperature nanoindentation results. We compare classical Oliver–Pharr and automatic image recognition analyses across steels and a Ni alloy to quantify these effects. Accounting for artifacts reveals systematic softening with temperature, while Cr and Ni additions boost resistance ...
Velislava Yonkova, Steffen Brinckmann, Ruth Schwaiger   +2 more
wiley   +1 more source

Cathodic Cage Plasma Deposition of Nanostructured Cu–Fe–Se Coatings on Poly(methyl Methacrylate)

Advanced Engineering Materials, EarlyView.
Nanostructured Cu–Fe–Se coatings are deposited on PMMA by a modified cathodic cage plasma process, enabling low‐temperature deposition on polymer substrates. A transition from discontinuous to compact morphology is observed with temperature, with optimal properties at 200°C, where improved CuFeSe2‐type bonding, lowest sheet resistance, and favorable ...
V. S. S. Sobrinho, M. Naeem, T. H. C. Costa, M. S. Libório, J. C. A. Queiroz, C. B. B. Luna, R. R. M. Sousa, P. S. Vieira, E. M. Araújo   +8 more
wiley   +1 more source

Bug Localization on Single-Line Bugs of Apache Commons Math Library

, 2019
Software bug localization is one of the most costly tasks in program repair technique. Therefore, there is a high claim for automated bug localization techniques that can monitor programmers to the locations of bugs, with slight human arbitration. Spectrum-based bug localization aims to help software developers to discover bugs rapidly by investigating
Oo, Cherry, Hnin Min Oo
openaire   +1 more source

Nanothermometry in Living Cells: Physical Limits, Conceptual and Material Challenges

Advanced Functional Materials, EarlyView.
Heat and temperature are fundamental to life. When nanothermometers began probing regions as small as a living cell, they triggered controversial claims of large intracellular temperature gradients. We review physical constraints energy‐conservation, entropy production, thermodynamic fluctuations, and molecular dynamics.
Taras Plakhotnik
wiley   +1 more source