摘要：硬件组件的当代发展是增加计算能力集中度的先决条件。系统软件的发展速度要慢得多。为了有效利用现有资源，需要建模。形式化材料中存在的元素为建模提供了基础。通过示例来展示该概念的有效性。
作者：Asen Petkov Iliev
论文ID：1402.4929
分类：Operating Systems
分类简称：cs.OS
提交时间：2014-02-21
PDF 下载： 英文版 中文版pdf翻译中