中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
静态检测中断驱动程序的数据竞争 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290
作者:  霍玮;  于洪涛;  冯晓兵;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
微控制器  中断驱动程序  数据竞争检测  过程间数据流分析  副作用分析  
基于包含的指针分析优化技术综述 期刊论文
计算机学报, 2011, 卷号: 34.0, 期号: 007, 页码: 1224
作者:  陈聪明;  霍玮;  于洪涛;  冯晓兵
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
指针分析  Andersen风格  指向集  约束图  流不敏感  
激进域敏感基于合并的指针分析 期刊论文
计算机学报, 2009, 卷号: 000, 期号: 009, 页码: 1722
作者:  于洪涛;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
域敏感的  基于合并的  Steensgaard风格  指针分析  别名分析