• 棱镜

  • 引用398篇文章[sw01186]
  • 概率系统。PRISM支持三种概率模型离散时间马尔可夫链,马尔可夫决策过程。。。连续时间马尔可夫链。分析是执行通过模型根据所写的规范检查这些系统。。。PCTL和CSL。这个工具有三个特点模型检查引擎:一个符号,使用bdd(二进制。。。成功地用于概率终止分析,性能,以及服务质量属性。。。
  • 迪马奇

  • 引用509篇文章[sw08221]
  • 真实算法性能最坏情况分析过于悲观和概率模型...
  • 鲁棒控制工具箱

  • 在139篇文章中引用[sw07907号]
  • 控制系统性能以及健壮性。你可以制造不确定性模型通过结合名义动力学。。。植物的影响模型控制系统的不确定性性能找出最坏的组合。。。设计控制器,最大限度地提高鲁棒稳定性和性能. 工具箱自动调谐两个SISO。。。一套装置的控制器模型. 你也可以调整增益调度控制器。。。
  • OMNet公司++

  • 引用66篇文章[sw04170]
  • 无线自组织网络,互联网协议,性能 建模,光子网络等由模型...
  • 古洛比

  • 引用469篇文章[sw04105]
  • 解决方案性能提供广泛的接口,接入行业标准建模语言。。。
  • 科学实验室

  • 参考文献165篇[sw00834]
  • 优化问题。统计信息:工具表演数据分析和建模控制系统设计与分析:标准。。。
  • 夏普

  • 引用41篇文章[sw03100]
  • 指定和分析性能,可靠性和可执行性 模型. 它已经安装在超过。。。模型类型性能,可靠性和可执行性 建模.模型类型包括组合的一种。。。
  • 朱莉娅

  • 引用225篇文章[sw13986]
  • 技术计算的动态语言性能从一开始通过调整和扩展。。。表达式程序设计模型和成功的类型推理,导致好的性能范围很广。。。
  • 神经元

  • 引用了173篇文章[sw03059]
  • 传送连接延迟。这个性能三个出版的网络模型有着不同的穗型。。。
  • 肉豆蔻4

  • 引用200篇文章[sw06905]
  • 检测到可满足性,一个或多个模型是印刷的。Mace4是一个有用的补充。。。有限代数。肉豆蔻4表演在等式问题上比以前更好模型-正在搜索程序Mace2。。。
  • CONOPT公司

  • 引用162篇[sw02791]
  • 迭代。这篇文章包含性能统计范围模型从不同的分支。。。
  • 斯塔普

  • 在38篇文章中引用[sw14216]
  • 提供弱一致性的共享内存模型. 系统跟踪数据拷贝。。。每个数据库的自调整性能 模型,可以大大提高。。。
  • 政治公众人物

  • 在34篇文章中引用[sw03186]
  • 性能并行系统(PEPS)评估。PEPS是一个用来分析随机。。。自动化网络(SAN)模型. 在它的顺序版本中,执行时间的成本是可行的。。。提出了一种基于分布式存储器的PEPStool模型化用SAN形式主义。之后,顺序版本。。。用于预测性能这件事模型...
  • N路工具箱

  • 引用28篇文章[sw12996]
  • PLS的因变量模型;表演多路缩放和定心;表演交叉验证。。。适当数量的部件;表演核心和模型在塔克模型;加上其他。。。
  • 格帕西

  • 引用32篇文章[sw07916]
  • 数据,优化任何功能模型,表演代谢控制分析和线性稳定性分析。。。
  • 四分体

  • 引用373篇文章[sw12177]
  • 和搜索因果关系和统计信息模型. 计划的目的。。。Splus或R.Tetrad是免费软件表演商业程序中的许多功能。。。这些商业程序没有的发现功能表演. 四重奏组曲是独一无二的。。。测量变量的混淆,搜索模型潜在的结构,以及寻找。。。
  • 算法679

  • 引用63篇文章[sw12583]
  • 线性代数子程序。本文描述了一个模型实现和测试软件的水平。。。算法在high上的实现-性能计算机。这个模型实现提供了一个可移植的。。。
  • 伟大的SPN

  • 引用57篇文章[sw00384]
  • 的软件包建模验证,和性能应用广义随机性评估分布式系统。。。基于时间Petri网的实验研究建模技术。它实现了有效的分析算法,允许。。。
  • SparseMatrix公司

  • 在601篇文章中引用[sw04629]
  • 稳健且可重复的实验:稳健是因为性能人工生成矩阵的结果可能会误导。。。几何学(如结构工程,计算流体力学,模型还原,电磁学,半导体器件,热力学,材料,声学。。。