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

Search Results

Help

Item hits: (Results 1-10 of 55)

Filters        
Items/Page:    Sort:
基于约束的软件失效域识别与特征分析 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 7, 页码: 1688-1701
孙昌爱
  |  
 
基于CUDA渲染器的顺序独立透明现象的单遍高效绘制 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 8, 页码: 1927-1933
黄梦成; 刘芳; 刘学慧; 吴恩华
  |  
 
一种基于物理的雨打树枝动态仿真方法 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 8, 页码: 1934-1947
杨猛; 吴恩华
  |  
 
基于时变纹元的真实感草地枯萎模拟 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 9, 页码: 2224-2236
焦少慧; 杨刚; 吴恩华
  |  
 
改进的以SMT为基础的实时系统限界模型检测 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  
 
采用了剪枝优化的子类型关系判定算法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君; 陈海明
  |  
 
TSP问题的脂肪计算复杂性与启发式算法设计 [期刊论文]
软件学报, 2009-01-01, 期号: 9, 页码: 2344-2351
江贺; 胡燕; 李强; 于红

 
基于BDD的增量启发式搜索 [期刊论文]
软件学报, 2009-01-01, 期号: 9, 页码: 2352-2365
徐艳艳; 岳伟亚
  |  
 
秋季植物叶子表观的模拟 [期刊论文]
软件学报, 2009-01-01, 期号: 3, 页码: 702-712
迟小羽; 盛斌; 杨猛; 陈彦云; 吴恩华
  |  
 
直觉线性μ-演算中的合成推理 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8
张文辉
  |  
 

1 2 3 4 5 6 next

 

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