搜索结果: 1-4 共查到“计算机软件 x86”相关记录4条 . 查询时间(0.083 秒)
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...
X86平台上高效高安全性的设备虚拟化模型
设备虚拟化 设备模型 输入输出存储器管理单元
2009/9/21
针对现有设备虚拟化模型存在性能和安全性等方面的不足，提出了一种基于硬件IOMMU的高效且安全的设备直接分配模型，并在Xen中以显示设备为例实现了该方案。该模型安全性优于基于IOVM架构的泛虚拟化设备模型。基准测试工具Viewperf测试结果表明,该方案在性能上接近于非虚拟化平台，明显优于通常的设备模拟模型。
基于X86平台的嵌入式BIOS可配置设计
嵌入式 可配置 X86平台
2009/4/17
基于X86平台的嵌入式计算机得到了广泛应用。该文就如何有效提高嵌入式BIOS的配置速度，抛弃传统的BIOS开发的繁琐过程，缩短BIOS的开发周期，提出了一种不同于传统BIOS的新的设计方法——将POST过程的检测和初始化代码与初始化数据分离，以简化配置过程对核心代码的维护。实践证明，该方法使嵌入式BIOS的配置工作更加简单、高效。