Results 51 to 60 of about 22,226,095 (257)
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 +5 more
doaj +2 more sources
Runtime-Efficient Meshing for Piecewise-Linear Complexes
, 2018 We present a new meshing algorithm to mesh an arbitrary piecewise-linear complex in three dimensions. The algorithm achieves an O(n logΔ + m) runtime where n, m, and Δ are the input size, the output size, and spread respectively.
Gary Miller (5414927) +1 more
core +1 more source
Timed Runtime Monitoring for Multiparty Conversations [PDF]
, 2014 We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial ...
Yoshida, N +8 more
core +1 more source
VB6 add GUI objects at runtime
, 2022 This Visual Basic 6.0 (VB6) demo shows how to make new objects at runtime. Shows how different types of objects (in this case a textbox object) can be created at runtime and whose properties can be modified as ...
Paul A. Gagniuc (1818325)
core +1 more source
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
Assumption-Based Runtime Verification of Infinite-State Systems
, 2021 Runtime Verification (RV) basically means monitoring an execution trace of a system under scrutiny and checking if the trace satisfies or violates a specification.
Chun Tian +2 more
core +1 more source
Advanced Engineering Materials, EarlyView.Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari +5 more
wiley +1 more source
Analysis of smart imaging runtime
Applied MicroscopySmart microscopy is a new imaging approach that involves rapid imaging, prediction of important subregions, then selective re-imaging. This approach has been validated in reducing imaging beam time in electron microscopy connectomics, but the speedup ...
Thomas Athey +9 more
doaj +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
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 +3 more
wiley +1 more source