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

Search Results

Help

Item hits: (Results 1-10 of 50)

Filters    
Items/Page:    Sort:
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
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

 
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

 
a fast and high throughput sql query system for big data [会议论文]
13th International Conference on Web Information Systems Engineering, WISE 2012, Paphos, Cyprus, November 28, 2012 - November 30, 2012
Zhu Feng; Liu Jie; Xu Lijie

 
decomposition of automata pdl and its extension [会议论文]
2012 International MultiConference of Engineers and Computer Scientists, IMECS 2012, Kowloon, Hong kong, March 14, 2012 - March 16, 2012
Liu Xinxin; Xue Bingtian

 
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

 
virtual machine replay update: improved implementation for modern hardware architecture [会议论文]
2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012
Yu Jiageng; Zhou Peng; Wu Yanjun; Zhao Chen

 
a new matchmaking approach based on abductive conjunctive query answering [会议论文]
Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011
Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Hu Yong

 
towards practical abox abduction in large description logic ontologies [期刊论文]
International Journal on Semantic Web and Information Systems, 2012-01-01, 卷号: 8, 期号: 2, 页码: 1-33
Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.

 

1 2 3 4 5 next

 

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