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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
基于事件结构的并发程序可视化调试方法 [期刊论文]
软件学报, 2014-01-01, 卷号: 25, 期号: 3, 页码: 457-471
伍晓泉; 魏峻

 
基于谓词执行信息分析的自适应缺陷定位算法 [期刊论文]
计算机学报, 2014-01-01, 卷号: 37, 期号: 3, 页码: 500-511
郝鹏; 郑征; 张震宇; 高乙超; 宫成; 薛云志

 
交互式数字地形合成算法 [期刊论文]
计算机辅助设计与图形学学报, 2012-01-01, 卷号: 24, 期号: 7, 页码: 909-917
尹华飞; 郑昌文; 胡晓惠

 
一种新型的VBR视频传输方法 [期刊论文]
电子学报, 2007-01-01, 卷号: 35, 期号: 5, 页码: 895-899
张源海; 钟琳华; 皇甫伟; 许长桥; 李凯慧
  |  
 
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 
Biba模型中严格完整性政策的动态实施 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 5, 页码: 746-754
张相锋; 孙玉芳
  |  
 
UML活动图的时序逻辑语义 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳; 唐稚松
  |  
 
基于函数指针数组的代码迷惑技术 [期刊论文]
计算机学报, 2004-01-01, 卷号: 27, 期号: 12, 页码: 1706-1711
李永祥; 陈意云
  |  
 

1

 

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