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

Search Results

Help

Item hits: (Results 1-10 of 105)

Items/Page:    Sort:
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
GEO卫星通信系统中MF-TDMA信道分配算法研究 [期刊论文]
计算机科学, 2014-01-01, 卷号: 41, 期号: 4, 页码: 40-43
徐其乐; 陈建州; 刘立祥

 
Cryptanalysis and Improvement of a Multi-User Quantum Communication Network Using chi-Type Entangled States [期刊论文]
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2013-01-01, 卷号: 52, 期号: 4, 页码: 1354-1361
Huang, Wei; Zuo, Hui-Juan; Li, Yan-Bing

 
高速铁路宽带通信网络管理系统管理模式研究 [期刊论文]
计算机工程与设计, 2013-01-01, 卷号: 34, 期号: 8, 页码: 2641-2645,2674
宋鑫; 郑刚; 朱登科

 
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

 
a token based method for congestion and packet loss control [期刊论文]
IEEE Latin America Transactions, 2013-01-01, 卷号: 11, 期号: 2, 页码: 802-811
Shi Zhiqiang; Ionescu Dan; Zhang Dongli

 
analyzing the trust chain of trusted virtualization platform based on the extended ls2 [期刊论文]
Tongxin Xuebao/Journal on Communications, 2013-01-01, 卷号: 34, 期号: 5, 页码: 31-41
Chang De-Xian; Feng Deng-Guo; Qin Yu; Zhang Qian-Ying

 
efficient and distributed authentication scheme for secure communication in manet [期刊论文]
Journal of Computational Information Systems, 2013-01-01, 卷号: 9, 期号: 1, 页码: 57-64
Wang Daxing; Teng Jikai

 
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

 
the study of a mobility supporting coordination mechanism for supporting mobile devices [会议论文]
International Conference on Green Communications and Networks, GCN 2011, Chongqing, China, July 15, 2011 - July 17, 2011
Ying Ma; Laomo Zhang; Guodong Wang

 

1 2 3 4 5 6 7 8 9 10 next

 

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