Results 11 to 20 of about 37,485,858 (384)
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
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
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
Journal of Applied Crystallography, 2021 CrystalExplorer is a native cross-platform program for the visualization and investigation of molecular crystal structures.
Peter R. Spackman +6 more
semanticscholar +1 more source
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
Combining Program Analysis and Statistical Language Model for Code Statement Completion [PDF]
International Conference on Automated Software Engineering, 2019 Automatic code completion helps improve developers' productivity in their programming tasks. A program contains instructions expressed via code statements, which are considered as the basic units of program execution.
S. Nguyen +3 more
semanticscholar +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. B. Celik +4 more
semanticscholar +1 more source
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
Integer polyhedra for program analysis [PDF]
, 2009 Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the ...
A. Barvinok +19 more
core +2 more sources