LLVM相关论文
面向最小化能耗的LLVM编译时优化研究工作还较为稀缺，而现有的设计空间搜索优化方法仍缺乏有效捕获和使用选项交互信息的手段，还存在......
移动通信与智能终端技术的发展在推动社会生活进步的同时,也给信息安全带来了严峻的挑战,移动操作系统和应用程序正面临着前所未有......
随着计算机与社会各方面的融合越来越密切,计算机被越来越多地用来解决各类科学问题。这些应用的特点在于需要对海量数据进行高效......
能耗作为嵌入式软件最重要的质量关注属性之一,如何降低嵌入式软件的执行能耗是当下的一个研究热点,特别是在一些电量受限且需要大......
线程级推测（Thread-Level Speculation,TLS）允许存在大量数据依赖的程序通过预先预测依赖值的方式激进地并行执行程序,获得并行收益......
通过自动向量化编译技术自动生成向量程序,以有效地利用微处理器底层SIMD硬件提升程序的执行性能,已成为编译器研究的一个重要方向......
指令选择将编译器的中间表示转换为针对各种编译目标进行优化的一系列目标平台机器指令,是经典编译器后端有效提升科学计算程序执......
随着摩尔定律的失效,通用处理器的发展逐渐逼近天花板,定制化处理器开始兴起。人工智能、大数据和通信技术的蓬勃发展,推动物联网......
为了能够生成正确、优化的机器指令代码,需要在编译器后端代码的生成阶段,设计和使用合适的程序栈帧布局.由于RISC-V向量扩展架构......
RISC-V指令集架构具有模块化、可扩展等特性.基于RISC-V架构的处理器,可以在整数指令集的基础之上,有选择地支持官方标准指令集扩......
GPU具备强大的数据并行处理与浮点计算能力,因而被越来越广泛地应用于数值模拟和科学计算等领域。但面对GPU的复杂硬件结构和完全......
在机器学习、人工智能等新兴领域中,定制化CPU和硬件、按需协同软硬件设计,能极大提高应用程序的性能、效率和安全性。但定制化CPU......
随着软件系统日益增长的复杂性以及应用的广泛性,其正确性、可靠性不可避免地成为了当今软件系统首当其冲需要解决的问题。而对于......
随着通用计算譬如3D图像处理、视频处理等对GPU的性能要求越来越高,异构设备得到了快速的发展,异构平台下的传统编程模型存在可移......
随着高性能计算在科学研究和海量数据处理中广泛应用,对高性能计算软件环境的完善成为了人们关注的焦点。编译技术作为软件和硬件......
自主可控是信息安全乃至国家安全的重要保障。随着国家自主可控战略的不断推进,涌现了一大批国产化的软硬件技术,如申威处理器、龙......
申威系列处理器是采用自主指令集且具有完全自主知识产权的国产通用处理器,已经成功应用在超级计算机、高性能服务器、存储系统、......
函数内联优化技术(Function Inlining)是使用函数体代替函数调用的一种重要的编译优化技术,其处理对象层次高、对程序性能影响大,......
随着计算机在人类社会各个领域的普及,软硬件系统的正确性问题已经备受关注,在过去的几十年里,形式化验证方法已成为保障软硬件系......
随着软件的广泛应用,其规模越大越大,复杂度越来越高,软件的安全问题也越发突出。如何保证软件系统的正确性、可靠性和安全性,是计......
