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

Search Results

Help

Item hits: (Results 1-10 of 203)

Items/Page:    Sort:
Super-dense computation in verification of hybrid CSP processes [会议论文]
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)

 
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

 
基于扩展 LS2的可信虚拟平台信任链分析 [期刊论文]
通信学报, 2013-01-01, 卷号: 34, 期号: 5, 页码: 31-41
常德显; 冯登国; 秦宇; 张倩颖

 
An effective iterated greedy algorithm for reliability-oriented task allocation in distributed computing systems [期刊论文]
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013-01-01, 卷号: 73, 期号: 8, 页码: 1106-1115
Kang, Qinma; He, Hong; Wei, Jun

 
Some decidable results on reachability of solvable systems [期刊论文]
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013-01-01, 卷号: 42, 期号: 4, 页码: 405-425
Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin

 
2013年中国高性能计算机发展现状分析及系统测评技术简析 [期刊论文]
计算机工程与科学, 2013-01-01, 卷号: 35, 期号: 11, 页码: 1-5
袁国兴; 孙家昶; 张林波; 张云泉

 
memristors for neural branch prediction: a case study in strict latency and write endurance challenges [会议论文]
2013 ACM International Conference on Computing Frontiers, CF 2013, Ischia, Italy, May 14, 2013 - May 16, 2013
Saadeldeen Hebatallah; Franklin Diana; Long Guoping; Hill Charlotte; Browne Aisha; Strukov Dmitri; Sherwood Timothy; Chong Frederic T.

 
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

 
efficient identity-based strong designated verifier signature schemes [期刊论文]
Security and Communication Networks, 2013-01-01, 卷号: 6, 期号: 7, 页码: 902-911
Duan Meijiao; Xu Jing; Feng Dengguo

 
svdn: packetization and layer synchronization for scalable video delivery over peer-to-peer networks [期刊论文]
Multimedia Systems, 2013-01-01, 页码: 1-17
Qiao Yuansong; Zhang Shuaijun; Zhang Chunrong; Karunakar A.K.; Lee Brian; Murray Niall; Fang Guiming

 

1 2 3 4 5 6 7 8 9 10 next

 

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