• 系统验证日志

  • 引用4篇文章[sw13593]
  • 使用systemVerilog的指南硬件设计和建模. 在更新的第二版中,这个。。。
  • 单满贯

  • 引用的第41条[sw18884]
  • 测量,一般运动的使用模型对于平滑的摄像机移动,和解决方案。。。配备标准PC和摄像头硬件. 这项工作扩展了机器人系统的范围。。。
  • 旗鱼

  • 参考6篇文章[sw16828号]
  • 不同的LBM模型以及针对不同类型的硬件. 我们讨论将军。。。多种LBM的实现与优化模型,都是单一部件(BGK、MRT、ELBM。。。从事这类研究的研究人员硬件以及类似的代码。。。
  • 珍珠

  • 引用4篇文章[sw02990]
  • 建模珍珠实时软件设计方法。。。介绍了珍珠的规格。硬件软件是模型化有了语言规范PEARL。。。
  • 卡桑德拉

  • 引用了20篇文章[sw10949]
  • 为客户机提供简单的数据模型支持对数据布局的动态控制。。。以廉价商品为原料硬件并处理高写吞吐量,同时不牺牲。。。
  • DTAM

  • 引用5篇文章[sw18889]
  • 整个图像与整个稠密图像对齐模型. 我们的算法是高度可并行的。。。使用当前商品GPU硬件. 我们证明了模型允许卓越的跟踪性能。。。
  • 种族

  • 1条引用[sw02830]
  • 模拟的模拟器硬件 模型. 第一个是有用的。。。从高密度脂蛋白(HDL)获得的信息模型. 本文提出的框架,种族。。。快速指令集模拟与快速硬件同时合成。。。
  • GKLEE公司

  • 在10篇文章中引用[sw12794]
  • 基于保守静态分析或保守建模SIMD并发产生假警报导致。。。实际的硬件. 我们描述了GKLEE的体系结构,它的符号虚拟机模型,并描述。。。
  • 不锈钢

  • 1条引用[sw20707号]
  • 设计包括修改两个程序模型硬件组织。这种探索经常发生。。。目标是允许编程模型以及潜在的硬件允许单独发展,同时。。。微体系结构和内存与编程交互作用模型以及通信系统。该软件包提供。。。
  • 引用9篇文章[sw15266]
  • 时间预测模型基于应用程序和硬件资源。。。
  • 伊里特

  • 引用5篇文章[sw21528]
  • 尺寸)。IRIT固体模型师在不同的硬件平台,包括整个。。。
  • 通用电气代码

  • 引用了60篇文章[sw06272号]
  • 它允许用户关注不同的建模以及用Gecode编程任务。免费Gecode。。。当今商品的多重核心硬件对于并行搜索,提供一个已经有效的基础。。。
  • 世爵

  • 引用4篇文章[sw21561]
  • 处理器通信。这个模型允许在硬件通信性能差,这样。。。
  • 圣殿

  • 引用2篇文章[sw28617]
  • 校对助理。以前的作品硬件规范和建模使用重写逻辑系统。。。验证给定的硬件规范。虽然简单,但验证。。。
  • 工控机

  • 引用8篇文章[sw11783]
  • 硬件设计。ipc是一个旨在扩展PEPA的工具建模能力。。。
  • 斯卡皮

  • 引用9篇文章[sw07616]
  • 模型,且不作性能保证,全面、详细、准确的性能数据适用于不同的硬件...
  • 电子显微镜

  • 1条引用[sw23369]
  • 智能手机功耗分析工具硬件组件。智能手机电源建模是一项重要的技术。。。用户、应用程序开发人员和硬件制造商将建立能源意识系统。相比传统的离线。。。产生动力的优势模型. 但是,非常低的更新率。。。权力建模这既反映了用户环境的多样性,也反映了智能手机的多样性硬件复杂性。。。
  • 酒窝

  • 引用4篇文章[sw29880]
  • 硬件堆栈。我们介绍Dimple,一个完全开源的概率API建模. 酒窝允许。。。模型. Dimple还可以作为GP5的编译器硬件推理加速器。。。
  • EDPEPPS公司

  • 引用5篇文章[sw02269]
  • 系统模型库包含有关底层系统和硬件还有环境。。。系统。关于仿真的一些验证结果模型也会出现。。。
  • UPC公司

  • 引用4篇文章[sw06131]
  • 统一规划模型用于共享和分布式内存硬件. 程序员会看到。。。使用单程序多数据(SPMD)模型在计算中。。。