- m951446364120collateral HC12 OSEK Operating System
- PowerBusiness 国内某家电力系统网站的业务处理流程
- New-tools-in-non-linear-modelling-and-prediction. In this paper we give an account of a new change of perspective in nonlinear modelling and prediction as applied to smooth systems. The core element of these developments is the Gamma test a non
- h5摩天轮 h5写的一个动态摩天轮
- 语音编码技术演进 介绍语音编码方法和演进
- 数据中心行业前景怎么样 数据中心是数字经济时代的数字银行和数据资源库
文件名称:FormalFormalRequirementsforVirtualizableThirdGener
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：946.94kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
这是Gerald J. Popek在1974年发表的虚拟化奠基性论文Formal Requirements
for Virtualizable
Third Generation
Architectures-Gerald J. Popek
Formal Requirements for Virtualizable Third Generation Architectures
ACM
for Virtualizable
Third Generation
Architectures-Gerald J. Popek
Formal Requirements for Virtualizable Third Generation Architectures
ACM
(系统自动生成,下载前可以参看下载内容)
下载文件列表
FormalFormalRequirementsforVirtualizableThirdGenerationArchitechture.pdf
1999-2046 搜珍网 All Rights Reserved.
本站作为网络服务提供者，仅为网络服务对象提供信息存储空间，仅对用户上载内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。