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

Search Results

Help

Item hits: (Results 1-10 of 20)

Filters    
Items/Page:    Sort:
一种面向程序动态分析的循环摘要生成方法 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 6, 页码: 1110-1117
聂楚江; 刘海峰; 苏璞睿; 冯登国

 
基于扩展逻辑变换系统_μTS证明循环优化正确性 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶

 
基于路径分析的死循环检测 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 9, 页码: 1750-1758
阮辉; 严俊; 张健
  |  
 
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 
利用球谐方法分散计算场景的全局光照 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 5, 页码: 609-615
王辉; 刘学慧; 吴恩华
  |  
 
带多项式量级约束条件的多商品流BWTSP线性规划 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1796-1800
江贺; 张宪超; 车皓阳; 陈国良
  |  
 
network and device-level impacts: performance and reliability of active i/o storage systems [期刊论文]
JOURNAL OF SUPERCOMPUTING, 2007-01-01, 卷号: 41, 期号: 2, 页码: 163-178
Chiu Steve C.; Choudhary Alok N.; Wang Danli
  |  
 
SMP集群系统上矩阵特征问题并行求解器的有效算法 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 2, 页码: 334-340
赵永华; 迟学斌; 程强
  |  
 
基于领域本体的半结构化文本知识自动获取方法的设计和实现 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 12, 页码: 2010-2018
王海涛; 曹存根; 高颖
  |  
 
超量外存地表模型的实时绘制技术 [期刊论文]
计算机辅助设计与图形学学报, 2005-01-01, 卷号: 17, 期号: 10, 页码: 2196-2202
吴金钟; 刘学慧; 吴恩华
  |  
 

1 2 next

 

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