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

Search Results

Help

Item hits: (Results 1-10 of 72)

Items/Page:    Sort:
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

 

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