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

Search Results

Help

Item hits: (Results 1-10 of 16)

Filters    
Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
example-based microfacet synthesis for appearance modeling of thin transparent materials [期刊论文]
Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2011-01-01, 卷号: 23, 期号: 7, 页码: 1099-1105
Dai Qiang; Wu Enhua
  |  
 
mcgim-based model streaming for realtime progressive rendering [期刊论文]
Journal of Computer Science and Technology, 2010-01-01, 卷号: 26, 期号: 1, 页码: 166-175
Sheng Bin; Meng Wei-Liang; Sun Han-Qiu; Wu En-Hua
  |  
 
lumiproxy: a hybrid representation of image-based models [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 3, 页码: 578-587
Sheng Bin; Zhu Jian; Wu En-Hua; Zhang Yan-Ci
  |  
 
improved bounded model checking for the universal fragment of ctl [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui

 
an intuitive formal proof for deadline driven scheduler [期刊论文]
Journal of Computer Science and Technology, 2008-01-01, 卷号: 16, 期号: 2, 页码: 146-158
Zhan Naijun
  |  
 
towards a theory of bisimulation for the higher-order process calculi [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 3, 页码: 352-363
Li Yongjian; Xin-Xin Liu
  |  
 
encoding-based method for pattern matching [期刊论文]
Journal of Information and Computational Science, 2004-01-01, 卷号: 1, 期号: 2, 页码: 193-197
Chen Haiming

 
practical type checking of functions defined on context-free languages [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 6, 页码: 840-847
Chen Haiming; Yun-Mei Dong
  |  
 
an intuitive formal prooffor deadline driven scheduler [期刊论文]
Journal of Computer Science and Technology, 2001-01-01, 卷号: 16, 期号: 2, 页码: 146
詹乃军
  |  
 

1 2 next

 

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