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

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
SystemC程序的形式化验证方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2014-11-20
曾奶举
  |  
 
若干线性递推算法众核优化关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-05-28
颜深根
  |  
 
基于模型检测的安全协议形式化分析方法的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-26
赵振举
  |  
 
基于OpenCL的归约算法优化研究 [会议论文]
2011年全国高性能计算学术年会(HPC china2011), 济南, 2011
颜深根; 张云泉; 龙国平

 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
若干计数问题的复杂性研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-02
夏盟佶
  |  
 
网络安全协议形式化分析及支撑工具研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-18
肖美华

 
带多项式量级约束条件的多商品流BWTSP线性规划 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1796-1800
江贺; 张宪超; 车皓阳; 陈国良
  |  
 
基于产生式的工作流模型分析技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-14
陈亮
  |  
 
模式匹配问题的描述框架与算法模型 [期刊论文]
模式识别与人工智能, 2006-01-01, 卷号: 19, 期号: 6, 页码: 715-721
张治; 车皓阳; 施鹏飞
  |  
 

1 2 next

 

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