设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(1)
Elsevier电子期刊(3)
在“
Elsevier电子期刊
”中,
命中:
3
条,耗时:小于0.01 秒
在所有数据库中总计命中:
4
条
1.
Nosv: A lightweight
nested
-
virtualization
VMM for hosting high performance computing on cloud
作者:
Jianbao RenAuthor Vitae
;
Yong Qi
;
qiy@mail.xjtu.edu.cn
Author Vitae
;
Yuehua DaiAuthor Vitae
;
Yu XuanAuthor Vitae
;
Yi ShiAuthor Vitae
关键词:
Multi-core
;
Cloud computing
;
Nested
-
virtualization
;
HPC
刊名:Journal of Systems and Software
出版年:2017
2.
Formalization of Reliability Block Diagrams in Higher-order Logic
作者:
Waqar Ahmed
a
;
waqar.ahmad@seecs.nust.edu.pk" class="auth_mail" title="E-mail the corresponding author
;
Osman Hasan
a
;
osman.hasan@seecs.nust.edu.pk" class="auth_mail" title="E-mail the corresponding author
;
Sofiè
;
ne Tahar
b
;
tahar@ece.concordia.ca" class="auth_mail" title="E-mail the corresponding author
关键词:
Reliability Block Diagrams (RBDs)
;
Higher-order logic
;
Probability theory
;
Virtualization
configuration
;
Virtual Data Centers
刊名:Journal of Applied Logic
出版年:2016
3.
A new parallel model for the analysis of asynchronous algorithms
作者:
Rodrí
;
guez
;
C.
;
Roda
;
J.L.
;
Sande
;
F.
;
Morales
;
D.G.
;
Almeida
;
F.
关键词:
BSP
;
MPI
;
PVM
;
Nested
data parallelism
;
Processor
virtualization
刊名:Parallel Computing
出版年:2000
1
按检索点细分(3)
题名(1)
关键词(2)
文摘(1)
按出版年细分(3)
2017年(1)
2016年(1)
2000年(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.