• 水银

  • 引用67篇文章[sw08333]
  • 陈述性语言的清晰度和表达力编程先进的静止的 分析以及错误检测功能。。。效率远远超过现有逻辑编程系统,接近传统编程系统。。。
  • 围裙

  • 引用67篇文章[sw00045]
  • 致力于静止的 分析的数值变量程序通过抽象的解释。。。
  • 程序冲突分析

  • 引用5篇文章[sw32219]
  • 冲突的形式化分析属于程序使用过程、线程创建和监视器。在这项工作中。。。a的可靠性和精确性静止的 程序 分析检测冲突(例如数据竞争。。。伊莎贝尔定理证明者。静止的 程序 分析,我们的程序模型抽象保护分支。。。
  • 顶部。m

  • 207篇引用[sw22630]
  • 拓扑优化代码的遵从性最小化静态地荷载结构。Matlab的总数。。。分成36条主线程序,12行最优性准则。。。与输出和有限元相关的线分析计算结果表明,只有49个Matlab程序可以实现。。。
  • 瑜伽士

  • 参考12篇文章[sw13094]
  • 它检查C的属性程序通过组合静止的 分析和测试。瑜伽练习器。。。
  • 海普拉斯

  • 在168篇文章中引用[sw17661]
  • 小应变和大应变有限元分析弹性和非弹性固体。注意力集中。。。它们的计算机实现-静止的有限元格式。讨论的许多技术。。。文本被合并到FORTRAN中程序,名为HYPLAS,这本书的附属品。。。
  • 动态流

  • 引用13篇文章[sw34674]
  • 动态流是一个有限元分析 程序对于静止的以及线性系统的瞬态响应。。。尺寸系统。特别是,它提供了短暂的分析抛物线和双曲初始的能力。。。
  • 基础知识

  • 参考7篇文章[sw09721]
  • 程序循环。系统合并静止的 分析属于程序用符号求和技术来推导。。。
  • 消防员

  • 参考6篇文章[sw10594]
  • 静止的 分析防火墙建模和分析. 通过将防火墙配置视为专用配置程序...
  • 投掷

  • 引用了70篇文章[sw07260]
  • 程序它的外部环境静止的源代码解析;(2)自动生成。。。一般环境程序可在;和(3)动态分析如何程序...
  • TVLA公司

  • 参考33篇文章[sw09878]
  • 类似YACC的自动构造框架静止的-分析运算语义学的运算法则,其中。。。已成功用于执行形状分析程序操作链接的数据结构(单一和双重。。。
  • 猎户座

  • 引用5篇文章[sw09957]
  • 精密方法静止的错误分析C和C的++程序. 我们描述了算法。。。C和C中的错误++程序使用静止的代码分析. 我们的目标是探索。。。成本和此类分析的精度。分析使用简单数据流域的方法。。。然后用高精度的可行性进行仔细研究分析旨在过滤掉尽可能多的错误。。。
  • 失忆症

  • 参考11篇文章[sw12039]
  • 失忆症:分析以及监视以中和SQL注入攻击。web应用程序的使用。。。数据库。在它的静止的部分,技术运用程序 分析要自动生成模型。。。生成查询并对照静态地-建造模型。我们开发了一个工具,健忘症。。。
  • 无间隙

  • 在10篇文章中引用[sw08699]
  • 分析 程序. 计算机的当前版本程序对于线性和非线性,静止的... 元素库,逻辑结构程序并讨论了存储分配问题。解决方案。。。
  • 安全代码

  • 引用4篇文章[sw13323]
  • 分析对于弱类型语言。静态 分析属于程序在弱类型语言中,例如。。。标准C程序这保证了进程间指针的攻击性分析(或者不太精确的。。。其他复杂的静止的应用于C的分析程序保证安全。。。显示声音分析信息使静止的正在检查消除许多运行时的技术。。。
  • 级联

  • 引用2篇文章[sw34344]
  • Cascade是一个程序 静止的 分析纽约大学开发的工具。级联需要。。。
  • Z3街

  • 参考7篇文章[sw19493]
  • 基于字符串求解器的web应用程序分析. 分析web应用程序需要对字符串进行推理。。。现有的字符串解算器要么忽略非字符串程序行为或支持有限的字符串集。。。使整体程序象征的,静止的动态的分析但它的性能也更好。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 上下文:par--静止的中间表示的性质阻止了分析动态系统。。。两者都是规范形式,如UML或编程像Java这样的语言不受支持。。。
  • 里加尔

  • 引用3篇文章[sw02985]
  • 解析、优化和代码生成已编程用这种语言简练易读。。。代码优化,代码生成,静止的 分析属于程序,以及编程...