Results 21 to 30 of about 26,063,160 (372)
Static Analysis of Functional Programs [PDF]
, 1994 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 ...
Berg, K.G. van den, Broek, P.M. van den
core +4 more sources
Static analysis of a multi-link suspension system used for the rear beam axles of vehicles [PDF]
Journal of Research and Innovation for Sustainable Society, 2023 The primary goal of the static analysis for the vehicle axle suspension systems consists in finding the equilibrium position of the mechanism in relation to the car body (which is considered the fixed reference part), under the action of the contact ...
Catalin Alexandru
doaj +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources
A Systematic Literature Review of Android Malware Detection Using Static Analysis
IEEE Access, 2020 Android malware has been in an increasing trend in recent years due to the pervasiveness of Android operating system. Android malware is installed and run on the smartphones without explicitly prompting the users or without the user’s permission, and it ...
Ya Pan +3 more
semanticscholar +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
Evolution of Primordial Protostellar Clouds --- Quasi-Static Analysis --- [PDF]
, 1998 The contraction processes of metal-free molecular clouds of starlike mass (or cloud cores) are investigated. We calculate radiative transfer of the H_2 lines and examine quasi-static contraction with radiative cooling. Comparing two time-scales, the free-
Nishi, Ryoichi +3 more
core +2 more sources
Structural analysis and optimum design of ECM machine tool based on variable density method
Journal of Hebei University of Science and Technology, 2019 In order to improve the precision and quality of electrochemical machining of complex surface/cavity parts, the design of horizontal electrochemical machine tool which can realize the compound feeding motion of straight line and rotation is carried out ...
Lunye SUN, Hao CHEN, Hui WANG, Zhibo FU
doaj +1 more source
A GCC-based checker for compliance with MISRA-C's single-translation-unit rules
Connection Science, 2023 MISRA-C is a writing specification for the C programming language defined by the Motor Industry Software Reliability Association (MISRA). It establishes a set of rules to enhance the development of software that is safe, reliable, and portable.
Chih-Yuan Chen +3 more
doaj +1 more source
A Simhash-Based Integrative Features Extraction Algorithm for Malware Detection
Algorithms, 2018 In the malware detection process, obfuscated malicious codes cannot be efficiently and accurately detected solely in the dynamic or static feature space.
Yihong Li +3 more
doaj +1 more source
Static analysis for discovering IoT vulnerabilities
International Journal on Software Tools for Technology Transfer (STTT), 2020 The Open Web Application Security Project (OWASP), released the “OWASP Top 10 Internet of Things 2018” list of the high-priority security vulnerabilities for IoT systems.
Pietro Ferrara +3 more
semanticscholar +1 more source