• 地图还原

  • 在234篇文章中引用[sw00546]
  • MapReduce是一种新的并行程序设计模型最初是为大规模web内容处理而开发的。。。MapReduce提供了一个利用商品的机会硬件对于大规模并行数据分析应用程序。。。MapReduce的通信代价研究模型,然后我们给出了一个初步的实现。。。
  • 乌克利德

  • 引用25篇文章[sw04657]
  • 用于分析模型属于硬件以及软件系统。乌克利德。。。
  • 泡沫

  • 引用了353篇文章[sw04317]
  • 用户充分利用计算机硬件由他们支配。打开,打开泡沫。。。功能(例如数值方法、网格划分、物理模型,…)被编译到各自的共享库中。。。
  • 莫代利卡

  • 引用86篇文章[sw04352]
  • 模型有超过十万个方程式的。Modelica适合并用于硬件...
  • 诽谤

  • 参考12篇文章[sw19384号]
  • 贝叶斯状态空间建模论高性能硬件使用LibBi。LibBi是一个软件包。。。状态空间建模现代计算机上的贝叶斯推理硬件,包括多核中央处理。。。为给定的模型,推理方法和硬件平台。在展示软件时。。。硬件. 文中给出并发展了两个例子,一个是线性三元windkessel模型...
  • ISDL

  • 在10篇文章中引用[sw02314]
  • 生成汇编程序、反汇编程序、编译器、模拟器和硬件 模型. 此外,还比较了ISDL与各种。。。
  • 马克

  • 在38篇文章中引用[sw04228]
  • 设计问题。以其创新的技术和建模Marc可以让你模拟复杂的方法。。。你的优势硬件结合易于使用的建模解决方案,你真的可以。。。
  • Hadoop公司

  • 引用107篇文章[sw08481]
  • 使用简单的编程跨越计算机集群模型. 它被设计成从。。。计算和存储。而不是依靠硬件为了提供高可用性,库本身。。。
  • 格泽尔

  • 参考6篇文章[sw04151]
  • 语言验证建模 硬件在本文中,我们考虑一个高。。。使用模拟器并支持硬件设计。语言没有语义。。。将此域与时间自动机关联模型我们已经进行了验证。。。已经证明了硬件简化DES算法说明。我们有。。。
  • 茂物

  • 引用36篇[sw06858号]
  • 模型检查已被证明是在中进行验证和调试的有效技术硬件... 开发的系统是特定领域的建议模型检查引擎可能比。。。
  • CloudSim公司

  • 引用24篇文章[sw10724]
  • CloudSim:一个新的框架建模以及云计算基础设施和服务的模拟。云。。。云基础设施(硬件软件和服务)模型在不同的负载下,能量。。。
  • 理学硕士马克

  • 17条引用[sw08739]
  • 设计问题。以其创新的技术和建模方法学,Marc可以让你模拟复杂的。。。你的优势硬件结合易于使用的建模解决方案,你真的可以。。。
  • FoCs公司

  • 引用了20篇文章[sw01591]
  • 未来,工业硬件设计将继续使用模拟和模型检查。。。
  • Cadence SMV公司

  • 27条引用[sw07795]
  • Cadence SMV是一个象征模型检查工具,允许您正式验证时间。。。有限状态系统,如计算机硬件设计。也就是说,与其写。。。验证通常等同于等价性检查,模型检查基本上更一般。它允许。。。
  • 消防员

  • 参考6篇文章[sw10594]
  • 已成功应用于硬件验证和模型检查。我们试过消防员。。。
  • 花球

  • 引用4篇文章[sw09919]
  • 提议建一个新图书馆模型并核实硬件Coq证明助手的电路。。。独立类型)数据类型模型电路结构和意义函数。。。
  • KORBX公司

  • 引用了55篇文章[sw04341]
  • 现代设计与资源硬件. KORBX线性规划软件系统包含四个。。。线性规划应用模型被军事空运司令部的工作人员使用。。。
  • 马科姆

  • 参考6篇文章[sw07932]
  • 取决于可用的硬件. 所涵盖的概念模型麦康的世界是有限的。。。
  • VPDSL

  • 1条引用[sw16254]
  • 流动。我们提出了一种模型 硬件复杂制造系统的配置,例如。。。硬件配置用作虚拟配置硬件真正控制软件的平台。。。域特定语言(DSL)建模这个硬件要模拟和使用的配置。。。模型-驱动工程方法来生成实现模拟器的软件组件。。。
  • 简单化

  • 引用4篇文章【sw30738】
  • 最先进的检测技术模型论消费档次硬件大规模地。SimpleDet支持。。。