• 阿姆斯特

  • 1条引用[sw02423]
  • 解决方案是整合现在可用的广播-面向宽带卫星网络接入互联网。。。自适应多播路由(AMRST)协议可靠的以及全球用户的自适应多播服务。。。利用卫星实现多播性能广播能力。仿真结果表明,该方法是可行的。。。
  • 数学软件

  • 引用5880篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 旋转

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

  • 参考文献367篇[sw04091]
  • COMSOL多物理工程仿真软件环境有助于。。。
  • 林帕克

  • 引用514篇文章[sw04209]
  • LINPACK是Fortran子程序的集合,这些子程序。。。
  • 林多

  • 引用535篇文章[sw04448]
  • 林多系统优化软件:整数规划,线性规划。。。
  • z3型

  • 引用496篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • CADP

  • 引用130篇文章[sw04993]
  • “分布式过程的构造和分析”,以前。。。
  • VRP公司

  • 引用987篇文章[sw05207]
  • 车辆路径问题(VRP)是一个重要的问题。。。
  • 莫德

  • 引用659篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 卡桑德拉

  • 引用25篇文章[sw10949]
  • 卡桑德拉:一种分散的结构化存储系统。卡桑德拉是。。。