Results 61 to 70 of about 45,458 (300)

Fault localization approach for null pointer exception

Tongxin xuebao, 2015
A novel approach to locate the fault for null pointer exception is presented.The approach first computes the static slice guided by the runtime stack,then conducts a null-pointer analysis and aliases analysis on the sliced program and obtains the ...
Shu-juan JIANG, Xing-ya WANG, Yan-mei ZHANG, Wei LI, Xiao-lin JU, IUYing-qi L   +5 more
doaj   +2 more sources

DfAnalyzer: Runtime dataflow analysis tool for Computational Science and Engineering applications

SoftwareX, 2020
DfAnalyzer is a tool for monitoring, debugging, and analyzing dataflows generated by Computational Science and Engineering (CSE) applications. It collects strategic raw data, registering provenance data, and enabling query processing, all asynchronously ...
Vítor Silva, Vinícius Campos, Thaylon Guedes, José Camata, Daniel de Oliveira, Alvaro L.G.A. Coutinho, Patrick Valduriez, Marta Mattoso   +7 more
doaj   +1 more source

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs [PDF]

Logical Methods in Computer Science, 2012
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs. Following our work on Astr\'ee, we focus on embedded critical programs without recursion nor dynamic memory allocation, but ...
Antoine Miné
doaj   +1 more source

On the runtime analysis of the 1-ANT ACO algorithm [PDF]

Proceedings of the 9th annual conference on Genetic and evolutionary computation, 2007
The runtime analysis of randomized search heuristics is a growing field where, in the last two decades, many rigorous results have been obtained. These results, however, apply particularly to classical search heuristics such as Evolutionary Algorithms (EAs) and Simulated Annealing.
Benjamin Doerr, Frank Neumann 0001, Dirk Sudholt, Carsten Witt   +3 more
openaire   +2 more sources

Residual Runtime Verification via Reachability Analysis [PDF]

, 2022
International audienceWe leverage static verification to reduce monitoring overhead when runtime verifying a property. We present a sound and efficient analysis to statically find safe execution paths in the control flow at the intra-procedural level of ...
Falcone, Yliès
core  

Inverse Identification of Energy‐Dependent Laser Absorptivity in NiTi Laser Powder‐Bed Fusion via Calibrated Melt Pool Simulation

Advanced Engineering Materials, EarlyView.
A combined experimental–computational framework identifies energy‐dependent laser absorptivity for NiTi in laser powder‐bed fusion, applicable to conduction and transition modes. Single‐track experiments and thermofluid smoothed particle hydrodynamics simulations are coupled through inverse analysis of melt pool geometry.
Mohamadreza Afrasiabi, Hadi Moutablaleh, Ignatius A. Setiawan, Mehrshad Mehrpouya   +3 more
wiley   +1 more source

Solution‐Processed Two‐Dimensional Indium Oxide on Sodium‐Embedded Alumina for Reconfigurable Optoelectronic Synaptic Transistors

Advanced Functional Materials, EarlyView.
Wafer‐scale two‐dimensioanl In2Se3 oxidized into InOx on sodium‐embedded beta‐alumina enables multifunctional reconfigurable electronics. Sodium ions accumulate within distinct spatial distribution under drain‐controlle and gate‐controlled operation. Drain‐control operation gives controllability of ultraviolet‐driven optoelectronic synaptic conductance
Jinhong Min, Yonghyun Albert Kwon, Hyunbin Kim, Jihyun Kim, Myeongjin Jung, Jaewon Heo, Gwang Ya Kim, Vlastimil Mazanek, Zdeněk Sofer, In Soo Kim, Jeong Ho Cho, Hyesung Park, Sang Min Won, Joohoon Kang   +13 more
wiley   +1 more source

The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems

, 2017
International audienceA major challenge for the European electronic industry is to enhance productivity while reducing costs and ensuring quality in development, integration and maintenance.
Smrz, Pavel, Pavel Smrz, Silvia Mazzini, Afzal, Wasif,, Pomante, Luigi,, Field, Daniel,, Wasif Afzal, Bruneliere, Hugo, Hugo Bruneliere, Andrey Sadovykh, Bruneliere, Hugo,, Di Ruscio, Davide, Eric Cariou, Jordi Cabot, Di Ruscio, Davide,, Truscan, Dragos, Sadovykh, Andrey,, Mazzini, Silvia, Luigi Pomante, Cariou, Eric,, Smrz, Pavel,, Sadovykh, Andrey, Cabot, Jordi,, Pomante, Luigi, Dragos Truscan, Davide Di Ruscio, Daniel Field, Cariou, Eric, Truscan, Dragos,, Cabot, Jordi, Mazzini, Silvia,, Field, Daniel, Afzal, Wasif   +32 more
core   +1 more source

Advanced Design for Weakly Coupled Resonators by Automatic Active Optimization

Advanced Materials Technologies, EarlyView.
An Automatic Active Optimization (AAO) strategy integrates machine learning predictors and genetic algorithms in a closed‐loop workflow. By iteratively expanding its dataset with new discoveries, AAO overcomes the limits of conventional methods. This approach finds superior microstructural designs beyond the initial sample space. We demonstrate this on
Wei Yue, Yuan Gao, Fanping Sui, Jason Wang, Megan Teng, Peggy Tsao, Huicong Deng, Yande Peng, Liwei Lin   +8 more
wiley   +1 more source

Run-Time Recovery and Failure Analysis of Time-Triggered Traffic in Time Sensitive Networks

IEEE Access, 2021
Reliability is one of the major concerns of Time Sensitive Networking (TSN). Current systems mostly rely on static redundancy to protect functionality from permanent component failures.
Weijiang Kong, Majid Nabi, Kees Goossens
doaj   +1 more source