承担国家项目资助发文

评价性排序:

共有记录16条

序号	题名	作者	文献来源	发表年份	被引频次	下载频次
1	基于逻辑的程序验证方法在高可信软件开发上的应用	项森	中国优秀博硕士学位论文全文数据库 (博士)	2006	0	472
2	利用程序分析和优化提高Cache性能	付雄	中国博士学位论文全文数据库	2007	0	113
3	一种用于Java虚拟机的类型化低级语言	陈晖;陈意云;吴萍;项森;	计算机研究与发展	2006	1	63
4	一种类型化低级语言的设计与应用	陈晖;陈意云;项森;	小型微型计算机系统	2006	0	26
5	带谓词的XPath查询的即时处理	吴年;张昱;	计算机工程	2006	1	44
6	基于Coq构造携带证明的安全程序	郭丽;陈意云;李隆;李兆鹏;	计算机工程与应用	2006	0	43
7	移动计算系统信息流安全	黄海军;陈意云;	小型微型计算机系统	2006	1	54
8	XSIEQ—一种立即计算的XML流查询系统	张昱;吴年;	小型微型计算机系统	2006	1	27
9	基于复用距离的cache失效率分析	付雄;张昱;陈意云;	小型微型计算机系统	2006	1	13
10	一个支持位运算形式化推理的抽象机	项森;陈意云;林春晓;	小型微型计算机系统	2007	0	12
11	用数据流分析方法检查程序信息流安全	黄海军;陈意云;	小型微型计算机系统	2007	0	117
12	动态存储管理安全验证的Coq实现	项森;陈意云;林春晓;李隆;	计算机研究与发展	2007	1	144
13	分布式计算系统信息流安全	黄海军;陈意云;	小型微型计算机系统	2007	1	204
14	一种逐层提升缓冲的XML流查询自动机	张昱;吴年;	小型微型计算机系统	2007	3	52
15	基于抽象解释的代码迷惑有效性比较框架	高鹰;陈意云;	计算机学报	2007	2	85

1 2 下页