编译程序、解释程序属于《中国图书分类法》中的五级类目,该分类相关的期刊文献有2272篇,会议文献有205篇,学位文献有595篇等,编译程序、解释程序的主要作者有赵荣彩、张兆庆、杨学军,编译程序、解释程序的主要机构有国防科学技术大学计算机学院、国防科技大学计算机学院、数学工程与先进计算国家重点实验室等。
统计的文献类型来源于 期刊论文、 学位论文、 会议论文
1.[期刊]
摘要: 在分簇VLIW DSP上,指令分簇是一项对程序性能有重要影响的编译优化,但现有的指令分簇算法只能处理顺序的程序区域,且难以获得最佳的分簇方案。针对这些问题,提...
2.[期刊]
摘要: stencil循环是科学与工程计算应用中最主要的计算核心之一。循环分块技术可有效改善stencil循环的数据局部性,提高计算并行度。分块的大小选择对stenc...
3.[期刊]
摘要: 乘用车顶部抗压强度试验是汽车安全中的重要考核标准之一。通过对国内外强制性以及企业标准的研究,设计了一种可实现压头角度可调的乘用车顶压设备,配以乘用车通用安装夹...
4.[期刊]
摘要: 不同框架深度学习模型部署是人工智能落地的核心,然而模型计算量和参数量过大、编程模型未统一导致了各种新型的专用卷积神经网络(CNN)加速器层出不穷,增加了模型的...
5.[期刊]
摘要: 在现代处理器中,具有向量处理单元的VLIW体系结构逐渐成为高性能DSP体系结构的典型代表。基于这类体系结构的寄存器资源丰富、执行单元多等特点,研究了相应的循环...
6.[期刊]
摘要: 安全芯片开放式架构实现了用户程序和操作系统的分离,降低了应用程序与安全芯片操作系统的耦合性,但同时存在国外垄断、执行效率低、内存易泄露等弊端。对于搭载了开放式...
7.[期刊]
摘要: 分散控制系统(DCS)是火电机组的“神经中枢”,但其核心软硬件自主化率较低,对外依存度较高。在分析DCS应用及国产化现状基础上,介绍了国内首套全国产DCS—华...
8.[期刊]
摘要: 分散控制系统(DCS)经常需要监视一些重要测点的极值,传统方法是导入专门的外部计算系统,或者通过组态工具搭建复杂的功能块来计算测点极值,这会影响DCS的稳定性...
9.[期刊]
摘要: 智慧教育运用人工智能等技术来实现教育的智能化,将智慧教育应用到电气类高校教学、注册电气工程师考试和电网员工入职培训等领域,有助于学生和工作人员快速掌握电气专业...
10.[期刊]
摘要: 在信息时代,教育质量的评价方式逐渐偏向于学习过程,而其中最重要的一个评价方式就是学习投入。因此,研究中学生在信息技术课堂的学习投入对提高课程教学质量、培养学生...
11.[期刊]
摘要: 在核安全级DCS平台和睦系统中,安全控制显示装置提供基于VDU技术的设备操作(如专设安全设施等)及电站安全参数监视显示功能。安全控制显示装置是一种满足核安全级...
12.[期刊]
摘要: 作为SIMD扩展部件向量化的重要手段,自动向量化已在LLVM编译器中得到实现,但向量长度以及指令集功能的差异,导致国产平台在自动向量化过程中容易错失向量化机会...
13.[期刊]
摘要: “计算机图形学”与多个学科存在交叉情况,借助计算机使用数学算法与编程语言生成图形,可绘制出三维、二维图形。其主要包含四个部分,分别是建模、渲染、动画、人机交互...
14.[期刊]
摘要: 现代编译器提供的优化选项众多,选择何种参数因子、选择哪些选项组合以及以何种顺序应用这些选项成为复杂的问题,其中优化次序问题是最困难的优化问题。随着传统方法的改...
15.[期刊]
摘要: XML指可扩展标记语言,可用来存储和传输数据。各行业基于XML语言制订一系列标准,然而,目前对于依据标准生成XML文档的标准符合性并没有通用工具可进行数据验证...
16.[期刊]
摘要: 依据工控系统的特点,在分析现有工控系统编程标准IEC61131-3规定的工业语言基础上,研究基于工业语言的形式化验证方法,通过对ST和LD语言进行分析得到有限...
17.[期刊]
摘要: 主控系统是风电机组的控制核心,但其国产自主化程度很低,对外依赖较大,是风电设备最薄弱的环节。在分析风电机组主控系统国产化现状的基础上,介绍了国内首批100%国...
18.[期刊]
摘要: 循环展开是一种常用的编译优化技术,能够有效减少循环开销,提升指令级并行程度和数据局部性,提升循环的执行效能。然而,过度的循环展开会造成指令Cache溢出,增大...
19.[期刊]
摘要: GNU Octave是一款数值计算软件,具有免费、开源以及几乎完全兼容MATLAB语言的优点。然而,Octave内置的基于LLVM的实验性即时编译器仅支持对少...
20.[期刊]
摘要: 针对传统自由边界平面域共形参数化在模型表面曲面从三维空间共形映射到二维参数域空间时无法保证原有模型对称性的问题,提出了一种基于空间几何信息的保对称性共形参数化...
1.[会议]
摘要: 近年来Android恶意代码分析技术不断进步,已经取得了一些重要的研究成果,对恶意代码的传播及其造成的危害起到了有效的遏制作用.随着Android应用程序检测...
2.[会议]
摘要: 事务内存是一种扩展性好、易于编程的并行编程模型,其核心技术在于事务冲突的检测和处理.已有研究工作主要关注于冲突检测机制,但缺少对如何减少事务冲突的深入研究.分...
3.[会议]
摘要: 文章根据不同的核电工况要求,提出了堆芯计算模块的集成与组合计算要求,设计了脚本指令语言解释器.工程设计人员编写具有逻辑的语言指令,解释器通过读取语言指令进行语...
4.[会议]
摘要: 通过引进国外知名高校的编译原理MOOC课程,探讨MOOC和翻转课堂相结合的混合式教学在编译原理全英教学中的应用,提出编译原理全英混合式教学的实施方案,对课程的...
5.[会议]
摘要: 针对新工科建设形势下,原有编译实验课程面临广度与深度不足、管理方式有待改进、个性化及技术前沿性不足等方面的挑战,分析国外一流高校编译实验课程设计的特点,提出基...
6.[会议]
摘要: 针对计算机及相关专业本科毕业生在就业过程中暴露出的对编译过程理解不足、动手能力差等问题,阐述开源编译器LLVM的广泛使用和模块化设计的优势,提出结合LLVM的...
7.[会议]
摘要: 编译原理的新概念、新算法和新理论比较多,被高校计算机及软件专业学生视为最难以掌握的专业基础课之一.针对课程教学中难点比较集中的问题,为了让学生能平缓地接受该课...
8.[会议]
摘要: 介绍异构计算及硬件加速,针对OpenCL和FPGA进行研究并开展实验,探究FPGA的性能变化.以矩阵相乘为例,将OpenCL代码在Altera Stratix...
9.[会议]
摘要: 编译原理是计算机专业的一门重要核心课程.本文根据编译原理课程特点,针对编译原理课程教学中存在的理论性强,难于理解的情况,基于国内学者相关研究的基础上,提出了案...
10.[会议]
摘要: 随着半导体制造工艺的快速发展,处理器设计在21世纪初已从单核转向多核,现在处于大规模多核时代,以后直至众核时代.缓存是弥补内存与处理器性能差异的重要部件,极大...
11.[会议]
摘要: 静态随机存储器(SRAM)编译器是一种能根据用户不同需求,产生相应的容量大小的硅编译器.本文提出了一种快速通用的SRAM编译器设计方法,这种编译器的设计思想是...
12.[会议]
摘要: Matrix2DSP是由国防科学技术大学微电子所自主研发基于GCC支持64位指令的DSP,计算中有大量的32位操作.GCC是自由软件协会开发的支持多语言、平台...
13.[会议]
摘要: Matrix DSP是一款用于无线通信领域的高性能DSP处理器,具有创新的体系结构和指令集,其应用的特殊性要求编译器系统必须支持一些不规则的指令,如无符号运算...
14.[会议]
摘要: 国内外著名大学均开设有编译原理相关课程。完整的编译课程体系需建立在计算机体系结构、形式语言理论、程序设计方法学、软件工程等知识积淀之上。编译技术课程体系建设的...
15.[会议]
摘要: 验证与确认已成为数值计算程序可靠性校验和评估的关键方法,对产生高质量数值模拟程序具有重要意义.本文介绍了验证与确认的基本概念、主要目标和数值模拟误差的主要来源...
16.[会议]
摘要: 当前Node.JS在Web服务方面得到了广泛的关注和应用,Node.JS采用了一个称为“事件循环(event loop)”的架构,可以快捷地编写出可扩展性高的...
17.[会议]
摘要: 基于机器学习的迭代编译方法可以在对新程序进行迭代编译时,有效预测新程序的最佳优化参数组合.现有方法在模型训练过程中存在优化参数组合搜索效率较低,程序特征表示不...
18.[会议]
摘要: 循环展开是一种非常重要的循环变换技术,不仅能够直接提高程序的性能,而且可以为其它优化创造优化机会.当前编译器通常使用性能模型来确定循环展开决策,但是性能模型很...
19.[会议]
摘要: 本文重点论述了城市三维地质可视化系统的设计思想,包括系统目标、系统框架及主要功能、数据分析及处理流程和实现的功能.从总体设计、数据库构建、主要模块设计进行了详...
20.[会议]
摘要: 现有的OpenMP代价模型较为简单,既没有充分考虑OpenMP程序的执行细节,也无法适应不同的循环并行执行方式.针对上述问题,对最先进的产品级优化编译器Ope...
1.[学位]
从Murphi到Ocaml语言的编译器及其在模型检测中的应用
摘要: 随着计算机技术的迅速发展,软硬件系统正不断的向越来越多的领域渗透,这使得系统功能越来越强大,复杂度也越来越高,对系统可靠性和安全性提出了更高的要求。应用传统的...
2.[学位]
摘要: 近年来,集成电路工艺得到了巨大发展,使得在单芯片上集成多个处理器核来完成更复杂、更大型的计算任务成为可能。多核处理器分为同构多核处理器和异构多核处理器,异构多...
3.[学位]
摘要: 随着多队列万兆网卡的普及,内核网络包I/O子系统的低效性越发突显。学术界和工业界为了解决这一问题而提出的高性能用户空间包I/O框架逐渐成为构建高性能网络系统的...
4.[学位]
摘要: BWDSP是一款采用分簇体系结构、支持SIMD的16发射的VLIW浮点运算数字信号处理器。由于其具有强大的并行处理能力,能够较好得满足实时信号处理的要求,被广...
5.[学位]
摘要: BWDSP104X是一款高性能的32位浮点DSP,该体系结构提供了包含浮点以及定点的算术与逻辑等基本的运算指令、数据传输指令、双字指令以及非运算类的指令。为了...
6.[学位]
摘要: 业务流程模型变化域分析是业务流程管理的重要内容,目的是为了灵活地适应变化的商务需求。由于用户对计算机这一系统的需求越来越高,建模者需要面对各方面的变化域(安全...
7.[学位]
摘要: 经过半个世纪的研宄和实践,成就了现在编译技术。在现代计算机科学中,编译程序是屈指可数的抽象概念彻底改变程序编写方式的领域之一,是现代计算机技术中最重要的应用基...
8.[学位]
摘要: 传统的C、C++、Java等编译系统大而全,集成了大量的库和框架,足让开发者使用非常方便,却不利于开发者对编译理论与技术的理解。本文针对上述问题,研究了简单的...
9.[学位]
摘要: 现场可编程门阵列(Field Programmable Gate Arrays,FPGA)是一种可编程器件,能够弥补专用以及通用器件开发周期长、成本高的缺点,...
10.[学位]
摘要: 随着计算机在人类社会各个领域的普及,软硬件系统的正确性问题已经备受关注,在过去的几十年里,形式化验证方法已成为保障软硬件系统正确性的重要途径。其中,时序逻辑由...
11.[学位]
摘要: 随着计算机科学技术的不断进步,人们对计算机应用的需求日益迫切,进而对软件的质量提出更高的要求和期望。如何有效的管理内存,防止泄漏成为突出的问题。内存泄漏是一种...
12.[学位]
摘要: 随着数字处理芯片(Digital Signal Processor,DSP)在航空、航天、雷达、声纳、通信以及家用电器等各个领域的应用,DSP设计技术得到业界...
13.[学位]
摘要: 现代大规模的软件系统一般都是建立在第三方程序库之上的,比如大家所熟知的Java类库。但是,第三方程序库往往对其提供的接口规定了一些调用规约,软件开发人员必须遵...
14.[学位]
摘要: 随着多核处理器的发展,为了解决多核处理器上编程复杂的状况,数据流编程模型被提出。现存的数据流编程模型中,主要使用的是完全静态的调度,虽然性能有很大提升,但是并...
15.[学位]
摘要: 程序安全漏洞对用户隐私和安全构成了巨大威胁。传统研究侧重于安全漏洞的检测,在运行时防御、动态检测和静态检测等方面做了大量工作。这些检测工作虽然发现了一大批未分...
16.[学位]
摘要: 信息时代的到来使计算机程序、嵌入式硬件和无线通信技术相关的教育日益重要。近年无论国内还是国外相关教育的启蒙年龄逐渐低龄化,而且人才缺口越来越大,中小学生有必要...
17.[学位]
摘要: 近年来,FPGA(Field Programmable Gate Array)技术飞速发展,由于其具备低功耗、可配置和可高度并行化的特点,成为计算密集型和大数...