中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 41-50 of 95)

Filters    
Items/Page:    Sort:
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 
以太网三层交换机关键技术的研究与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-05
杨贺
  |  
 
一种基于中间格式表示的可复用程序分析系统 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-02
郑瑶海
  |  
 
使用SPEC#开发高可靠性的算法程序 [期刊论文]
计算机工程与应用, 2006-01-01, 卷号: 42, 期号: 12, 页码: 114-117,130
郑宇军; 马燕; 薛锦云
  |  
 
一种多层次特权控制机制的设计与实现 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 3, 页码: 423-428
沈晴霓; 卿斯汉; 李丽萍
  |  
 
一个基于应用程序监控的病毒防范框架 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 12, 页码: 152-153,156
武延军; 石文昌; 梁洪亮; 周洲仪
  |  
 
基于动态行为和特征模式的异常检测模型 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 9, 页码: 1553-1560
林果园; 郭山清; 黄皓; 曹天杰
  |  
 
并行最优化软件包及性能测试 [期刊论文]
数值计算与计算机应用, 2006-01-01, 卷号: 27, 期号: 1, 页码: 60-66
王建; 冯仰德; 迟学斌; 程强
  |  
 
三层交换机中DHCP中继代理的改进与实现 [期刊论文]
微电子学与计算机, 2006-01-01, 卷号: 23, 期号: 1, 页码: 40496
徐晔; 王显雷; 刘琼; 方贵明
  |  
 
多线程程序数据竞争的静态检测 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 2, 页码: 329-335
吴萍; 陈意云; 张健
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 next

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace