• 爆炸

  • 参考文献123篇[sw02937]
  • 爆炸(伯克利懒惰的 抽象软件验证工具)是一个静态的软件验证工具。。。
  • 游猎

  • 引用8篇文章[sw28669]
  • SAFARI:基于SMT抽象对于带有插入式的阵列。我们介绍的是SAFARI,一个模型检查器。。。基于懒惰的 抽象能够处理存在的量化形式,象征性地。。。
  • 奎托斯

  • 参考7篇文章[sw07808]
  • 使用符号懒惰的谓语抽象技术。第二,奎托斯完成了一部小说。。。
  • 助推器

  • 引用4篇文章[sw33291]
  • 具有标准验证技术的功能,例如懒惰的 抽象使用插入式(扩展到阵列。。。
  • 单片机

  • 1条引用[sw14482]
  • 解释,摘要定期模型检查,以及懒惰的 抽象. 作为一个总体框架。。。
  • 17条引用[sw16105]
  • 这种定义引起了懒惰的corecursive派生和并行,作为执行。。。语义学被用来研究它们抽象地. 编程的发展经常是分开发生的。。。说明问题,从摘要范畴论语义学,发展coalgebra自然刻画。。。逻辑程序设计的CoALP,其特点是有保护的懒惰的协同和并行。。。
  • BigDataScript

  • 1条引用[sw27403]
  • 硬件资源,并有助于增强健壮性。硬件抽象允许BDS管道在不修改的情况下运行。。。序列化和懒惰的处理,从而允许管道从错误中恢复。通过抽象管道概念。。。
  • 小工具

  • 引用2篇文章[sw10600]
  • 界面和显示生成。小工具提供方便摘要许多优化概念。小工具还提供。。。程序员快速创建优化,包括懒惰的评估框架,一个强大的和可配置的优化。。。
  • 聚合农场

  • 引用3篇文章[sw13685]
  • 选择Haskell并讲述我们的经历。懒惰在控制堆空间时确实引起了很多问题。。。算法,良好的数据结构支持,抽象模块化和通用化导致快速原型化。。。
  • 游行

  • 参考第5条[sw14959]
  • 基于家庭的系统懒惰的发布一致性协议。为了提高性能。。。转换器在OpenMP之间架起了桥梁抽象混合编程接口。。。
  • 卡里班

  • 引用2篇文章[sw24051]
  • 超有限理想机的符号执行。(延长摘要). ... 通过显示一个程序。。。证明人。这种应用语言叫做Caliban,是懒惰的,高阶和多态性。定理证明者。。。
  • 羚羊

  • 引用2篇文章[sw24050]
  • 超有限理想机的符号执行。(延长摘要). 本文介绍了一个程序验证程序Ariel。。。证明人。这种应用语言叫做Caliban,是懒惰的,高阶和多态性。定理证明者。。。
  • 未来

  • 1条引用[sw15765号文件]
  • 提供。在编程中,未来是抽象对于可能可用的值。。。边=3)}'。此包实现同步“懒惰的“渴望”的未来,异步的多核,多会话。。。
  • 选择器

  • 引用的第27条[sw00085]
  • Boolector:一个有效的位向量SMT求解器。。。
  • 数学软件

  • 引用5693篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。