• 象征

  • 引用3篇文章[sw26690]
  • 象征:控制的工具-明确的数据符号状态 空间 探索. 我们呈现象征:一个工具。。。从内部看,symbinance扩展了标准明确的-状态 状态 空间 探索用SMT机械来处理。。。在一个符号执行者和一个明确的-状态模型检查器。关键的区别在于。。。象征性的防止如此重复探索状态 空间图表。这是至关重要的。。。
  • 电视

  • 引用2篇文章[sw09811]
  • 过程代数的根与明确的 状态 空间 探索但除了行动。。。
  • 凯撒

  • 引用8篇文章[sw29138]
  • 可用于探索,在飞行中或用尽全力,图表。。。称之为标记转移系统,可达图,状态 空间等等)与这种行为相对应。。。与许多可以执行明确的-状态在飞行中验证。。。
  • 伊巴奇

  • 1条引用【sw19388】
  • 选择优先于明确地合并相邻拷贝号之间的相关性信息. 后验推理。。。链蒙特卡罗技术探索这个空间所有可能的联系。在这个。。。
  • 拉帕克

  • 在1654篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 岩浆

  • 引用3055篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 参考6129篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 引用8904篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 引用于1792篇文章[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 单数

  • 在1441篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • Ada95型

  • 引用292篇文章[sw01753]
  • Ada是一个结构化的,静态类型的,命令式的,广泛的。。。
  • 库达

  • 引用于1234篇文章[sw03258]
  • NVIDIA®CUDA®工具箱提供全面的开发。。。
  • 旋转

  • 引用716篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。