Results 31 to 40 of about 508,047 (264)
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 +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
Automated Generation of Test Cases for Smart Contract Security Analyzers
IEEE Access, 2020 We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper.
Ki Byung Kim, Jonghyup Lee
doaj +1 more source
Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development
Applied Sciences, 2022 With the increasing complexity of aircraft development programs, the development processes of aircraft and their subsystems are continuously becoming complicated, leading to the growing risks of development cost across the entire life cycle.
Junda Ma +5 more
doaj +1 more source
Methods for analyzing the impact of software changes on objective functions and safety functions
Российский технологический журналObjectives. This paper examines the various approaches to analyzing the impact of software changes, and suggests a new method using function control flows.
A. А. Legkodumov +3 more
doaj +1 more source
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
RUDN Journal of Engineering Research, 2020 The scientific work represents a research of the cutting process in order to determine the influence of the cutting tool extensions length from the tool holder and the cutting forces that occur during processing and corresponding to different values of ...
Dmitry G. Allenov +3 more
doaj +1 more source
Static Livelock Analysis in CSP [PDF]
, 2011 In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment. Such processes are said to diverge or livelock. In this paper we show how it is possible to conservatively classify processes as livelock-free through a static analysis of their syntax.
Joël Ouaknine +3 more
openaire +4 more sources
An Empirical Case Study on the Temporary File Smell in Dockerfiles
IEEE Access, 2019 Docker is widely used in data centers to host services. The docker image adopts a hierarchical storage architecture, which means that the docker image is composed of a set of filesystem layers.
Zhigang Lu +4 more
doaj +1 more source