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

Search Results

Help

Item hits: (Results 1-5 of 5)

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

 
Symbolic termination analysis of solvable loops [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin

 
Some decidable results on reachability of solvable systems [期刊论文]
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013-01-01, 卷号: 42, 期号: 4, 页码: 405-425
Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin

 
一种分布式吴方法计算模型 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 3, 页码: 384-391
武永卫; 杨广文; 杨宏; 郑纬民; 林东岱
  |  
 
基于Marching Cubes重组的外存模型渐进压缩 [期刊论文]
计算机学报, 2004-01-01, 卷号: 27, 期号: 11, 页码: 1457-1463
刘迎; 蔡康颖; 王文成; 吴恩华
  |  
 

1

 

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