-
金发姑娘
- 在10篇文章中引用[sw12806]
- DataRaceException可以用作冲突检测机制对并发性的不当使用。我们从。。。实验表明，我们的实现已经合理的头顶。因此，我们相信除了。。。工具，DataRaceException可能是可行的机制为了确保死刑的安全。。。
-
欧米茄蚂蚁
- 引用9篇文章[sw19626]
- 从基本建议继承有益的属性机制例如运行时可扩展性和资源。。。支持外部分布式集成推理系统。我们还讨论了如何实现。。。
-
维尔姆
- 参考6篇文章[sw13286]
- 介绍了Vellvm（verified LLVM），一个用于推理关于用LLVM的中间语言表达的程序。。。对它进行手术。Vellvm提供了一个机械化LLVM中间表示的形式语义。。。证明它们之间的关系有助于不同推理风格和证明技巧。par验证Vellvm。。。
-
猫
- 参考7篇文章【sw13881】
- 冻结登记簿和WAM线索机制被扩展，以便挂起的计算。。。继续。这种技术有一个合理的执行开销小，但并不容易。。。
-
普拉斯普
- 在10篇文章中引用[sw07080]
- 利用ASP解决方案提供增量解决方案机制。最后，ASP社区获得访问权限。。。社区受益于知识表达和推理能力。。。
-
解决
- 引用13篇文章[sw12892]
- 分子解痉软件包中的算法力学和动力。几组分子动力学。。。准确，比嘎嘎嘎嘎声快合理的三到九倍的公差。。。
-
TLAP公司
- 引用9篇文章[sw09528]
- 证明系统（TLAP）机械地检查TLA+证明。TLA+是一种通用的形式化规范语言。。。释放TLAP不执行临时性推理，并且它不处理某些功能。。。
-
斯皮迪思
- 参考6篇文章【sw19455】
- 斯皮迪思-图表推理机对于蜘蛛图。在本文中，我们介绍了Speedith。。。Speedith，图解语言，自动机制当推理规则。。。
-
英克雷斯特
- 参考6篇文章[sw23448]
- Inkrast:模态推理通过对SAT的增量简化，Inkrast是一个模型的验证程序。。。更好的性能，允许集成阻塞机制从模态表证明中知道。舞台调度。。。
-
RGITL公司
- 引用5篇文章[sw13917]
- 减少推理关于一个交错程序推理关于单个线程。一个中心实例。。。环境基辅。它已经习惯了机械化并行算法的各种证明，主要是。。。
-
霍尔夫
- 引用3篇文章[sw25266]
- 还可以方便用户原因关于他们的节目，有很高的。。。案例研究，我们提出了一个完整的机械化一个基于并发的模型验证。。。
-
海妖
- 参考7篇文章[sw17419]
- 需要了解细胞的工作原理机制，可以是有用的。。。有限数量的已知法规合理的精密水准仪。结果：我们建议在监督下。。。
-
麻雀
- 参考11篇文章【sw13736】
- a上的上界合理的粒度。第二阶段优化规则权重。。。触发特征选择机制根据规则。全局特征选择是在线性化的条件下实现的。。。
-
CS序言
- 参考7篇文章[sw00171]
- PROLOG-Q）简要介绍。延迟机制标准逻辑编程语言。。。在C（12000行）中实现合理的效率高。。。
-
FreeSpec公司
- 1条引用[sw37554]
- FreeSpec：一种组合推理Coq定理证明器的框架。SpecCert是一个框架。。。验证基于硬件的安全执行（HSE）机制针对硬件架构模型。HSE机制表单。。。
