Results 31 to 40 of about 23,085,941 (290)
Undecidability of static analysis [PDF]
ACM Letters on Programming Languages and Systems, 1992 Static analysis of programs is indispensable to any software tool, environment, or system that requires compile-time information about the semantics of programs. With the emergence of languages like C and LISP, static analysis of programs with dynamic storage and recursive data structures has become a field of active research.
openaire +2 more sources
The influence of bracing on the stress state of the ribbed-ring dome framework
Structural Mechanics of Engineering Constructions and Buildings, 2022 The aim of current research was to establish the relationship between the stress state of the ribbed-ring dome framework and the degree of its bracing. It was assumed that the meridional ribs and rings of the dome framework are made of metal.
Evgeny V. Lebed
doaj +1 more source
Buildings, 2022 The paper discusses the seismic vulnerability of structures susceptible to overcrowding due to their intended use. Specifically, it addresses the analysis towards earthquake actions of a masonry school located in the Municipality of San Giorgio a Cremano,
Assunta Paola Piccolo +2 more
doaj +1 more source
Static analysis of functional programs [PDF]
Information and Software Technology, 1995 In this paper, the static analysis of programs in the functional programming language Miranda is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of callgraphs. Standard software metrics are applicable to these models. A Miranda front end for Prometrix, a tool for the
van den Berg, Klaas, van den Broek, P.M.
openaire +2 more sources
Finite element analysis of train speed effect on dynamic response of steel bridge
Open Engineering, 2021 The development of materials engineering has facilitated the design of slender, light bridges replacing standard construction materials with others, which fulfil their purpose both in terms of structural behaviour and safety.
Jukowski Michał +2 more
doaj +1 more source
Parameterisation and Optimisation of a Hand-Rake Sweeper: Application in Olive Picking
Agriculture, 2020 Olive picking is one of the most common social agricultural activities in many regions of Andalusia where the predominant crop is the traditional olive grove. The machinery used includes shakers, blowers and essential, low-cost hand-rake sweepers.
Rafael E. Hidalgo Fernández +3 more
doaj +1 more source
A Hybrid Approach for Android Malicious Software Classification
Computing Open, 2023 Android operating systems have grown in popularity and are currently being increasingly used on smartphone devices. Because of the quickly expanding quantity of Android malware and the potential safeguard of vast amounts of data kept on Android devices ...
Deepon Deb Nath +3 more
doaj +1 more source
More Sound Static Handling of Java Reflection [PDF]
, 2014 Reflection is a highly dynamic language feature that poses grave problems for static analyses. In the Java setting, reflection is ubiquitous in large programs.
George Balatsouras +7 more
core +1 more source
Detection of Sensitive Malicious Android Functionalities Using Inter-Component Control-Flow Analysis
IEEE AccessAndroid Smartphone’s popularity among users and developers is due to its open architecture and third-party apps. The exponential growth of third-party developer apps needs a robust code audit before upload.
Rati Bhan +2 more
doaj +1 more source
A Fiber-Optic Six-Axis Force Sensor Based on a 3-UPU-Compliant Parallel Mechanism
Applied SciencesTraditional six-axis force sensors are mostly based on resistance strain, piezoelectricity and capacitors, which have poor resistance to electromagnetic interference.
Jiachen Ma +3 more
doaj +1 more source