Results 41 to 50 of about 2,452,454 (285)
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
Heap Abstractions for Static Analysis [PDF]
, 2015 Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed.
Kanvar, Vini, Khedker, Uday P.
core +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
Static analysis of SEU effects on software applications [PDF]
, 2002 Control flow errors have been widely addressed in literature as a possible threat to the dependability of computer systems, and many clever techniques have been proposed to detect and tolerate them.
Benso, Alfredo +3 more
core +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
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
Mira: A Framework for Static Performance Analysis
, 2017 The performance model of an application can pro- vide understanding about its runtime behavior on particular hardware. Such information can be analyzed by developers for performance tuning.
Meng, Kewen, Norris, Boyana
core +1 more source
A static cost analysis for a higher-order language [PDF]
, 2012 We develop a static complexity analysis for a higher-order functional language with structural list recursion. The complexity of an expression is a pair consisting of a cost and a potential.
Danner, N., Paykin, J., Royer, J. S.
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source