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

Search Results

Help

Item hits: (Results 1-10 of 16)

Items/Page:    Sort:
The Sunway TaihuLight supercomputer: system and applications [期刊论文]
Science China-Information Sciences, 2016-01-01, 卷号: 59, 期号: 7
Fu, HH; Liao, JF; Yang, JZ; Wang, LN; Song, ZY; Huang, XM; Yang, C; Xue, W; Liu, FF; Qiao, FL; Zhao, W; Yin, XQ; Hou, CF; Zhang, CL; Ge, W; Zhang, J; Wang, YG; Zhou, CB; Yang, GW
  |  
 
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

 
some improvements to the cost-based framework for analyzing denial of service attacks [会议论文]
Trusted Systems Third International Conference, INTRUST 2011, Beijing China, 2011
Yue Qinggang; Liu Feng; Xue Rui

 
specification in pdl with recursion [会议论文]
4th NASA Formal Methods Symposium, NFM 2012, Norfolk, VA, United states, April 3, 2012 - April 5, 2012
Liu Xinxin; Xue Bingtian

 
line drawing technique for building images [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: UPPL.2, 页码: 34-41
Liu You-Quan; Wu Zong-Sheng; Wang Shan-Dong; Xue Ru; Wu En-Hua

 
formal verification on distributed spectrum sensing protocol [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Liu Jin-Bo; Liao Ming-Xue; Hu Xiao-Hui; He Xiao-Xin

 
introduction to the special issue on chinese language processing [期刊论文]
ACM Transactions on Asian Language Information Processing, 2011-01-01, 卷号: 10, 期号: 3, 页码: -
Chen Keh-Jiann; Liu Qun; Xue Nianwen; Sun Le

 
some improvements on model checking coreasm models of security protocols [会议论文]
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng
  |  
 
freepipe: a programmable parallel rendering architecture for efficient multi-fragment effects [会议论文]
2010 ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, I3D 2010, Washington, DC, United states, 40575
Liu Fang; Huang Meng-Cheng; Liu Xue-Hui; Wu En-Hua
  |  
 
formal verification of hmqv using asm-spv [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Huang Danqing; Xue Rui; Liu Feng; Peng Jianhua; Zhao Zhenju; Ji Dongyao
  |  
 

1 2 next

 

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