搜索结果: 1-15 共查到“知识库 软件开发环境与开发技术”相关记录549条 . 查询时间(1.141 秒)
维哈柯文软件开发关键技术研究与应用
维哈柯文 软件开发 关键技术
2023/8/18
中国科学院软件研究所等提出代码审查意见自动生成新方法(图)
代码审查意见 自动生成 预训练模型
2022/9/14
开源软件供应链重大基础设施在开源生态“投毒”检测中获进展(图)
开源软件 供应链 开源生态 “投毒”检测
2022/9/14
TESTING THE IMPACT OF 2D GENERALISATION ON 3D MODELS – EXPLORING ANALYSIS OPTIONS WITH AN OFF-THE-SHELF SOFTWARE PACKAGE
3D generalisation 3D models 3D buildings simplification aggregation performance
2018/11/9
Popularity and diverse use of 3D city models has increased exponentially in the past few years, providing a more realistic impression and understanding of cities. Often, 3D city models are created by ...
A Development Environment for Horizontal Microcode
Development Environment Horizontal Microcode
2016/5/25
A Development Environment for Horizontal Microcode.
First-class Runtime Generation of High-performance Types using Exotypes
First-class Runtime Generation High-performance Types Exotypes
2016/5/24
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
Analysis of Application Sensitivity to System Performance Variability in a Dynamic Task Based Runtime
Application Sensitivity System Performance Variability Dynamic Task Based Runtime
2016/5/24
Application scalability can be significantly impacted by node level performance variability in HPC. While previous studies have demonstrated the impact of one source of variability,OS noise, in messag...
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...
Deep Learning of Feature Representation with Multiple Instance Learning for Medical Image Analysis
deep learning feature learning supervised un- supervised multiple instance learning
2016/1/22
This paper studies the effectiveness of accomplishing high-level tasks with a minimum of manual annotation and good feature rep-resentations for medical images. In medical image analysis, objects like...
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easily render the error ch...
From Uncertainty to Belief:Inferring the Specification Within
Uncertainty Belief Inferring the Specification Within
2015/8/7
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presents a novel framework ...
Under-constrained Execution:Making Automatic Code Destruction Easy and Scalable
Bug finding symbolic execution dynamic analysis
2015/8/7
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Ran...
KLEE:Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
KLEE Unassisted and Automatic Generation High-Coverage Tests Complex Systems Programs
2015/8/7
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to...