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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
基于BDD的增量启发式搜索方法及其应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2009-06-04
徐艳艳
  |  
 
基于BDD的增量启发式方法及其应用 [学位论文]
硕士, 软件所5号楼337房: 中国科学院软件研究所计算机科学国家重点实验室, 2009-06-04
徐艳艳
  |  
 
基于BDD的增量启发式搜索 [期刊论文]
软件学报, 2009-01-01, 期号: 9, 页码: 2352-2365
徐艳艳; 岳伟亚
  |  
 
参数化系统安全性的启发式符号验证 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1444-1456
杨秋松; 李明树
  |  
 
实时异构系统的动态调度算法研究 [期刊论文]
计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 6, 页码: 725-732
王 堃; 乔 颖; 王宏安; 方 亭; 邹 冰; 戴国忠
  |  
 
一种实时异构系统的集成动态调度算法 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 12, 页码: 2251-2258
乔颖; 邹冰; 方亭; 王宏安; 戴国忠
  |  
 

1

 

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