Search Results

Item hits: (Results 1-10 of 72)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	Symbolic termination analysis of solvable loops [期刊论文] JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin
	Systemic threats to hypervisor non-control data [期刊论文] IET INFORMATION SECURITY, 2013-01-01, 卷号: 7, 期号: 4, 页码: 349-354 Ding, Baozeng; He, Yeping; Wu, Yanjun; Yu, Jiageng
	云计算核心技术研究综述 [期刊论文] 小型微型计算机系统, 2013-01-01, 卷号: 34, 期号: 11, 页码: 2417-2424 张建华; 吴恒; 张文博
	a peta-scalable cpu-gpu algorithm for global atmospheric simulations [会议论文] 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013 Yang Chao; Xue Wei; Fu Haohuan; Gan Lin; Li Linfeng; Xu Yangtong; Lu Yutong; Sun Jiachang; Yang Guangwen; Zheng Weimin
	storycube: supporting children's storytelling with a tangible tool [期刊论文] Journal of Supercomputing, 2013-01-01, 页码: 1-15 Wang Danli; He Liang; Dou Keqin
	debug concurrent programs with visualization and inference of event structure [会议论文] 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012 Wu Xiaoquan; Wei Jun; Wang Xu
	e-block: a tangible programming tool for children [会议论文] 25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012, Cambridge, MA, United states, October 7, 2012 - October 10, 2012 Wang Danli; Zhang Yang; Gu Tianyuan; He Liang; Wang Hongan
	a novel security scheme for online banking based on virtual machine [会议论文] 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012 Guan Bei; Wu Yanjun; Wang Yongji
	a flexible software framework for transportation maintenance scheduling [期刊论文] Journal of Software, 2012-01-01, 卷号: 7, 期号: 9, 页码: 2158-2161 Huang Yongjian; Su Ruidan; Yan Weiwei; Zhang Kunlin; Liu Yang; Xu Huaiyu
	fast verification of memory consistency for chip multi-processor [会议论文] 2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011 Zheng Lv; Chen Hao; Chen Feng; Yi Lv

1 2 3 4 5 6 7 8 next