• 拍打

  • 参考33篇文章[sw13258]
  • 技术在PAT中实现,例如。部分 秩序 减少,对称性减少,进程计数器抽象,并行。。。
  • OFMC公司

  • 27条引用[sw09466]
  • 懒惰的入侵者部分-秩序 减少. 此外,OFMC允许人们分析安全性。。。
  • 俄罗斯

  • 引用44篇文章[sw00813]
  • 方法秩序 减少当它们应用于部分微分方程,附加秩序... 构建新方法。G。斯坦尼巴赫[命令-减少DAE的行方法和方法。。。
  • LTSmin公司

  • 引用18条[sw07214]
  • 符号算法的内存消耗),部分 秩序 减少线性时序逻辑。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • Exp.open2.0动态实现部分 秩序 减少为了避免无关的产生。。。
  • 丽贝卡

  • 引用8篇文章[sw09422]
  • 介绍组合验证、抽象、对称和部分 秩序 减少减少状态空间的技术。。。
  • DPF公司

  • 引用3篇文章[sw12853]
  • 存储和回溯策略,以及动态部分-秩序 减少. 特别是,我们定义独立关系。。。显示动态的有效性部分-秩序 减少基于这些关系,我们应用。。。
  • 菲什帕克

  • 参考文献95篇[sw08012]
  • 第二和第四-秩序可分椭圆的有限差分逼近部分微分方程(PDE)。这些。。。椭圆方程。解算器使用循环减少算法。当问题是奇异的。。。
  • 引用2篇文章[sw34182]
  • 机器。快用一套部分 秩序 减少特定于SDN领域的技术。。。展示我们的部分 秩序 减少技术显著减少了状态空间。。。
  • 繁荣

  • 引用2篇文章[sw01318]
  • 使用BDDs和include实现部分 秩序 减少方法。吊杆用于模型检查。。。
  • 西科

  • 引用2篇文章[sw21210]
  • 内核包括最先进的部分-秩序 减少避免在。。。
  • SimGridMC公司

  • 1条引用[sw23751]
  • 动态状态空间爆炸问题部分 命令 减少和状态相等算法。作为案例。。。
  • 结巴对等

  • 1条引用[sw28575]
  • 某些验证技术,如部分-秩序 减少用于模型检查。我们形式化的口吃等价。。。
  • LCT公司

  • 1条引用[sw30240]
  • 处理输入值和动态部分 秩序 减少(DPOR)结合睡眠设置来避免。。。
  • 皮莫尔

  • 引用15篇文章[sw12978]
  • 明斯特大学建筑模型秩序 减少使用Python编程语言的应用程序。。。约化基方法在参数化中的应用部分微分方程。pyMOR中的所有算法。。。
  • 珍妮特

  • 引用36篇[sw07776]
  • 非线性系统的线性化部分微分方程可以计算出来。一些程序。。。这个Weyl代数中的条目。订购对于可用的微分单项式。。。字典式的,纯词典的,块订购以及他们对案件的延伸。。。订购在多项式的情况下。实现了四个对合准则,以避免不必要的减少在。。。
  • 大利

  • 引用5篇文章[sw09207]
  • 微分方程代数部分,单个或同时。。。找到特殊的相似解,守恒量,减少属于秩序等等。例如,你看到。。。
  • IBCN公司

  • 引用3篇文章[sw03452]
  • 部分 订购系统特征值的性质,并提出了一个算法,该算法可以执行完全订购... 很多情况下,结果减少就计算量而言,没有任何重要的。。。
  • PDE应用程序

  • 1条引用[sw32482]
  • 参数化组件到系统模型-秩序-减少接近。我们提出了一个SCRBE PDE应用程序框架。。。静态冷凝还原基元(SCRBE)部分微分方程(PDE)数值方法包含了几个主要的。。。组件级,参数化模型-秩序 减少对于组件间(端口)和组件内。。。
  • 本征CFA

  • 引用3篇文章[sw14136]
  • 秩序用GPU进行控制流分析(特别是0CFA)。最终,我们的程序转换,减少... 从线性代数运算。这件事的中心减少是“抽象”的教堂编码,而且编码。。。并行,可能使用过时的甚至部分-更新的数据。。。