Search Results

Item hits: (Results 71-80 of 112)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	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