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

Search Results

Help

Item hits: (Results 1-10 of 16)

Filters    
Items/Page:    Sort:
一种新型形式化验证方法——理论与工具 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-03-08
刘坚
  |  
 
program analysis: from qualitative analysis to quantitative analysis (nier track) [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Liu Sheng; Zhang Jian
  |  
 
searching for doubly self-orthogonal latin squares [会议论文]
17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, September
Lu Runming; Liu Sheng; Zhang Jian
  |  
 
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
  |  
 
local lemma: a new strategy of pruning in sat solvers [会议论文]
25th Annual ACM Symposium on Applied Computing, SAC 2010, Sierre, Switzerland, March 22,
Jia Xiangxue; Lu Runming; Liu Sheng; Zhang Jian
  |  
 
realtime simulation of burning solids on gpu with cuda [会议论文]
10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010, Bradford, United kingdom, 37436
Zhu Jian; Liu Youquan; Bao Kai; Chang Yuanzhang; Wu Enhua
  |  
 
a particle-based method for viscoelastic fluids animation [会议论文]
VRST 2009 - 16th ACM Symposium on Virtual Reality Software and Technology, Kyoto, Japan, 40848
Chang Yuanzhang; Bao Kai; Liu Youquan; Zhu Jian; Wu Enhua

 
particle importance based fluid simulation [会议论文]
2009 6th International Conference on Computer Graphics, Imaging and Visualization: New Advances and Trends, CGIV2009, Tianjin, China, August 11,
Yuanzhang Chang; Kai Bao; Youquan Liu; Jian Zhu; Enhua Wu

 
warping of a spherical representation of image-based models on gpu [会议论文]
VRCAI 2009: 8th International Conference on Virtual Reality Continuum and its Applications in Industry, Yokohama, Japan, 40878
Zhu Jian; Liu Youquan; Bao Kai; Chang Yuanzhang; Wu Enhua

 
volume computation for boolean combination of linear arithmetic constraints [会议论文]
22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07,
Ma Feifei; Liu Sheng; Zhang Jian

 

1 2 next

 

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