首页> 外文OA文献 >Using EventB to Create a Virtual Machine Instruction Set Architecture

【2h】

Using EventB to Create a Virtual Machine Instruction Set Architecture

机译：使用EventB创建虚拟机指令集架构

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stephen Wright;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Managing changes to a packet-processing virtual machine's instruction set architecture over time [J] . Ralph Duncan International Journal of Computational Science and Engineering . 2019,第2期

机译：随着时间的推移管理对数据包处理虚拟机指令集架构的更改
2. Virtual Ways: Low-Cost Coherence for Instruction Set Extensions with Architecturally Visible Storage [J] . THEO KLUTER, SAMUEL BURRI, PHILIP BRISK, ACM Transactions on Architecture and Code Optimization . 2014,第2期

机译：虚拟方式：具有结构上可见的存储的指令集扩展的低成本一致性
3. Encoding the Java Virtual Machine's Instruction Set [J] . Michael Eichberg, Andreas Sewe Electronic Notes in Theoretical Computer Science . 2011,第4期

机译：编码Java虚拟机的指令集
4. Using EventB to Create a Virtual Machine Instruction Set Architecture [C] . Stephen Wright Abstract State Machines, B and Z . 2008

机译：使用EventB创建虚拟机指令集体系结构
5. A retargetable compiler and virtual machine based methodology for assessment of instruction set architectures. [D] . Stepanian, Robert. 1992

机译：一种可重定向的编译器和基于虚拟机的方法，用于评估指令集体系结构。
6. Understanding Evolutionary Potential in Virtual CPU Instruction Set Architectures [O] . David M. Bryson, Charles Ofria -1

机译：了解虚拟CPU指令集体系结构中的进化潜力
7. Encoding the Java Virtual Machine's Instruction Set [O] . Eichberg Michael, Sewe Andreas 2011

机译：编码Java虚拟机的指令集

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号