• 乌普巴尔

  • 612篇参考文献[SW04702]
  • 基础研究共同开发的系统电脑丹麦奥尔堡大学的科学…建模为一个集合-确定性的具有有限控制结构和实值的过程…
  • 埃兰

  • 108篇参考文献[SW02179]
  • 改写。但是重写是固有的。-确定性的由于几个规则可以适用于不同的…同一学期,在埃兰,A计算可能有几个结果。这方面是采取…只有一个结果。这种声明性处理决定论是战略语言的一部分。提供用于顺序合成、迭代的基元,确定性的-确定性的选择基本策略…
  • 航天飞机

  • 60篇参考文献[SW10939 ]
  • -确定性的动力学。它将多面体与连续集的支持函数表示相结合。计算
  • UPPAAL2K

  • 42篇参考文献[SW01595]
  • 基础研究共同开发的系统电脑丹麦奥尔堡大学的科学…建模为一个集合-确定性的具有有限控制结构和实值的过程…
  • 弗拉塔

  • 15篇参考文献[SW04142]
  • 操作与分析-确定性的整数程序(也称为计数器自动机)-递归程序-检查错误控制状态是否可达终止分析递归程序计算终止先决条件计算递归程序的总结…
  • X速

  • 4篇参考文献[SW2015]
  • 线性动力学和-确定性的输入。XFAST开发计算的多核功率…
  • RAXML

  • 12篇参考文献[SW0716]
  • 具有统计方法的大型系统发生树计算上的密集的。我们最近引入了简单的启发式算法…本文提出了一个-确定性的我们的算法的并行实现,在一些…
  • 袋泡茶

  • 6篇参考文献[SW08980]
  • 这台机器的操作完整性计算这对调试器提出了新的要求…非决定论,控制能力-确定性的步骤,删除上下文信息,切换渴望…
  • 树自动机

  • 3篇参考文献[SW28 835]
  • -确定性的自动机包括成员查询、约简、交叉、联合和空洞检查。计算
  • TOP/DOMDEC

  • 9篇参考文献[SW20520]
  • 使用几种方法之一的负载平衡-确定性的优化算法。TOP/DOMDEC还提供实时…它们在并行求解中的应用计算的流体力学和固体力学问题…
  • 福斯特2

  • 5篇参考文献[SW2362]
  • 生成可能的形式抽象(可能)-确定性的离散时间马尔可夫过程(DTMP)定义在…程序运行在MATLAB中并采用并行计算基于向量演算的快速操作…
  • 阿尼玛

  • 4篇参考文献[SW10101]
  • 重写逻辑检查计算(以参数和逐步的方式)。痕迹检验与…有关重写逻辑理论,允许-确定性的一个给定的无条件重写理论的执行…从选定的状态开始计算树,导航的痕迹…
  • TCCP

  • 3篇参考文献[SW28 619]
  • 适用于反应系统建模的语言。这个计算的CCP模型是基于Agent的模型。参数W.R.T.一个约束系统-确定性的. 本文介绍了TCPP解释器系统。
  • CSP

  • 1篇参考文献[SW0868]
  • 复杂并发系统由于-确定性的进程的执行顺序和同步…跟踪并发和显式同步的基础计算在进程代数中,如CSP。追踪
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • UCI ML

  • 2799篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…