• 数据日志

  • 引用282篇文章[sw20023]
  • 数据日志是一种声明性逻辑编程在句法上是序言的一个子集的语言。。。数据集成、信息应用提取,网络,程序分析、安全和云计算。。。
  • 原因3

  • 引用130篇文章[sw04438]
  • 由OCaml构造更正程序通过自动化提取机制。WhyML也用于。。。验证C、Java或Ada程序. 为什么3是前一个完整的再实现。。。
  • 明洛

  • 引用了20篇文章[sw09765]
  • Minlog——一个用于程序 提取支持代数和余代数。Minlog是一个交互式系统。。。将它们应用于验证和程序 提取. 我们给出了一个关于Minlog的概述并演示。。。证明和发展正确有效程序. 我们用。。。
  • 快速盖帽

  • 引用28篇文章[sw08926]
  • 多极加速三维电容提取 程序. 一种计算电容的快速算法。。。多导体电容的积分方程提取问题。作者提出了一个广义共轭。。。
  • 刀具

  • 引用98篇文章[sw07230]
  • 呈现程序实现OPP reduction方法的摘录系数。。。
  • 投掷

  • 引用71篇文章[sw07260]
  • 主要技术:(1)自动化提取的接口程序它的外部环境。。。
  • 法斯特亨利

  • 引用16条[sw08927]
  • 多极加速三维电感提取 程序. 一种结合网格分析方程组的技术。。。
  • 为什么

  • 引用25篇文章[sw09709]
  • 由OCaml构造更正程序通过自动化提取机制。WhyML也用于。。。验证C、Java或Ada程序. 我们展示了Why3和WhyML的好处。。。
  • 引用了35篇文章[sw12334]
  • 强制类型,非依赖类型程序. 我们描述了Coq证明的公理化扩展。。。写作,推理,以及提取高阶,独立类型程序有副作用。因为已经。。。
  • SecDec公司

  • 引用31篇文章[sw06834]
  • 程序用于部门分解。我们提出一个程序对于多维数值计算。。。尺寸正则化是提取使用迭代扇区分解。这个程序计算系数。。。
  • F*

  • 引用了20篇文章[sw27563]
  • 从属类型。经核实,F*程序可以是提取高效的OCaml。。。允许表达精确而紧凑的规格程序,包括功能正确性和安全属性。。。
  • 公关矿工

  • 引用4篇文章[sw09180]
  • 矿工:自动提取隐性的编程规则和检测大型软件代码中的违规行为。程序通常。。。调用频繁项集挖掘摘录隐性的编程从大型软件代码编写的规则。。。频繁项集挖掘,PR Miner可以摘录 编程一般形式的规则(不受约束。。。自动检测违反提取 编程规则,是错误的强烈迹象。我们的评估。。。
  • ETPS公司

  • 引用156篇文章[sw06302]
  • 以这种方式使用。这个程序从而使学生集中精力于基本的逻辑。。。方便的公式编辑器允许学生摘录任何地方都需要的公式。。。向老师提问程序. 完成练习的记录保存在。。。
  • 空腹

  • 引用5篇文章[sw13145]
  • 程序fastmp是一种宽带阻抗提取 程序对于三维几何图形。它可以执行磁电机。。。
  • 菲亚特

  • 在14篇文章中引用[sw21357]
  • 菲亚特可以提取相当于OCaml程序可以编译。。。
  • 弧形垫

  • 引用100篇文章[sw07176]
  • 工具箱是为了摘录从ESRI形状文件映射多边形和数据库信息并提供。。。Matlab,面向对象重构工具箱编程功能,并提供更全面的功能。。。
  • R标记

  • 参考6篇文章[sw14403]
  • 重新捕获模型,运行FORTRAN程序MARK.EXE,和摘录并显示输出。程序作记号。。。
  • TCAS系统

  • 引用5篇文章[sw21413]
  • 基于约束的TCAS软件验证编程. 安全关键软件必须在被。。。必须根据安全属性验证实施情况提取根据反碰撞理论。。。工作中,我们探索约束的能力编程用于自动化软件验证和测试。。。有界整数系统提取从计算机程序以及安全性能。一次经历。。。
  • XDuce公司

  • 引用54篇文章[sw12436]
  • 处理语言。XDuce是一个静态类型编程XML处理语言。它的基本数据。。。集成条件分支、标记检查和子树提取,以及动态排版。我们调查。。。