Results 31 to 40 of about 34,628,233 (409)
SOF-MAGTF Capabilities Integrations Analysis and Operational Modeling (Continuation) [PDF]
, 2022 NPS NRP Technical ReportThis research, working in conjunction with ongoing NPS and MCWL efforts examining Expeditionary Advance Base Operations (EABO), will examine SOF-MAGTF Capabilities Integrations in a future Distributed Maritime Operations (DMO ...
Kline, Jeffery E. +4 more
core +4 more sources
Towards Distributed Memory Parallel Program Analysis [PDF]
, 2008 Our work presents a parallel attribute evaluation for distributed memory parallel computer architectures where previously only shared memory parallel support for this technique has been developed.
Quinlan, Daniel J. +2 more
core +2 more sources
The Influence of Alias and References Escape on Java Program Analysis [PDF]
International Journal of Networked and Distributed Computing (IJNDC), 2015 The alias and references escape are often used in Java programs. They bring much convenience to the developers, but, at the same time, they also give adverse affects on the data flow and control flow of program during program analysis.
Shengbo Chen, Dashen Sun, Huaikou Miao
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
CoRR, 2023 2LS ("tools") is a verification tool for C programs, built upon the CPROVER framework. It allows one to verify user-specified assertions, memory safety properties (e.g. buffer overflows), numerical overflows, division by zero, memory leaks, and termination properties.
Daniel Kroening +3 more
openaire +2 more sources
GDBMiner: Mining Precise Input Grammars on (Almost) Any System [PDF]
Leibniz Transactions on Embedded SystemsIf one knows the input language of the system to be tested, one can generate inputs in a very efficient manner. Grammar-based fuzzers, for instance, produce inputs that are syntactically valid by construction.
Eisele, Max +3 more
doaj +1 more source
European Journal for Research on the Education and Learning of Adults, 2015 Adult education research is frequently an own subject of research. Such research is often focused on the analysis of journals. This paper will instead analyse triennial research conferences of the European Society for the Research on Adults (ESREA ...
Bernd Köpplinger
doaj +1 more source
IEEE Access, 2020 Tree comparison is an important method in various areas. In order to compare class hierarchy in object-oriented languages, there is a need to compare trees in the context of the hierarchy changes.
Danijel Mlinaric +2 more
doaj +1 more source
Re_Trans: Combined Retrieval and Transformer Model for Source Code Summarization
Entropy, 2022 Source code summarization (SCS) is a natural language description of source code functionality. It can help developers understand programs and maintain software efficiently.
Chunyan Zhang +5 more
doaj +1 more source
oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis [PDF]
IEEE Transactions on Software Engineering, 2018 The Spectre vulnerability in modern processors has been widely reported. The key insight in this vulnerability is that speculative execution in processors can be misused to access the secrets.
Guanhua Wang +4 more
semanticscholar +1 more source