机构

• 计算技术研究所 [4]
• 软件研究所 [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [5]

发表日期

• 2011 [1]
• 2009 [2]
• 2006 [1]
• 2005 [1]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 别名集切片与并行化研究 期刊论文  OAI收割 计算机工程, 2011, 卷号: 37.0, 期号: 021, 页码: 6 作者:  桑春雷;  张兆庆   |  收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04 别名集切片  并行程序分析  切片技术  别名分析  程序检错   激进域敏感基于合并的指针分析 期刊论文  OAI收割 计算机学报, 2009, 期号: 第9期 作者:  于洪涛;  　　张兆庆   |  收藏  |  浏览/下载：9/0  |  提交时间：2010/10/18 　域敏感的  基于合并的  Ｓｔｅｅｎｓｇａａｒｄ风格  指针分析  别名分析   激进域敏感基于合并的指针分析 期刊论文  OAI收割 计算机学报, 2009, 卷号: 000, 期号: 009, 页码: 1722 作者:  于洪涛;  张兆庆   |  收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04 域敏感的  基于合并的  Steensgaard风格  指针分析  别名分析   多线程程序数据竞争的静态检测 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: 2, 页码: 329-335 吴萍; 陈意云; 张健   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/08/11 并发程序  程序分析  数据竞争  别名分析   动态内存错误的静态检测 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 3 作者:  张广梅;  李晓维   |  收藏  |  浏览/下载：9/0  |  提交时间：2010/11/23 动态内存错误  路径别名分析  稀疏控制流图  程序调用图