• 工艺

  • 引用5篇文章[sw01021]
  • 对高效设计至关重要异步 电路. 静态数据流结构等概念。。。
  • 石化

  • 在26篇文章中引用[sw09784]
  • 信号转移图描述异步控制器。石化能够解决。。。编码问题与生成速度无关电路. Petrify还包括另一个名为draw的应用程序。。。
  • 级联

  • 引用8篇文章[sw01385]
  • 支持异步控制器。它使用了一个广义的。。。使用现有的合成工具(石化为SI电路,用于XBM合成的3D)。通过分解,肯定。。。
  • 选择器

  • 引用28篇文章[sw00085]
  • Boolector:一个有效的位向量SMT求解器。。。
  • 差距

  • 在2974篇文章中引用[sw00320]
  • 是一个离散代数系统。。。
  • 拉帕克

  • 在1649篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 数学软件

  • 引用6090篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用547篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • R

  • 参考8836篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

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

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

  • 引用375篇文章[sw00989]
  • 用于稀疏LU分解的ANSI C代码。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。