编译器

作品数：1272被引量：1266H指数：12
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张兆庆冯晓兵漆锋滨沈莉王飞更多>>
相关机构：国防科学技术大学中国科学院清华大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向深度学习编译器的多粒度量化框架支持与优化
《计算机工程》2025年第5期62-72,共11页魏铭康 李嘉楠 韩林 高伟 赵荣彩 王洪生 
河南省重大科技专项(221100210600)。
随着各大厂商对大模型应用部署需求的激增,深度学习编译器TVM(Tensor Virtual Machine)的单一量化方式精度下降,已无法满足部署需求。设计并构建一种可选粒度的模型量化框架,具体包括逐层与逐通道量化流程的支持,以及阈值搜索与自适应...
关键词：模型量化 模型部署 模型压缩 推理加速 深度学习编译器 
面向LoongArch边界检查访存指令的GCC优化
《计算机研究与发展》2025年第5期1136-1150,共15页舒燕君 郑翔宇 徐成华 黄沛 王永琪 周凡 张展 左德承 
国家自然科学基金项目(61202091,62171155)。
为了减少内存安全检查的开销,LoongArch指令集架构引入了边界检查访存类指令.然而,作为一种新的内存访问指令,目前GCC(GNU compiler collection)编译器不支持该类指令,LoongArch硬件能力不能得到充分利用.针对此LoongArch边界检查访存...
关键词：编译器优化 LoongArch GCC 边界检查访存 龙芯CPU 异常处理 内存安全 
面向深度学习编译器TVM的算子融合优化
《计算机科学》2025年第5期58-66,共9页高伟 王磊 李嘉楠 李帅龙 韩林 
河南省重大科技专项“国产先进计算平台创新生态及应用研究”(221100210600)。
算子融合是深度学习编译器中的一种编译优化技术,能够将多个算子合并为一个大的算子,有效降低计算和访存的成本。深度学习编译器TVM的算子融合方案中将算子按照功能特性进行分类,并设计融合规则,最后采用贪心算法进行融合。这种融合方...
关键词：深度学习编译器 TVM 算子融合 融合规则 动态规划 
FPGA Overlay处理器加速AI计算
《中国科学:信息科学》2025年第4期796-836,共41页何磊 王堃 吴晨 陶卓夫 时霄 苗斯元 陆少强 
“科创甬江2035”关键技术(批准号:2024Z283)资助项目。
目前,神经网络模型的计算复杂度与更新迭代速度正呈现出爆炸式增长的趋势.为了在设备上高效使用神经网络算法,加速神经网络的技术得到了学术界与工业界的关注.主流的神经网络加速器,主要包含两大类.第一类通常针对特定类型的神经网络进...
关键词：人工智能 现场可编程门阵列 专用定制加速器 通用覆盖加速处理器 编译器 硬件加速 
一种面向核工程一体化控制软件的编程编译工具
《四川大学学报(自然科学版)》2025年第2期508-512,共5页詹攀 梁建 韩华德 杨坤宾 邱董超 
四川省科技计划(2023YFG0101)。
国内的控制软件编程编译工具虽然形式多样,但普遍存在编译过程融合兼容性不高、对国产CPU芯片指令集的适配度低等问题,而国产编程编译软件则尚未在核工业领域得到充分验证.另一方面,为保障我国核工业的安全,迫切需要发展国产自主可控的...
关键词：核工程 编译器 PLC 国产芯片指令集 
科研玫瑰:书写科技华章
《科学通报》2025年第7期767-769,共3页王志珍 
在世界科学与技术的发展中,与其他社会、政治和经济生活中一样,尽管有许多女性作出了杰出贡献,如世界上第一位计算机程序员、第一个编译器的开发者、无线通信技术的发明者、阿波罗登月计划承担关键计算的数学家,都是女性,但她们的成就...
关键词：关键计算 编译器 无线通信技术 科学与技术 开发者 程序员 20世纪中叶 政治和经济 
一种基于TVM的自动调度搜索优化方法
《计算机科学》2025年第3期268-276,共9页韩林 王一帆 李嘉楠 高伟 
河南省重大科技专项(221100210600)。
随着人工智能的迅猛发展,新型算子与硬件不断涌现,算子库的开发和维护面临着巨大的挑战,仅仅依靠手工优化已无法满足AI模型性能提升的需求。Ansor是一种基于TVM的算子自动调度技术,可以针对不同的后端搜索深度学习模型或算子的最佳调度...
关键词：自动调度 TVM编译器 搜索速度优化 机器学习 强化学习 深度学习模型 
面向龙芯处理器的一种CompCert可信编译器重定向实现
《计算机科学》2024年第S02期747-755,共9页胡少儒 王隽伟 王生原 
国家重点研发计划(2022YFB3305204)。
CompCert是著名的C语言可信编译器,它借助于交互式定理证明工具Coq实现,能够确保生成的目标汇编代码保持源代码的语义,具有极高的可信度,近年来被广泛应用于学术界和工业界的许多安全攸关任务的研发工作中。CompCert编译器的当前版本支...
关键词：CompCert 编译器 编译器重定向 龙芯架构 形式化验证的编译器 COQ 
学习型操作系统和编译器研究综述
《首都师范大学学报（自然科学版）》2024年第6期49-61,共13页高萌涓 王艺达 孙静怡 桑可佳 王奕涵 徐远超 
北京市自然科学基金项目(4212017);处理器芯片全国重点实验室开放课题(CLQ202410)。
机器学习方法具有从大量数据中提取特征并动态优化系统性能的能力,然而机器学习赋能系统软件面临众多挑战。本文重点从学习型操作系统和学习型编译器2个方面回顾了机器学习在计算机系统中的应用,探讨了机器学习赋能系统软件的挑战以及...
关键词：机器学习 学习型 系统软件 操作系统 调度 编译器 
基于N-gram改进特征的ACFG在GCC编译器版本识别中的应用
《数学建模及其应用》2024年第4期86-98,共13页陈舒 董晨洋 叶慧斌 韩铨 钟秀艺 
福建省2023年本科高校教育教学研究项目(FBJY20230193)。
探讨基于N-gram改进特征的ACFG,与优化后的LightGBM分类器相结合,以实现对GCC编译器版本的精确识别.研究重点在于关键特征的提取和判别函数的构建.在识别编译结果的关键特征时,构建了N-gram关联模型,以关联寄存器与操作码的统计特征,确...
关键词：GCC编译器版本识别 N-GRAM ACFG LightGBM 
全选清除导出
共127页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部