Results 21 to 30 of about 34,628,233 (409)
Principles of Program Analysis [PDF]
Springer Berlin Heidelberg, 1999 F. Nielson, H. R. Nielson, C. Hankin
semanticscholar +2 more sources
A Continental Assessment of the Drivers of Tropical Deforestation With a Focus on Protected Areas
Frontiers in Conservation Science, 2022 Deforestation contributes to global greenhouse gas emissions and must be reduced if the 1.5°C limit to global warming is to be realized. Protected areas represent one intervention for decreasing forest loss and aiding conservation efforts, yet there is ...
Steffen Fritz +12 more
doaj +1 more source
Warfare Analysis of Logistics Agility in a Contested Environment [PDF]
, 2022 NPS NRP Project PosterThis research will examine Naval logistics support requirements during peacetime and conflict in the South China Sea through wargaming and analysis studies.
Jones, Marianna J. +3 more
core +2 more sources
Adult Education Research in Poland and Germany on the European Level: Two Sleeping Beauties?
Rocznik Andragogiczny, 2015 This paper analyzes Polish and German papers contributed to conferences of the European research society ESREA. The method “program analysis” is used.
Bernd Käpplinger
doaj +1 more source
A Feedback System Supporting Students Approaching a High-Level Programming Course
Applied Sciences, 2022 This study analyzes the mistakes students are prone to make in programming and uses the GDB and Valgrind tools to implement dynamic analysis techniques for their eventual application to programs created by students.
Jong-Yih Kuo +3 more
doaj +1 more source
Gamifying Program Analysis [PDF]
, 2015 Abstract interpretation is a powerful tool in program verification. Several commercial or industrial scale implementations of abstract interpretation have demonstrated that this approach can verify safety properties of real-world code. However, using abstract interpretation tools is not always simple.
Fava, D. +4 more
openaire +2 more sources
The Effects of Static Analysis for Dynamic Software Updating: An Exploratory Study
IEEE Access, 2020 Dynamic software updating (DSU) is the act of modifying software without stopping its execution. DSU is employed to preserve the high availability in the deployed software systems.
Babiker Hussien Ahmed +2 more
doaj +1 more source
A Cross-Prefetcher Schedule Optimization Methodology
IEEE Access, 2022 Prefetching offers the potential to significantly improve performance by speculatively loading application data so that it is available before it is needed. By their very nature, prefetching techniques are application behavior dependant.
Razvan Nitu +2 more
doaj +1 more source
Program Analysis of Commodity IoT Applications for Security and Privacy [PDF]
ACM Computing Surveys, 2018 Recent advances in Internet of Things (IoT) have enabled myriad domains such as smart homes, personal monitoring devices, and enhanced manufacturing.
Z. Celik +4 more
semanticscholar +1 more source