Results 111 to 120 of about 15,494 (304)
Program State Sensitive Parallel Fuzzing for Real World Software
IEEE Access, 2019 Fuzz testing is a widely used technique for software vulnerability detection, but it is still limited in finding bugs nested in the deep program states.
Jiaxi Ye +4 more
doaj +1 more source
A Dislocation Perspective on Strength and Toughness in Ceramics
Advanced Engineering Materials, EarlyView.Dislocations in ceramics enjoy a long but yet under‐appreciated history. The three research waves for dislocations in ceramics highlight the topic evolution over the last 90 years. This review focuses on the impact of dislocation on strength and toughness in ceramics.
Xufei Fang
wiley +1 more source
Program obfuscation as obstruction of program static analysis.
Труды Института системного программирования РАН, 2004 By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data structures or prevents the extracting of some valuable ...
K.S. Ivanov, V.A. Zakharov
doaj
Advanced Engineering Materials, EarlyView.Grain boundary triple junctions are an essential ingredient of the microstructure of polycrystalline materials. In this study, a triple junction is observed using atomic‐resolution scanning transmission electron microscopy and characterized. Computer simulations reveal that the junction has a dislocation character that is determined by the joining ...
Tobias Brink +4 more
wiley +1 more source
Understanding function behaviors through program slicing
, 1996 We present conditioned slicing as a general slicing framework for program comprehension. A conditioned slice consists of a subset of program statements which preserves the behavior of the original program with respect to a set of program executions.
FASOLINO, ANNA RITA +5 more
core +1 more source
Tiling arbitrarily nested loops by means of the transitive
International Journal of Applied Mathematics and Computer Science, 2016 A novel approach to generation of tiled code for arbitrarily nested loops is presented. It is derived via a combination of the polyhedral and iteration space slicing frameworks. Instead of program transformations represented by a set of affine functions,
Bielecki Włodzimierz, Pałkowski Marek
doaj +1 more source
Advanced Engineering Materials, EarlyView.This work studies the anisotropic behavior of circular notched tensile specimens of Ni‐base superalloy single crystals during high‐temperature tensile creep along [001], [110], and [111]. Correlative scale‐bridging imaging of specimens reveals early rupture along [110] because 1) plastic deformation proceeds faster at notch center; 2) more (brittle ...
Leonardo Agudo Jácome +6 more
wiley +1 more source
Slicing of Constraint Logic Programs
, 1998 Slicing is a program analysis technique originally developed for imperative languages. It facilitates understanding of data flow and debugging. This paper discusses slicing of Constraint Logic Programs. Constraint Logic Programming (CLP) is an emerging software technology with a growing number of applications.
Szilágyi, Gyöngyi +2 more
openaire +3 more sources
Spatially Modulated Morphotropic Phase Boundaries in a Compressively Strained Multiferroic Thin Film
Advanced Functional Materials, EarlyView.ABSTRACT The coexisting rhombohedral‐like (R′, MA) and tetragonal‐like (T′, MC) monoclinic phases in compressively strained bismuth ferrite thin films exhibit exceptional piezoelectric and magnetic properties. While previous studies have largely focused on probing the morphotropic phase boundaries (MPBs) comprising ordered R′/T′ twins, their self ...
Ting‐Ran Liu +7 more
wiley +1 more source
Database Queries that Explain their Work
, 2014 Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to recompute the ...
Cheney, James +7 more
core +1 more source