• 围裙

  • 引用67篇文章[sw00045]
  • 围裙:数字图书馆摘要 用于静态分析。本文介绍围裙。。。程序的数值变量摘要解释。它的目标有三个:为分析实现者提供。。。鼓励数值研究摘要 通过提供一个整合和比较的平台。。。传播知识的示范工具摘要翻译。。。
  • 八角形

  • 参考第61条【sw13702】
  • 八角形摘要 图书馆是一个自由的图书馆,用于操作特殊类型的多面体称为。。。库的目标是静态分析摘要翻译(找一个简短的介绍。。。题为八角形的文章摘要 . 这个图书馆正在进行中。。。
  • Netgen公司

  • 引用156篇文章[sw06679]
  • 摘要规则。介绍了网格自动生成器NETGEN的算法。这个... 正面法。重点是摘要元素生成规则的结构。几个。。。
  • FunArray公司

  • 在14篇文章中引用[sw13708号]
  • 介绍FunArray,参数分割摘要 全自动和可伸缩分析函子。。。无痛高效提升现有摘要 对于标量变量的分析。。。由一组绑定表达式和抽象的一致的。所有出现的符号表达式。。。
  • 科卡斯尔

  • 参考第26条[sw13076]
  • 跟踪等效)并提供摘要语义的. CoCasl因此成为一个元框架。。。
  • 狐狸盒

  • 引用16条[sw00307]
  • 模板参数提供摘要 类型。目前,FOXBOX可以用SACLIB编译。。。
  • 维拉斯科

  • 参考12篇文章[sw19985]
  • 摘要解释并结合了几个摘要 ,非相关(整数间隔、浮点间隔、整数。。。
  • 参考6篇文章[sw21178]
  • 盒子:象征摘要 盒子。数字摘要 广泛应用于程序。。。不敏感分析。这个问题由改进,例如有限功率装置,它提供。。。表达和操作的有效方式摘要价值观。使用“集合”的简单方法。。。呈现方框的实现摘要 -对著名的。。。
  • 帕盖

  • 参考6篇文章[sw13095]
  • 枚举。它是参数化的摘要 在使用中,迭代算法。。。各种分析算法和摘要 ,在个人基准上进行了广泛的实验。。。
  • 格拉夫维兹

  • 引用81篇文章[sw01283]
  • 将结构信息表示为摘要图形和网络。它有重要的应用。。。其他技术的可视化界面...
  • 克提格

  • 参考6篇文章[sw23310]
  • 基于CEGAR的验证方法改进了摘要 基于完整的反例痕迹。有限的。。。关注个别州意味着更简单抽象-执行细化的细化方案。。。
  • TPLib公司

  • 参考6篇文章[sw10843]
  • 反之亦然。它还提供了摘要 基于热带多面体,推导出最小/最大不变量。。。
  • DMPlex公司

  • 引用9篇文章[sw17572]
  • 使用PETSc DMPlex。复合材料的使用摘要新的应用允许。。。PETSc DMPlex的组成拓扑学抽象使用Firedrake自动有限元系统。。。支持各种网格输入格式和运行时分解。尤其是DMPlex,我们如何。。。
  • JSAI公司

  • 引用4篇文章[sw30521]
  • JavaScript解释器。JSAI使用小说摘要 计算一个类型的约化积。。。新灵敏度实验平台,摘要 ,以及针对JavaScript的客户端分析。。。
  • 果洛语

  • 参考170篇文章[sw02159]
  • GOLOG:一种动态的逻辑编程语言. 本文提出了一种新的逻辑程序设计方法。。。写在更高层次的抽象比通常可能的要多。语言出现了。。。
  • 慈白

  • 引用4篇文章[sw26821]
  • 摘要语义及其基础摘要 一个混叠分析和八角形的组合。。。
  • 功能

  • 引用2篇文章[sw23309]
  • 功能:An摘要 终止函子。功能是一个研究原型静态分析仪设计。。。终止的充分先决条件)通过摘要... 解释。它结合了多种摘要 为了平衡精度。。。
  • 宜家

  • 引用3篇文章[sw14865]
  • 比如代码解析,模型开发,摘要 管理、结果管理和分析策略。。。
  • 本征CFA

  • 引用3篇文章[sw14136]
  • 树的语法和编码摘要 作为向量和矩阵。。。
  • LMS公司

  • 引用4篇文章[sw19986]
  • 良好的软件工程实践需要泛化和抽象,而高性能要求专业化和具体化。。。级别,允许程序员紧密集成-具体的摘要以及生成过程中的优化。。。非常适合开发嵌入式-特定语言(DSL)已经被用来开发。。。