• 围裙

  • 66篇参考文献[ SW000 045 ]
  • 围裙:数字图书馆摘要 用于静态分析。本文介绍了围裙…程序的数值变量摘要解释。它的目标是三重:提供分析实施者与…鼓励数字研究摘要 通过提供一个整合和比较的平台…传播知识的演示工具摘要解释…
  • 八角形

  • 61篇参考文献[SW13702]
  • 八角形摘要 图书馆是一个自由的图书馆,用来操纵特殊的多面体叫做…图书馆以静态分析为目标摘要解释(找一个简短的介绍…题为八角形的文章摘要 . 这个图书馆是一个正在进行中的工作…
  • 内根

  • 152篇参考文献[ SW0667 9]
  • 摘要规则描述了自动网格生成器NETGEN的算法。这个正面方法。重点放在摘要元素生成规则的结构。几个…
  • 方阵

  • 14篇参考文献[SW13708]
  • 介绍一种参数分割方法摘要 函数的全自动和可扩展的分析…无痛高效解除现有摘要 对于标量变量进行分析…由绑定表达式集限定抽象的均匀地。所有象征性的表达出现…
  • 科斯卡尔

  • 26篇参考文献[SW13076]
  • 迹等价)摘要语义的. COCASL因此成为一个元框架…
  • 狐盒

  • 16篇参考文献[SW0307]
  • 模板参数提供摘要 类型目前,FXBOX可以用SACLIB编译…
  • 维拉斯科

  • 12篇参考文献[ SW1995 85 ]
  • 摘要解读并结合几个摘要 非关系(整数区间,浮点区间,整数…
  • 包装

  • 6篇参考文献[SW21178]
  • 盒子:象征性的摘要 盒子里。数字的摘要 广泛应用于程序…不敏感的分析这个问题是由精细化,例如有限幂集,提供…表示和操纵的有效方式摘要价值观。使用“集合”的简单方法展示盒子的实现摘要 -一个著名的细化…
  • 帕加伊

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

  • 80篇参考文献[ SW01283]
  • 将结构信息表示为摘要图形和网络。它有重要的应用…其他技术的可视接口
  • TPLIB

  • 6篇参考文献[SW10843]
  • 相反地。它还提供了一个摘要 基于热带多面体,推导出最小/最大不变量。
  • 杰西

  • 4篇参考文献[SW30521]
  • JavaScript解释器。杰西使用小说摘要 计算类型的约化乘积…新灵敏度实验平台摘要 和客户端分析的JavaScript…
  • 果洛

  • 168篇参考文献[SW02159]
  • GOOG:一种动态的逻辑程序设计语言. 提出了一种新的逻辑程序设计方法。写在一个更高的水平抽象化比通常可能的要多。语言出现了…
  • 二甲基吡咯烷酮

  • 8篇参考文献[SW1752]
  • 使用PETSC DMPPLEX。复合词的使用抽象化允许应用新的和已建立的…PETSC-DMPPLEX的组成拓扑抽象化用火炮自动化有限元系统…支持各种网格输入格式和运行时分解。特别是,我们描述了如何DMPlex…
  • 卡提格

  • 5篇参考文献[SW23 310]
  • 基于CEGA的验证方法改进摘要 基于完整的反例痕迹。有限的…关注个别州建议更简单抽象化-细化方案,其中进行细化。
  • 慈白

  • 4篇参考文献[SW26821]
  • 摘要语义与底层摘要 一个混叠分析和八边形的组合…
  • 功能

  • 2篇参考文献[SW23 309]
  • 函数:一个摘要 终止符。功能是一种设计静态分析仪的研究样机。终止的充分前提条件摘要解释。它结合了各种各样的摘要 为了平衡精度…
  • 伊科斯

  • 3篇参考文献[SW14865 ]
  • 如代码解析、模型开发、摘要 管理、结果管理和分析策略…
  • 艾肯法

  • 3篇参考文献[SW14136]
  • 语法树的编码摘要 作为向量和矩阵{PAR}一个直截了当的…
  • LMS

  • 4篇参考文献[SW986]
  • 好的软件工程实践需要泛化。抽象化而高性能需要专业化和具体化。水平,让程序员紧密结合特异性的抽象化并对生成过程进行优化。非常适合嵌入式开发-特定语言(DSL),并已被用于开发…