• Matlab语言

  • 引用13100篇文章[sw00558]
  • 应用包括信号处理和通信、图像和视频处理、控制系统,测试和测量。。。
  • 数学软件

  • 参考6235篇文章[SW55004号]
  • 世界顶级应用用于计算。但它远不止。。。部署个人或企业解决方案。计算机代数系统...
  • 自动

  • 引用922篇文章[sw01059]
  • 系统常微分方程的形式。。。多处理器;所以是的可应用的相当大系统微分方程。。。
  • gmp

  • 引用了275篇文章[sw00363]
  • 密码学应用还有研究,互联网安全应用,代数系统,计算代数研究。。。
  • 阿巴克斯

  • 参考1561篇文章[sw04215]
  • 问题涉及广泛的工业领域应用在汽车工业工程工作组。。。考虑整车荷载、动态振动、多体系统碰撞/碰撞,非线性静态,热耦合和声学。。。
  • 可口可乐

  • 引用了1856篇文章[sw00161]
  • 正式证据管理系统它提供了一种形式化的语言来编写数学定义,可执行的算法。。。机检校样交互开发。典型的应用包括编程语言语义的形式化。。。
  • 林多

  • 引用548篇文章[SW048号文件]
  • 系统-优化软件:整数规划,线性规划,非线性规划,随机规划,全局优化林多应用...
  • 流量张量

  • 引用498篇文章[sw15170]
  • 网络研究,但是系统一般到可以可应用的种类繁多。。。
  • 自动-86

  • 引用277篇文章[sw04220]
  • Rnand的系统常微分方程的形式。。。多处理器;所以是的可应用的相当大系统微分方程。。。
  • 莫德

  • 在685篇文章中引用[sw06233]
  • 高性能反射语言和系统支持等式和重写逻辑规范和编程。。。广泛的应用莫德在很大程度上受到了OBJ3语言的影响。。。
  • 洛托斯

  • 在152篇文章中引用[sw02961]
  • 互连)架构,尽管它是可应用的分布式、并行系统一般来说。在洛托斯。。。
  • 斯维姆莱特

  • 引用263篇文章[sw04076]
  • 问题自然发生在应用像搜索引擎和推荐者系统。此外,这个版本还包括。。。1998a],图像识别任务,生物信息学和医学应用。许多任务具有稀疏性。。。
  • 克洛诺斯

  • 引用273篇文章[sw01270号]
  • 依赖的系统.这些系统通常是复杂安全关键的一部分应用比如飞机。。。有严重后果。因此,实时系统需要严格的建模和指定。。。
  • PHC包装

  • 引用226篇[sw00705]
  • 同伦延拓。多项式的系统发生在各种各样的应用域。同伦延拓法。。。利用多项式中的结构实现系统尤其是它的稀疏性。在本文中。。。
  • 法弗

  • 引用116篇文章[sw04123]
  • 在其适用性更复杂的系统我们解决主要问题。。。
  • 乌帕阿尔

  • 引用647篇文章[sw04702]
  • 瑞典大学。它适合于系统可以建模为一个集合。。。通道或共享变量[WPD94,LPW97b]。典型的应用领域包括实时控制器和通讯。。。
  • 塞萨尔

  • 引用161篇[sw08510]
  • 塞萨尔,一个互动系统分布式辅助设计应用塞萨尔允许进步。。。
  • AETG公司

  • 引用68篇文章[sw09715]
  • 用于各种应用对于单位,系统以及互操作性测试。它产生了。。。计划和详细的测试用例。几次应用大大降低了测试成本。。。
  • DDDAS

  • 引用了29篇文章[sw18325]
  • 动态数据驱动应用 系统:一种新的范式应用模拟和测量。动态数据。。。驱动应用 系统(DDDAS)需要将附加数据合并到执行中的能力应用... 预测能力应用仿真与测量的有效性系统。这显示了潜在的。。。多学科协同合作应用算法,软件系统,和测量值系统涉及的领域。。。
  • PVS公司

  • 引用627篇文章[sw03484]
  • 验证系统:也就是说,一种集成了支持工具和定理证明程序的规范语言。。。它可以用来应用.PVS是一个研究原型:它进化。。。