静态单赋值相关论文
现代数字信号处理器(DSP)一般采取超长指令字或是超标量来实现指令级并行。超长指令字(VLIW)数字信号处理器将并行任务的识别和调......
基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转（dominatorfrontier inverse,DFI）来同时为多个变量摆放Φ函......
针对现有可信指针分析技术中关于精度和效率之间的取舍和权衡的不足,提出一种需求驱动的可信指针分析技术。该技术通过扩展SSA形式......
BSD包过滤器（BSD Packet Filter,BPF）是BSD Unix操作系统提供的网络数据包捕获及过滤机制的内核组件.该文描述了BPF的组成及工作过程......
介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的......
随着多核处理器在多媒体计算、嵌入式设备、个人计算机、商用服务器和高性能计算机等众多领域的广泛应用,人类正面临着自计算机诞......
