中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共12条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
一种提高时序安全属性静态检测实用性的方法 期刊论文
计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244
作者:  霍玮;  李丰;  丁兆伟;  桑春雷;  张兆庆;  冯晓兵
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
有限状态自动机  时序安全属性  切片技术  程序静态检测  F-衡量  
提高堆数据局部性的动态池分配技术 期刊论文
计算机学报, 2011, 卷号: 34.0, 期号: 004, 页码: 665
作者:  王振江;  武成岗;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
池分配  变长调用链  亲缘性  数据布局  动态优化  
激进域敏感基于合并的指针分析 期刊论文
计算机学报, 2009, 卷号: 000, 期号: 009, 页码: 1722
作者:  于洪涛;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
域敏感的  基于合并的  Steensgaard风格  指针分析  别名分析  
无权访问的条目 期刊论文
作者:  张军超;  连瑞琦;  张兆庆
Adobe PDF(203Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/22
多寄存器组网络处理器上的寄存器分配技术 期刊论文
计算机学报, 2006, 卷号: 29.0, 期号: 1.0, 页码: 66
作者:  张军超;  连瑞琦;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
寄存器分配  网络处理器  多寄存器组  
控制与数据投机优化技术的研究 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 007, 页码: 881
作者:  干戈;  连瑞琦;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
投机执行  控制投机  数据投机  投机链  恢复代码  瀑式投机  
ORC的全局指令调度技术 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 005, 页码: 577
作者:  张兆庆;  杨书鑫
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
IA-64  全局指令调度  Itanium处理机  Bernstein算法  P—Ready  层次化区域  编译器  
优化RSE开销的过程间栈寄存器分配 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 009, 页码: 1198
作者:  刘旸;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
寄存器栈  寄存器栈引擎  寄存器栈溢出／载入  
基于域的编译框架 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 002, 页码: 188
作者:  刘旸;  张兆庆;  乔如良
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
域  编译框架  单入多出域  多入多出域  尾复制比率  主出口概率  编译程序  程序划分法  编译器  
分布存储系统中优化通信的冗余计算分割 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 002, 页码: 180
作者:  陈莉;  张兆庆;  冯晓兵
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
分布存储系统  冗余计算分割  并行编译  冗余计算  计算分割  通信优化