• 拉帕克

  • 引用1600篇文章[sw00503]
  • 3级BLAS - 一套规格对于执行各种类型的Fortran子程序。。。由制造商提供。高效机器-具体的BLAS的实现是可用的。。。表现不如明确地优化的实现。。。
  • CPLEX公司

  • 引用2519篇文章[sw04082]
  • 解决线性规划及相关问题。明确地求解线性或二次约束优化问题。。。
  • 麦考拉2

  • 在1611篇文章中引用[sw00537]
  • 安装计算方法明确地和他们在一起。上同调,Macay2可以计算上同调。。。
  • 伽马

  • 引用829篇文章[sw04978号]
  • 通用代数建模系统明确地设计用于线性、非线性和混合整数建模。。。的耗时详细信息具体的机器和系统软件实现。GAMS特别有用。。。
  • 莫德

  • 引用656篇文章[sw06233]
  • 支持等式逻辑和重写逻辑的系统规范以及广泛的编程。。。等式逻辑子语言。除了支持等式规范在编程方面,Maude还支持重写逻辑计算。。。
  • PVS公司

  • 引用607篇文章[sw03484]
  • 验证系统:即规范语言集成了支持工具和定理证明程序。。。
  • Gmsh公司

  • 引用548篇文章[sw00366]
  • 几何,网格,解算器和后处理。这个规范对这些模块的任何输入。。。
  • Z

  • 引用274篇文章[sw10291]
  • 使用Z。规范精炼和证明。这本书是一个深入的介绍。。。规范语言$Z$。它主要是针对用户的;背景理论是。。。正式纪律的提升规范还有推理?另一个令人失望的是。。。
  • 棱镜

  • 引用398篇文章[sw01186]
  • 通过对这些系统进行模型检查规格写在概率时间逻辑PCTL。。。
  • WordNet公司

  • 第384条引用[sw01777]
  • 只是单词组成字母串,但是具体的词义。结果,文字。。。
  • 抱怨

  • 引用374篇文章[sw00610]
  • 许多平台和操作系统。更多具体的产品信息、库内容和可用性单击。。。
  • 泡沫

  • 引用369篇文章[sw04317]
  • 包括80多个模拟求解器应用程序具体的在机械和工程问题。。。
  • 斯帕耶斯

  • 引用305篇文章[sw10160]
  • MCMC)其效率取决于具体的问题就在眼前。这需要大量的编码。。。
  • 防喷器

  • 引用217篇[sw17324]
  • 由爆炸产生的对准到一个位置-具体的得分矩阵,并使用。。。这个矩阵。结果位置-具体的迭代爆破(PSIBLAST)程序的运行速度几乎相同。。。
  • 吉咪

  • 参考文献188篇[sw04597]
  • 建模语言(JML)是一种行为接口规范可用于指定。。。埃菲尔方法与基于模型的方法规范落叶松接口族的探讨。。。规范微积分的精化元素。。。
  • 团结

  • 引用了173篇文章[sw13461]
  • 团结。我们评估统一——一个计算模型,规范钱迪定义的语言和证明系统。。。程序——作为仿真模型的平台规范和分析。我们描述一个基于统一的。。。方法从仿真模型开始规范以一组耦合的。。。用形式证明它们是定理规范. 方法通过生成来说明。。。
  • 兰斯洛特

  • 在293篇文章中引用[sw00500]
  • 这本书主要是关于具体的优化包,讨论的问题有更广泛的。。。
  • 塞萨尔

  • 引用156篇文章[sw08510]
  • 规范以及在CESAR中验证并发系统。本文的目的是。。。对于一组给定的规格. 完成了算法描述。。。受CSP和规格是一组公式。。。计算规格...
  • 代码23

  • 引用266篇[sw06600]
  • 向量T。在具体的乘以t0,t1,…,tf(都在增加。。。
  • 澳大利亚

  • 在252篇文章中引用[sw06367]
  • 低马赫数极限的发展。明确地,我们使用渐近分析来形式化地推导。。。