• 引用15篇文章[sw02075]
  • 应用程序。一个自动变换介绍了SystemC的PLC软件。综合流程。。。应用于PLC程序的验证。等价应用检查和属性检查。。。
  • 循环递归

  • 1条引用[sw16864]
  • 迭代循环到相等的递归方法。这个转型实现所需的更改转型...
  • 迷你球

  • 引用了37篇文章[sw05179]
  • 中心是仿射独立的。通过几何图形转型适当的概括,它适用于。。。边界上的固定点是相等的关于求最小范数的问题。。。
  • libMC公司

  • 引用42篇文章[sw06615]
  • 程序首先用于开发相等的以一元和二元的形式重新表述。。。操作员重载方法(与程序相反转型技术)自动放松和次梯度。。。
  • 阿雷普

  • 引用9篇文章[sw13167]
  • 表示,我们因此得到了一个快速傅里叶转型我们的算法是基于。。。表示被考虑和操纵,而不是等价性已经完成的表示类。。。离散线性信号的快速算法变换...
  • 凯撒

  • 引用8篇文章[sw29138]
  • 生成的图形,包括模型检查,等价性检查和目视检查。以filename.lotos作为输入,它。。。在filename.lotos中定义的操作,caesar执行连续的转型步骤并生成一个C程序。。。
  • pyFFTW公司

  • 参考6篇文章[sw15538]
  • 统一的接口变换FFTW可以表演的。两个复杂的。。。跨步阵列,这使得它几乎具有相等的标准和实FFT函数。。。
  • R2D公司

  • 引用2篇文章[sw26497]
  • 目的转型,在运行时,将半结构化RDF数据转换为相等的特定于域。。。每个阶段的性能图转型关系可视化的过程和屏幕截图。。。
  • 埃雷斯

  • 引用8篇文章[sw12686]
  • 其他现有方法。扩展行等价性和移位法。。。几个多项式。ERES算法执行row转换在直接形成的矩阵上移动。。。
  • Emlk2d型

  • 引用2篇文章[sw13516]
  • 相等的最大似然估计和条件期望。这个转型恢复正常。。。
  • HR-SQL

  • 1条引用[sw32283]
  • 算法变换包含假设定义的数据库相等的一个没有假设的人。。。
  • 塔斯社_

  • 引用3篇文章[sw04889]
  • 确定两个程序在功能上相等的. 这在科学计算中特别有用。。。一种算法的顺序编码,然后逐渐转型通过引入。。。
  • 西格玛*

  • 引用8篇文章[sw21731]
  • 对过度近似程序行为的改进,Sigma*变换任意源代码表示成忠实的程序。。。传感器可以有效地组成和等价性选中的。因此,西格玛*实现了全自动分析。。。
  • 库切

  • 引用3篇文章[sw28326]
  • 程序使用精心选择的多项式谱转型为了加速Lanczos方法的收敛。。。理论。我们将我们的实现与相等的CPU实现,并显示使用。。。
  • 极距

  • 1条引用[sw10305]
  • 第一个程序(POLRANGE)是转型李代数生成元中的多项式。。。将数值系数转化为相等的显示自由选择但规定的顺序的形式。。。
  • 奥丁瓦尔

  • 1条引用[sw11847]
  • 第一个程序(POLRANGE)是转型李代数生成元中的多项式。。。将数值系数转化为相等的显示自由选择但规定的顺序的形式。。。
  • 算法923

  • 引用5篇文章【sw20231】
  • 基于酉转换,使用街区户主转换并给出旋转,这是适用的。。。D类纳米线,并用数值表示等价性基于哈密顿量的定义。。。
  • 常数Q变换

  • 引用2篇文章[sw20496]
  • 箱子是相等的。相反的转型提出了一个合理的质量(大约。。。系数。这里有高Q因子的CQT,相等的每倍频程12-96个音箱。。。
  • 未绑定

  • 参考第4条[sw22613]
  • 好。α等操作-等价性避免替换的捕获看起来很简单,但是很微妙的错误。。。消息),并与Haskell的monad集成变压器图书馆。。。