|
關注：1
2013-05-23 12:21
求翻譯：This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The formalization is detailed and extensive. Considerable tool support has been developed, with the goal of making the model accessible and easy to work wi是什么意思？ 待解決
 懸賞分：1
- 離問題結束還有
This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The formalization is detailed and extensive. Considerable tool support has been developed, with the goal of making the model accessible and easy to work wi
問題補充： |
|
2013-05-23 12:21:38
本文提出了一種新hol4形式化目前ARM指令集架構，ARMv7體系。這是一個現代的RISC架構具有許多先進的功能。正規化是詳細和廣泛的。已開發大量的工具支持，與模型的訪問和易于使用的目標。模型和支持工具是公開的 - 我們希望鼓勵他人利用這一資源。本文解釋我們單子規范方法，并給出了一些細節，一直努力
|
|
2013-05-23 12:23:18
本文件介紹了一個新的歐4正式化的目前ARM指令套建筑、armv7。 這是一種現代RISC結構,許多高級功能。 正式化的詳細和廣泛。 已制定了大量工具支持,目的在于使該模式可容易,與工作。 《示范和支助工具是可公開索取-我們要鼓勵其他國家作出利用這一資源。
|
|
2013-05-23 12:24:58
本文介紹當前胳膊指令組建筑學， ARMv7的新的HOL4形式化。 這是現代RISC建筑學與許多先進的特點。 形式化是詳細和廣泛的。 可觀的工具支持開發了，打算做式樣容易接近和容易工作與。 模型和支撐工具公開地是可利用的-我們希望鼓勵其他利用這種資源。 本文解釋我們的一元規格方法并且提供是努力的有些細節
|
|
2013-05-23 12:26:38
本文介紹新的 HOL4 形式化當前 ARM 指令集體系結構，ARMv7。這是一個現代的 RISC 體系結構與許多高級功能。形式化是詳細和廣泛。制定了相當大的工具支持，可訪問和容易地制作模型的目標。模型和支持工具是可公開獲得 — — 我們要鼓勵他人，使該資源的使用。本文解釋了我們的一元的規范方法，并提供一些詳細的努力已
|
|
2013-05-23 12:28:18
null
|
湖北省互聯網違法和不良信息舉報平臺 | 網上有害信息舉報專區 | 電信詐騙舉報專區 | 涉歷史虛無主義有害信息舉報專區 | 涉企侵權舉報專區
