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

Search Results

Help

Item hits: (Results 1-10 of 14)

Items/Page:    Sort:
并发数据结构的归约和验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-17
王超
  |  
 
外包数据库模型中的完整性检测方案 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 6, 页码: 1107-1115
咸鹤群; 冯登国
  |  
 
后序遍历二叉树非递归算法的推导及形式化证明 [期刊论文]
计算机工程与科学, 2010-01-01, 卷号: 32, 期号: 3, 页码: 119-123
左正康; 游珍; 薛锦云
  |  
 
一种OGSA架构上基于经验共享的服务搜索方法 [期刊论文]
计算机科学与探索, 2008-01-01, 卷号: 2, 期号: 5, 页码: 511-518
贺红; 袁胜忠; 魏峻
  |  
 
基于距离倒数加权法的等值面绘制简化算法 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 5, 页码: 1200-1202
郭尚; 苏鸿根
  |  
 
基于像素的计算大量连通区域面积的快速算法 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 7, 页码: 1760-1763
郭尚; 苏鸿根
  |  
 
综合递归分块技术及其在LAPACK中的应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-06
蒋孟奇
  |  
 
一种基于有限精度时间自动机的模型检测工具 [期刊论文]
计算机应用研究, 2006-01-01, 期号: 5, 页码: 121-125
徐雨波; 晏荣杰
  |  
 
基于SPIN/Promela的并发系统验证 [期刊论文]
计算机科学, 2004-01-01, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华; 薛锦云
  |  
 
带复杂数据结构的模型检测工具 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 11, 页码: 1990-1999
张轶; 林惠民
  |  
 

1 2 next

 

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