Results 11 to 20 of about 508,047 (264)
Static Call Graph Combination to Simulate Dynamic Call Graph Behavior
IEEE Access, 2022 Call graphs are fundamental for many higher-level code analyses. The selection of the most appropriate call graph construction tool for an analysis is not always straightforward and depends on the purpose of the results’ further usage.
Zoltan Sagodi +4 more
doaj +1 more source
CoRR, 2022 The original unabridged version (with footnotes) of the Dr Dobb's Journal August 2012 cover ...
openaire +2 more sources
Android malware detection method based on deep neural network
网络与信息安全学报, 2020 Android is increasingly facing the threat of malware attacks. It is difficult to effectively detect large-sample and multi-class malware for traditional machine learning methods such as support vector machine, method for Android malware detection and ...
CHAO Fan, YANG Zhi, DU Xuehui, SUN Yan
doaj +1 more source
3D Printed Robot Hand Structure Using Four-Bar Linkage Mechanism for Prosthetic Application
Sensors, 2020 Trans-radial prosthesis is a wearable device that intends to help amputees under the elbow to replace the function of the missing anatomical segment that resembles an actual human hand.
Mohamad Aizat Abdul Wahit +4 more
doaj +1 more source
StaticFixer: From Static Analysis to Static Repair
CoRR, 2023 Static analysis tools are traditionally used to detect and flag programs that violate properties. We show that static analysis tools can also be used to perturb programs that satisfy a property to construct variants that violate the property. Using this insight we can construct paired data sets of unsafe-safe program pairs, and learn strategies to ...
Naman Jain +7 more
openaire +2 more sources
A Study on Optimal Power System Reinforcement Measures Following Renewable Energy Expansion
Energies, 2020 Renewable energy generation capacity in Korea is expected to reach about 63.8 GW by 2030 based on calculations using values from a power plan survey (Korea’s renewable energy power generation project plan implemented in September 2017) and the “3020 ...
Hyuk-Il Kwon +2 more
doaj +1 more source
Static Analysis of Steel Plates and Sections Retrofitted with FRP Plates by Finite Elements Modelling [PDF]
Journal of Structural and Construction Engineering, 2019 Nowadays the use of FRP composites for strengthening steel structures has been considered by researchers. In present study, The maximum deformation of steel plates and structural sections before and after strengthening by GFRP plates was evaluated by ...
Hossein Amoushahi, Mohammad Ghasemitabar
doaj +1 more source
Static Analysis of Android Programs [PDF]
Information and Software Technology, 2011 Context: Android is a programming language based on Java and an operating system for embedded and mobile devices, whose upper layers are written in the Android language itself. As a language, it features an extended eventbased library and dynamic inflation of graphical views from declarative XML layout files. A static analyzer for Android programs must
E. Payet, SPOTO, Nicola Fausto
openaire +5 more sources
The Journal of Logic and Algebraic Programming, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nataliya Skrypnyuk +2 more
openaire +2 more sources
Static analysis of deterministic negotiations [PDF]
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017 To appear in the Proceedings of LICS 2017, IEEE Computer ...
Javier Esparza +2 more
openaire +2 more sources