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

Search Results

Help

Item hits: (Results 31-40 of 72)

Items/Page:    Sort:
optimization method for mixed constraints problem solving [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Ji Xiaohui; Huang Zhuo
  |  
 
generating provably correct algorithmic programs from formal specifications [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Shi Haihe; Xue Jinyun
  |  
 
component monitoring of osgi-based software [会议论文]
IEEE International Conference on E-Business Engineering, ICEBE 2010, Shanghai, China, 40848
Wang Tao; Zhou Xiaowei; Wei Jun; Zhang Wenbo; Zhu Xin
  |  
 
freepipe: a programmable parallel rendering architecture for efficient multi-fragment effects [会议论文]
2010 ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, I3D 2010, Washington, DC, United states, 40575
Liu Fang; Huang Meng-Cheng; Liu Xue-Hui; Wu En-Hua
  |  
 
constraint solving techniques for software testing and analysis [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Ma Feifei
  |  
 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
an interactive high-fidelity haptic needle simulator with gpu acceleration [会议论文]
9th ACM SIGGRAPH International Conference on VR Continuum and Its Applications in Industry, VRCAI 2010, Seoul, Korea, Republic of, 40878
Zhang Ji-Shuai; Chen Hui; Wu Wen; Heng Pheng-Ann
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
liveness analysis of parallel programs petri net models [会议论文]
2009 International Conference on Information Engineering and Computer Science, ICIECS 2009, Wuhan, China, 40878
Liu Wei; Du YuYue; Cui HuanQing; Yan Chun

 
cuda renderer: a programmable graphics pipeline [会议论文]
ACM SIGGRAPH ASIA 2009 Sketches, SIGGRAPH ASIA 09, Yokohama, Japan, 40878
Liu Fang; Huang Meng-Cheng; Liu Xue-Hui; Wu En-Hua

 

previous 1 2 3 4 5 6 7 8 next

 

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