• 金发姑娘

  • 在10篇文章中引用[sw12806]
  • DataRaceException可以用作冲突检测机制对并发性的不当使用。我们从。。。实验表明,我们的实现已经合理的头顶。因此,我们相信除了。。。工具,DataRaceException可能是可行的机制为了确保死刑的安全。。。
  • 欧米茄蚂蚁

  • 引用9篇文章[sw19626]
  • 从基本建议继承有益的属性机制例如运行时可扩展性和资源。。。支持外部分布式集成推理系统。我们还讨论了如何实现。。。
  • EMOPSO公司

  • 引用4篇文章[sw14001]
  • 自适应机制最终的算法能够产生合理的很好的近似值。。。
  • 维尔姆

  • 参考6篇文章[sw13286]
  • 介绍了Vellvm(verified LLVM),一个用于推理关于用LLVM的中间语言表达的程序。。。对它进行手术。Vellvm提供了一个机械化LLVM中间表示的形式语义。。。证明它们之间的关系有助于不同推理风格和证明技巧。par验证Vellvm。。。
  • 参考7篇文章【sw13881】
  • 冻结登记簿和WAM线索机制被扩展,以便挂起的计算。。。继续。这种技术有一个合理的执行开销小,但并不容易。。。
  • 普拉斯普

  • 在10篇文章中引用[sw07080]
  • 利用ASP解决方案提供增量解决方案机制。最后,ASP社区获得访问权限。。。社区受益于知识表达和推理能力。。。
  • insql公司

  • 1条引用[sw02055]
  • 编程机构提供机制捕捉和原因关于“正确”和“不正确”的行为。。。
  • 解决

  • 引用13篇文章[sw12892]
  • 分子解痉软件包中的算法力学和动力。几组分子动力学。。。准确,比嘎嘎嘎嘎声快合理的三到九倍的公差。。。
  • TLAP公司

  • 引用9篇文章[sw09528]
  • 证明系统(TLAP)机械地检查TLA+证明。TLA+是一种通用的形式化规范语言。。。释放TLAP不执行临时性推理,并且它不处理某些功能。。。
  • 斯皮迪思

  • 参考6篇文章【sw19455】
  • 斯皮迪思-图表推理机对于蜘蛛图。在本文中,我们介绍了Speedith。。。Speedith,图解语言,自动机制当推理规则。。。
  • 英克雷斯特

  • 参考6篇文章[sw23448]
  • Inkrast:模态推理通过对SAT的增量简化,Inkrast是一个模型的验证程序。。。更好的性能,允许集成阻塞机制从模态表证明中知道。舞台调度。。。
  • 法蒂尔

  • 引用2篇文章[sw34183]
  • 机制在开放流标准的最新版本中提供,并且简化了推理关于。。。
  • RGITL公司

  • 引用5篇文章[sw13917]
  • 减少推理关于一个交错程序推理关于单个线程。一个中心实例。。。环境基辅。它已经习惯了机械化并行算法的各种证明,主要是。。。
  • 霍尔夫

  • 引用3篇文章[sw25266]
  • 还可以方便用户原因关于他们的节目,有很高的。。。案例研究,我们提出了一个完整的机械化一个基于并发的模型验证。。。
  • 海妖

  • 参考7篇文章[sw17419]
  • 需要了解细胞的工作原理机制,可以是有用的。。。有限数量的已知法规合理的精密水准仪。结果:我们建议在监督下。。。
  • 米皮

  • 1条引用[sw34052]
  • 根据合理的缺失数据和完整数据的模型机制经常。。。
  • 麻雀

  • 参考11篇文章【sw13736】
  • a上的上界合理的粒度。第二阶段优化规则权重。。。触发特征选择机制根据规则。全局特征选择是在线性化的条件下实现的。。。
  • CS序言

  • 参考7篇文章[sw00171]
  • PROLOG-Q)简要介绍。延迟机制标准逻辑编程语言。。。在C(12000行)中实现合理的效率高。。。
  • FreeSpec公司

  • 1条引用[sw37554]
  • FreeSpec:一种组合推理Coq定理证明器的框架。SpecCert是一个框架。。。验证基于硬件的安全执行(HSE)机制针对硬件架构模型。HSE机制表单。。。
  • COSSAN-X公司

  • 引用3篇文章[sw26340]
  • 在几何和机械的建模能力,他们通常忽略了重要的。。。结构和系统设计。为了这些原因它是连接确定性代码的关键。。。