中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
无权访问的条目 期刊论文
作者:  魏巍;  熊劲;  蒋德钧
Adobe PDF(620Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2012/07/26
静态检测中断驱动程序的数据竞争 期刊论文
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290
作者:  霍玮;  于洪涛;  冯晓兵;  张兆庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
微控制器  中断驱动程序  数据竞争检测  过程间数据流分析  副作用分析  
无权访问的条目 期刊论文
作者:  黄海林;  范东睿;  许彤;  朱鹏飞;  郑保建;  曹非;  陈亮
Adobe PDF(502Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/22
无权访问的条目 期刊论文
作者:  韩承德
Adobe PDF(318Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/03/30
无权访问的条目 期刊论文
作者:  唐志敏
Adobe PDF(226Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/03/30