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

Search Results

Help

Item hits: (Results 1-10 of 20)

Filters    
Items/Page:    Sort:
网络算法编程语言的设计、实现与代码自动生成 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05-17
王健
  |  
 
SRL→Radl生成系统及其相关理论研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-09-01
王昌晶
  |  
 
采用了剪枝优化的子类型关系判定算法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君; 陈海明
  |  
 
函数式语言方法在网络交互程序中的应用 [期刊论文]
计算机工程与设计, 2009-01-01, 卷号: 30, 期号: 6, 页码: 1315-1320
吕品; 喻刚
  |  
 
测试顺序选择策略研究 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 4, 页码: 781-783
李都
  |  
 
算法程序变换研究与进展 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 11, 页码: 232-238
石海鹤; 石海鹏; 郑宇军; 薛锦云
  |  
 
双重软件体系结构描述框架XYZ/ADL [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
 
使用SPEC#开发高可靠性的算法程序 [期刊论文]
计算机工程与应用, 2006-01-01, 卷号: 42, 期号: 12, 页码: 114-117,130
郑宇军; 马燕; 薛锦云
  |  
 
一种新型递归函数的求值算法 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 9, 页码: 1277-1291
陈海明
  |  
 
三机冗余容错系统的描述和验证 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1
郭亮; 唐稚松
  |  
 

1 2 next

 

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