|
关注：1
2013-05-23 12:21
求翻译：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 with. The model and supporting tools are publicly available – 是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
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 with. The model and supporting tools are publicly available –
问题补充： |
|
2013-05-23 12:21:38
ARM指令集架构，ARMv7体系。这是一个现代的RISC架构具有许多先进的功能。正规化是详细和广泛的。已开发大量的工具支持，与模型的访问和易于使用的目标。模型和支持工具是公开的 - 我们希望鼓励他人利用这一资源。本文解释我们单子规范方法，并给出了一些细节，一直努力
|
|
2013-05-23 12:23:18
ARM指令套建筑、armv7。 这是一种现代RISC结构,许多高级功能。 正式化的详细和广泛。 已制定了大量工具支持,目的在于使该模式可容易,与工作。 《示范和支助工具是可公开索取-我们要鼓励其他国家作出利用这一资源。 这份文件解释我们monadic规格办法和使一些具体的努力,已
|
|
2013-05-23 12:24:58
胳膊指令组建筑学， ARMv7。 这是现代RISC建筑学与许多先进的特点。 形式化是详细和广泛的。 可观的工具支持开发了，打算做式样容易接近和容易工作与。 模型和支撑工具公开地是可利用的-我们希望鼓励其他利用这种资源。 本文解释我们的一元规格方法并且提供是努力的有些细节
|
|
2013-05-23 12:26:38
ARM 指令集体系结构中，ARMv7。这是一个现代的 RISC 体系结构与许多高级功能。形式化是详细和广泛。制定了相当大的工具支持，可访问和容易地制作模型的目标。模型和支持工具是可公开获得 — — 我们要鼓励他人，使该资源的使用。本文解释了我们的一元的规范方法，并提供一些详细的努力已
|
|
2013-05-23 12:28:18
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
