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

Search Results

Help

Item hits: (Results 1-10 of 30)

Items/Page:    Sort:
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 
一种高效的虚拟机快照管理系统 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 73-78
邓换方; 吴恒; 张文博; 许舒人

 
On Efficient Map-Matching According to Intersections You Pass By [会议论文]
DEXA, Prague, Czech Republic, 2013-8
Li YG(李亚光); Liu CF(柳程飞); Liu KE(刘奎恩); Xu JJ(许佳捷); He FC(何凤成); Ding ZM(丁治明)
  |  
 
a model of large-scale device collaboration system based on pi-calculus for green communication [期刊论文]
Telecommunication Systems, 2013-01-01, 页码: 1-14
Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng

 
numerical simulation of high-efficiency ingap/gaas/ingaas triple-junction solar cells grown on gaas substrate [会议论文]
12th International Conference on Numerical Simulation of Optoelectronic Devices, NUSOD 2012, Shanghai, China, August 28, 2012 - August 31, 2012
Liang J.; Hu W.D.; Chen X.S.; Xia C.S.; Cheng L.W.

 
simulation of ingan/gan light-emitting diodes with patterned sapphire substrate [会议论文]
12th International Conference on Numerical Simulation of Optoelectronic Devices, NUSOD 2012, Shanghai, China, August 28, 2012 - August 31, 2012
Sheng Yang; Xia Chang Sheng; Simon Li Z.M.; Cheng Li Wen

 
an efficient leakage characterization method for profiled power analysis attacks [会议论文]
14th International Conference on Information Security and Cryptology, ICISC 2011, Seoul, Korea, Republic of, November 30, 2011 - December 2, 2011
Zhang Hailong; Zhou Yongbin; Feng Dengguo

 
toward real-life implementation of signature schemes from the strong rsa assumption [会议论文]
15th International Conference on Financial Cryptography and Data Security, FC 2011, St. Lucia, QLD, Australia, February 28, 2011 - March 4, 2011
Yu Ping; Xue Rui

 
optimal number of quantum wells for blue ingan/gan light-emitting diodes [期刊论文]
Applied Physics Letters, 2012-01-01, 卷号: 100, 期号: 26, 页码: -
Xia Chang Sheng; Simon Li Z.M.; Li Z.Q.; Sheng Yang; Zhang Zhi Hua; Lu Wei; Cheng Li Wen

 
resource management in internet-oriented data centers [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: 2, 页码: 179-199
Zhang Wei; Song Ying; Ruan Li; Zhu Ming-Fa; Xiao Li-Min

 

1 2 3 next

 

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