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

Search Results

Help

Item hits: (Results 71-80 of 163)

Items/Page:    Sort:
软件过程支撑环境SPEFE的设计与改进 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-31
李明
  |  
 
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 
在MM5中实现IKAWA参数自适应选择 [期刊论文]
数值计算与计算机应用, 2007-01-01, 卷号: 28, 期号: 3, 页码: 215-220
姜金荣; 迟学斌; 陆忠华; 刘洪利
  |  
 
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 
利用球谐方法分散计算场景的全局光照 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 5, 页码: 609-615
王辉; 刘学慧; 吴恩华
  |  
 
symmetric-key cryptosystem with dna technology [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007-01-01, 卷号: 50, 期号: 3, 页码: 324-333
Lu MingXin; Lai XueJia; Xiao GuoZhen; Qin Lei
  |  
 
带多项式量级约束条件的多商品流BWTSP线性规划 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1796-1800
江贺; 张宪超; 车皓阳; 陈国良
  |  
 
network and device-level impacts: performance and reliability of active i/o storage systems [期刊论文]
JOURNAL OF SUPERCOMPUTING, 2007-01-01, 卷号: 41, 期号: 2, 页码: 163-178
Chiu Steve C.; Choudhary Alok N.; Wang Danli
  |  
 
SMP集群系统上矩阵特征问题并行求解器的有效算法 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 2, 页码: 334-340
赵永华; 迟学斌; 程强
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 next

 

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