電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
給出了一個寄存器架構(gòu)的虛擬機(jī)模型Micro-Dalvik。包括虛擬機(jī)指令集和虛擬機(jī)運(yùn)行時狀態(tài)的形式化，并以大步操作語義（big-step operational semantics）的方式給出了指令單步執(zhí)行的狀態(tài)轉(zhuǎn)換以及定義在單步執(zhí)行上的自反傳遞閉包來表達(dá)虛擬機(jī)程序的運(yùn)行時狀態(tài)轉(zhuǎn)換．最后，以定理的形式描述了語義滿足的性質(zhì)，并得到證明．這個模型的指令集包括了大部分Dalvik虛擬機(jī)指令。為獲得形式語義的清晰化，它在Dalvik VM指令集上進(jìn)行了必要的抽象對其實(shí)質(zhì)沒有改變。因而具有較大的實(shí)用性．該形式化模型通過了定理證明助手Isabelle/HOL的驗(yàn)證．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- TQT507虛擬機(jī)鏡像用戶使用文檔
- Linux虛擬機(jī)之tcpdump命令操作詳解 23次下載
- 基于蟻群算法優(yōu)化的虛擬機(jī)放置策略綜述 17次下載
- 基于自適應(yīng)的虛擬機(jī)進(jìn)程實(shí)時監(jiān)控系統(tǒng) 19次下載
- 基于任務(wù)映射的云數(shù)據(jù)中心虛擬機(jī)選擇策略 17次下載
- 基于冗余跳變的5G核心網(wǎng)虛擬機(jī)遷移方法 13次下載
- 如何將VMware虛擬機(jī)隨開機(jī)自啟
- Dalvik虛擬機(jī)進(jìn)程模型分析 10次下載
- 基于虛擬機(jī)負(fù)載高峰特征的虛擬機(jī)放置策略 0次下載
- 深入JAVA虛擬機(jī) 1次下載
- Java虛擬機(jī)基礎(chǔ) 0次下載
- 基于虛擬機(jī)技術(shù)的DSC仿真系統(tǒng)設(shè)計(jì)
- 虛擬機(jī)及虛擬化技術(shù)
- 有關(guān)虛擬機(jī)及虛擬化技術(shù)的幾點(diǎn)詮注
- 微軟java虛擬機(jī)下載
- 什么是虛擬機(jī)？什么是虛擬化？ 1118次閱讀
- 什么是虛擬機(jī)？虛擬機(jī)真的那么好用嗎？ 463次閱讀
- KVM虛擬機(jī)管理和基本使用 1327次閱讀
- 一文帶你了解虛擬機(jī) 2913次閱讀
- 虛擬機(jī)：Hadoop集群的配置 2811次閱讀
- 虛擬機(jī)：Hadoop集群的搭建 3219次閱讀
- 虛擬機(jī)：為icescrum 配置MySQL 2158次閱讀
- 虛擬機(jī)：Ubuntu的基本配置 3118次閱讀
- 虛擬機(jī)：Linux如何測試 DBUS Daemon 4368次閱讀
- 虛擬機(jī)：Ubuntu配置gitweb的步驟 2641次閱讀
- 虛擬機(jī)：Ubuntu的Thinkpad電池設(shè)置 2548次閱讀
- 虛擬機(jī)：QEMU虛擬機(jī)和主機(jī)無線網(wǎng)絡(luò)通訊設(shè)置 5476次閱讀
- 虛擬機(jī)：Ubuntu恢復(fù)root密碼 3002次閱讀
- 由淺入深的了解Java虛擬機(jī) 2339次閱讀
- VMware軟件虛擬機(jī)和PLC通訊的連接方法 2.4w次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論