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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
mining api mapping for language migration [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Zhong Hao; Thummalapenta Suresh; Xie Tao; Zhang Lu; Wang Qing
  |  
 
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
  |  
 
qip = pspace [会议论文]
42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, MA, United states, 43987
Jain Rahul; Ji Zhengfeng; Upadhyay Sarvagya; Watrous John
  |  
 
intelligent understanding of handwritten geometry theorem proving [会议论文]
14th ACM International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, 40581
Jiang Yingying; Tian Feng; Wang Hongan; Zhang Xiaolong; Wang Xugang; Dai Guozhong
  |  
 
controlling data disclosure in computational pir protocols [学位论文]
, 2010-01-01
Shang Ning; Ghinita Gabriel; Zhou Yongbin; Bertino Elisa
  |  
 
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
  |  
 
a cut-off approach for bounded verification of parameterized systems [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Yang Qiusong; Li Mingshu
  |  
 
visualizing time-series data in processlines: design and evaluation of a process enterprise application [会议论文]
25th Annual ACM Symposium on Applied Computing, SAC 2010, Sierre, Switzerland, March 22,
Luo, XiongFei(罗雄飞); Tian Feng; Liu Wei; Teng Dongxing; Dai Guozhong; Wang Hongan
  |  
 

1

 

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