• 戴康

  • 41篇参考文献[SW04319]
  • 报告可能程序不变性. 不变量是一个财产在某一点上…扩展Daikon来检查附加不变性. 动态的不变量检测运行程序,观察…然后报告性能在观察到的处决中,这是正确的。动态的不变量检测…
  • 投资

  • 10篇参考文献[SW120 34 ]
  • 性能反应体系包括不变性 性能哪个状态都是可达到的状态…财产可以减少到不变性 财产并证明进步性能一个人需要…建立不变性 性能〔15〕。证明不变性 性能对于无限大的有限的,特别重要的…背心支持验证不变性 性能无限状态系统。在背心整合…
  • 西柚

  • 15篇参考文献[SW25129]
  • 导出极值的顺序性能其中不变性. 本文详细介绍了葡萄柚…
  • 斯纳皮亚

  • 148篇参考文献[ SW068 73]
  • 列出并计算各种不变性. 这是一个希望名单…具有特定特异性的小双曲3-流形性能
  • 普金德

  • 6篇参考文献[SW21027 ]
  • 基于感应的模型检验器不变量 性能对于有限或无限状态光泽程序…很容易适应增量的并入不变量发电机,以提高基本的K感应。我们描述…安全验证性能由于增量不变量一代,也大大增加了数量…
  • C2E2

  • 6篇参考文献[SW20139 ]
  • 验证有界时间的工具不变量 性能混杂系统和状态流模型。它支持…
  • 维科斯

  • 5篇参考文献[SW11259]
  • 阶级原因不变性 性能在并发设置中。此外,我们还展示了…
  • 格林文

  • 4篇参考文献[SW04703]
  • 学习图形的桌面应用程序性能不变性以及它们之间的关系性能. 在…期间图及其实验性能. 实验是可能的包含图…创建某种类型的图形不变性可以计算所有图表…
  • 同源性

  • 28篇参考文献[SW0877]
  • 算法几何性能拓扑空间可用代数方便表示不变性空间…
  • 亚当

  • 149篇参考文献[SW22205]
  • 计算效率高,几乎没有内存需求,是不变量梯度的对角重新缩放…讨论。我们还分析了理论收敛性。性能并给出了算法的遗憾…
  • 沙堆

  • 2篇参考文献[SW13794]
  • 性能这些协议。我们证明不变量 性能沙特计划…
  • VCGEN

  • 2篇参考文献[SW13795]
  • 性能这些协议。我们证明不变量 性能沙特计划…
  • 奥西德

  • 2篇参考文献[ SW28 725 ]
  • 允许我们表达和验证不变量 性能分布式系统的抽象形式…
  • 查理

  • 3篇参考文献[SW1281]
  • Petri网理论技术不变性虹吸/陷阱财产)确定结构和行为性能
  • HyCOMP

  • 1篇参考文献[SW2016]
  • 动力学。HyCOMP可以验证不变量和LTL性能和场景规范;它也可以执行…确保一个给定的满意程度(不变量财产. 所有这些特征都是通过…
  • 萨德

  • 15篇参考文献[SW07076]
  • 对称性及其相关的测定性能微分方程组。实现的主要方法…非经典,Lie -B-CukLund和势对称性,不变量解,第一积分,离散的N定理。
  • 四十二

  • 8篇参考文献[SW07615]
  • 多项式环上的格理想不变量在对称群作用下。多项式…Noetherian意识。使用性能好序,作者表明不变量劳伦特的枷锁…
  • 闪耀T

  • 2篇参考文献[SW25422]
  • 对象“。对于这个抽象对象的时间性能(例如)不变性可以制定和证明。定义和证明某些类型的时间性能用纯函数编写的程序…
  • 焦点的

  • 1篇参考文献[SW09352]
  • 首先陈述一个框架不变量 性能通过运行程序操作的数据…
  • 英格丽

  • 16篇参考文献[ SW01071]
  • 其他的可能值不变性. 用英格丽提供的简单用户界面…图论新手往往能辨别性能图中通常需要…