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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
基于树状线性规划搜索的单调速率优化设计 [期刊论文]
软件学报, 2015-01-01, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
  |  
 
采用了剪枝优化的子类型关系判定算法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君; 陈海明
  |  
 
基于时序逻辑证明编译优化程序变换的保义性 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  
 
高性能的XML解析器OnceXMLParser [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 10, 页码: 2728-2738
金蓓弘; 曹冬磊; 任鑫; 余双; 戴蓓洁
  |  
 
基于逻辑“或”约束优化的实时系统设计 [期刊论文]
软件学报, 2006-01-01, 期号: 7, 页码: 1641-1649
刘军祥; 王永吉; 王源; 邢建生; 曾海涛
  |  
 
基于逻辑"或"约束优化的实时系统设计 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 7, 页码: 1641-1649
刘军祥; 王永吉; 王源; 邢建生; 曾海涛
  |  
 
一种基于最小割的稠密视差图恢复算法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 6
彭启民; 贾云得
  |  
 
求解布尔与非线性数值约束相混合的约束问题 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 5, 页码: 659-668
季晓慧; 张健
  |  
 
基于模拟的企业过程模型自动优化技术研究 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 4, 页码: 706-712
谭文安; 周伯生; 王 强; 李明树
  |  
 
形式规约语言中函数运算的优化 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 8
张荣华; 董韫美
  |  
 

1

 

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