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

Search Results

Help

Item hits: (Results 71-80 of 112)

Items/Page:    Sort:
formula-oriented compositional minimization in model checking [会议论文]
2010 19th IEEE Asian Test Symposium, ATS 2010, Shanghai, China, 40878
Chen Bowen; Shen Haihua; Zhang Wenhui
  |  
 
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
  |  
 
anycast routing in mobile opportunistic networks [会议论文]
15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, 37429
Xiong Yongping; Sun Limin; He Wenbo; Ma Jian
  |  
 
a two-phase approach to subscription subsumption checking for content-based publish/subscribe systems [会议论文]
24th IEEE International Conference on Advanced Information Networking and Applications, AINA2010, Perth, WA, Australia, April 20,
Qin Xiulei; Wei Jun; Zhang Wenbo; Zhong Hua; Huang Tao
  |  
 
a toolkit for generating sentences from context-free grammars [会议论文]
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, September
Xu Zhiwu; Zheng Lixiao; Chen Haiming
  |  
 
accelerating linpack performance with mixed precision algorithm on cpu+gpgpu heterogeneous cluster [会议论文]
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
Wang Lei; Zhang Yunquan; Zhang Xianyi; Liu Fangfang
  |  
 
chinese cardiovascular disease database (ccdd) and its management tool [会议论文]
10th IEEE International Conference on Bioinformatics and Bioengineering, BIBE-2010, Philadelphia, PA, United states, 43982
Jia-Wei Zhang; Li-Ping Wang; Xia Liu; Hong-Hai Zhu; Jun Dong

 
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
  |  
 
Towards zero loss for tcp in wireless networks [会议论文]
2009 IEEE 28th International Performance Computing and Communications Conference, IPCCC 2009, Scottsdale, AZ, United states, 40878
Chen Jing; Tan Wei; Liu Lixiang; Hu Xiaohui; Xu Fanjiang
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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