• 拍打

  • 参考33篇文章[sw13258]
  • 公平假设,精化检查和概率模型 检查. 为了获得良好的性能,先进的优化技术。。。还原,对称性还原,过程计数器抽象,平行 模型 检查...
  • 普维斯塔

  • 17条引用[sw08423]
  • PVeStA:一个平行统计的模型 检查以及定量分析工具。统计学模型 检查... 极大地提高了统计的可伸缩性模型 检查,并使这种分析的可扩展性可用。。。PVeStA,一个扩展和并行化灶神星的统计数据模型 检查工具[10]。PVeStA支持。。。此外,它可以模型 检查可以表示为:(i)PCTL/CSL。。。
  • 西姆帕

  • 引用3篇文章[sw08414]
  • 原始并发程序。状态爆炸期间模型 检查 平行此模板的实例化。。。
  • 再见

  • 引用41篇文章[sw12089]
  • 切片,对程序、程序的部分评估并行化(考虑粒度控制),包含。。。这是不可能的选中的在完全编译的时候模型程序的。。。
  • 象征

  • 引用3篇文章[sw26690]
  • 钻头精密工具模型 检查属于平行C和C++程序。它建立在。。。符号执行器和显式状态模型检查人员。在象征中存在的关键区别。。。
  • 速度

  • 引用32篇文章[sw08653]
  • 图解说明检查的准确性、稳定性和性能特点平行内核,而说明性的。。。各种地震工程问题,如建模动态土壤结构和场地城市。。。
  • GPU棱镜

  • 引用2篇文章[sw19543]
  • 扩展基于平行概率算法模型 检查为GPU调整的。。。
  • 路德维希

  • 参考第23条[sw02229]
  • 有意,多种复杂流体模型在不同的平衡态下,自由能很简单。。。物理的问题,而不是关于平行计算问题。到目前为止,路德维希的主要。。。详述一些平行实施问题,如平行... 静态和移动固体边界,以及检查它的表现。。。
  • 塔斯社_

  • 引用3篇文章[sw04889]
  • 基于消息传递平行程序。塔斯使用符号执行和模型 检查验证技术。。。通过引入平行性以及其他许多优化。。。
  • 地理计数

  • 引用2篇文章[sw24240]
  • 平行方式);3) 对未采样位置进行预测;4) 进行贝叶斯分析模型 检查程序。。。软件包,无缝嵌入C++程序和平行计算技术被用来加速。。。
  • 可能的

  • 引用2篇文章[sw04134]
  • 呈现一个新版本的probbedine-a平行概率系统验证工具。。。兼顾定量和定性模型-检查. 它也是严格的多线程的,因此。。。保护用户免受平行在分布式内存环境中计算。。。
  • 真相/SLC

  • 引用8篇文章[sw01623]
  • 真相/SLC--a平行并行系统验证平台。并行软件和硬件系统播放。。。成功的自动化验证方法,称为模型 检查,试图证明。。。
  • PetFMM公司

  • 参考6篇文章[sw06828]
  • 在串行或平行模式。PetFMM的一个突出特点是它的容量。。。处理器和模型工作评估和沟通评估。检查最新消息。。。
  • 西格玛*

  • 参考11篇文章[sw21731号]
  • 可以有效地组合和等效选中的. 因此,西格玛*实现了全自动分析。。。模型由Sigma*推断,流程序的性能可以通过并行代码生成。。。
  • 否定

  • 1条引用[sw09761]
  • 顺序和平行成分(参见[1])。此外,工具箱还有一个模型-检查组件。。。
  • 侏儒

  • 引用3篇文章[sw34668]
  • 语言(SBML)。PyBioNetFit提供了一套并行元启发式算法(差分进化,粒子群优化。。。模型参数化,PyBNF支持通过引导或贝叶斯方法进行不确定性量化,以及模型 检查. PyBNF。。。
  • 欧米茄

  • 引用8篇文章[sw09793]
  • 为这样一个新的模型叫欧米伽汉。它完全有助于。。。检查以及解释的用户语言和实现语言Java之间的无缝访问。平行...
  • 墨西哥煎玉米卷

  • 参考6篇文章[sw07668]
  • 对称破坏谓词允许平行,自动计算Java的紧边界。。。基于SAT求解的工具,模型 检查或SMT解决方案。。。
  • 抓斗

  • 1条引用[sw37863]
  • 享受:(1)高模型数据密度估计的灵活性(2) 高效平行训练计算。。。允许利用化学领域的知识进行化合价检查. 实验结果表明,该石墨炉具有良好的性能。。。接近GCPN。在对模型对于具有强化学习的目标导向属性优化。。。