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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
面向雨数的循环优化序列定制方法 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 24, 页码: 63-66,117
陈烨

 
PAR方法和循环不变式的范畴语义 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 8, 页码: 50-54
屈文建; 薛锦云
  |  
 
同步数据流模型调度序列的空间优化 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 3, 页码: 198-201
刘国鑫; 谭国强; 贺也平
  |  
 
桌面环境下的笔式三维交互框架 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 6, 页码: 38-42
付永刚; 安维华; 戴国忠
  |  
 
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 
循环不变式开发新策略及其应用 [期刊论文]
计算机工程与应用, 2006-01-01, 期号: 4, 页码: 105-107,161
石海鹤; 肖正兴; 薛锦云
  |  
 
JTS服务恢复管理子系统的设计和实现 [期刊论文]
计算机工程与应用, 2003-01-01, 卷号: 39, 期号: 8, 页码: 119-121,138
刘志峰; 丁柯
  |  
 
一种基于改进时钟系统的Linux实时化方案 [期刊论文]
计算机工程与应用, 2003-01-01, 卷号: 39, 期号: 34, 页码: 133-136
谢觉; 赵慧斌; 叶以民
  |  
 
层次分析法中高阶平均随机一致性指标(RI)的计算 [期刊论文]
计算机工程与应用, 2002-01-01, 卷号: 38, 期号: 12, 页码: 45-47,150
洪志国; 李焱; 范植华; 王勇

 

1

 

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