搜索结果: 1-15 共查到“知识库 软件开发环境与开发技术”相关记录549条 . 查询时间(0.415 秒)
维哈柯文软件开发关键技术研究与应用
维哈柯文 软件开发 关键技术
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...