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

Search Results

Help

Item hits: (Results 1-10 of 24)

Items/Page:    Sort:
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
软件库调用规约挖掘 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 408-416
钟浩; 张路; 梅宏
  |  
 
SRL→Radl生成系统及其相关理论研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-09-01
王昌晶
  |  
 
卫命令模型检测工具的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王绍春
  |  
 
基于基本块的控制流检错方法优化研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2009-01-12
肖贺
  |  
 
基于时序逻辑证明编译优化程序变换的保义性 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  
 
采用基本块规约的控制流检测性能优化方法 [期刊论文]
小型微型计算机系统, 2009-01-01, 卷号: 30, 期号: 12, 页码: 2378-2382
肖贺; 王永吉; 潘远明; 丁丽萍
  |  
 
使用SPEC#开发高可靠性的算法程序 [期刊论文]
计算机工程与应用, 2006-01-01, 卷号: 42, 期号: 12, 页码: 114-117,130
郑宇军; 马燕; 薛锦云
  |  
 
面向装备全寿命保障的约束规划框架 [期刊论文]
计算机工程与设计, 2006-01-01, 期号: 14, 页码: 2677-2679
张子丘; 郑宇军; 王侃
  |  
 
面向装备联勤保障的约束程序设计框架 [期刊论文]
南京大学学报(自然科学版), 2005-01-01, 卷号: 41, 期号: z1, 页码: 30-34
郑宇军; 王连来; 薛锦云
  |  
 

1 2 3 next

 

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