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

Search Results

Help

Item hits: (Results 1-10 of 13)

Filters    
Items/Page:    Sort:
Incremental Voronoi sets for instant stippling [期刊论文]
The Visual Computer, 2018-01-01, 卷号: 34, 期号: 6-8
Ma Lei(马雷);  Yanyun Chen;  Yingling Qian;  Hanqiu Sun
  |  
 
Instant Stippling on 3D Scenes [期刊论文]
Computer Graphics Forum, 2018-01-01, 卷号: 37, 期号: 7, 页码: 255-266
Ma Lei(马雷);  Jiangwei Guo;  Dong-ming Yan;  Hanqiu Sun;  Yanyun Chen
  |  
 
基于自适应分割的动态面光源图像空间绘制 [期刊论文]
Computer Engineering and Design, 2012-01-01, 卷号: 33, 期号: 2, 页码: 624-629
刘洋; 刘学慧; 吴恩华
  |  
 
rate monotonic scheduling re-analysed [期刊论文]
INFORMATION PROCESSING LETTERS, 2010-01-01, 卷号: 110, 期号: 6, 页码: 226-231
Xu Qiwen; Zhan Naijun
  |  
 
改进的以SMT为基础的实时系统限界模型检测 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  
 
real-time coherent stylization for augmented reality [期刊论文]
VISUAL COMPUTER, 2010-01-01, 卷号: 26, 期号: 40702, 页码: 445-455
Wang Shandong; Cai Kangying; Lu Jian; Liu Xuehui; Wu Enhua
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
checking inconsistency of rule sets in active real-time databases [会议论文]
11th IEEE High Assurance Systems Engineering Symposium, Nanjing, PEOPLES R CHINA, DEC 03-05,
Zhang Jian
  |  
 
an intuitive formal proof for deadline driven scheduler [期刊论文]
Journal of Computer Science and Technology, 2008-01-01, 卷号: 16, 期号: 2, 页码: 146-158
Zhan Naijun
  |  
 
basic research in computer science and software engineering at sklcs [期刊论文]
Frontiers of Computer Science in China, 2008-01-01, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang

 

1 2 next

 

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