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

Search Results

Help

Item hits: (Results 1-10 of 50)

Filters    
Items/Page:    Sort:
超图多级划分算法框架及对划分结果的多阶段优化 [期刊论文]
计算机工程与设计, 2009-01-01, 卷号: 30, 期号: 4, 页码: 800
卢玥; 曹建文
  |  
 
针对C语言的自动微分系统及其应用 [期刊论文]
计算机应用研究, 2009-01-01, 卷号: 26, 期号: 1, 页码: 155
张春晖; 程强; 曹建文
  |  
 
同步数据流模型调度序列的空间优化 [期刊论文]
计算机工程与应用, 2009-01-01, 卷号: 45, 期号: 3, 页码: 198-201
刘国鑫; 谭国强; 贺也平
  |  
 
FM-index分块并行算法及其实现 [期刊论文]
计算机工程, 2008-01-01, 卷号: 34, 期号: 8, 页码: 53
李开士; 张云泉; 李玉成
  |  
 
GOTOBLAS一般矩阵乘法高效实现机制的研究 [期刊论文]
计算机工程, 2008-01-01, 卷号: 34, 期号: 7, 页码: 84
蒋孟奇; 张云泉; 宋刚; 李玉成
  |  
 
藏文字库标准符合性自动检测方案设计与实现 [期刊论文]
中文信息学报, 2008-01-01, 卷号: 22, 期号: 3, 页码: 124-128
刘瀚猛; 芮建武; 白真龙; 吴健
  |  
 
安全ARP的Clark-Wilson模型化 [期刊论文]
计算机科学, 2008-01-01, 卷号: 35, 期号: 1, 页码: 64-66
陈小岩; 贺也平; 徐梓耀; 邓灵莉
  |  
 
一种改进的数据求精证明规则 [期刊论文]
计算机工程, 2008-01-01, 卷号: 34, 期号: 1, 页码: 23-25
张宏; 贺也平; 石志国
  |  
 
基于CTL的循环优化变换描述方法 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 49
夏勇; 薛云志; 陶秋铭; 赵琛
  |  
 
基于时序逻辑的编译优化测试用例生成方法 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 46-48
夏勇; 薛云志; 赵琛
  |  
 

1 2 3 4 5 next

 

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