• 数据记录仪

  • 275篇参考文献[ SW200 23 ]
  • DATALOG是一种声明逻辑编程句法上的语言是PROlog的子集…在数据集成、信息中的应用提取网络化程序分析、安全和云计算…
  • WHY3

  • 126篇参考文献[ SW044 38 ]
  • 施工OCAM校正程序通过自动化提取机制。WhyML也被用过…C、Java或艾达的验证程序. WHY3是一个完整的重新实施前…
  • 快速盖

  • 28篇参考文献[ SW08926]
  • 多极加速三维电容提取 程序. 计算电容的一种快速算法…与多导体电容相关的积分方程提取问题。给出了一个广义共轭函数。
  • 最小对数

  • 16篇参考文献[SW09665 ]
  • MunLab--一种工具程序 提取支持代数和余代数。MILLAMP是一个交互系统…将它们应用于验证和程序 提取. 我们给出了MunLand的概述和演示…校勘发展正确高效程序. 我们举例说明这一点…
  • 刀具

  • 96篇参考文献[SW07230]
  • 提出一程序实现OPP约简的方法提取液系数…
  • 飞镖

  • 68篇参考文献[SW07260]
  • 主要技术:(1)自动化提取界面的程序随着它的外部环境…
  • 法斯塔尼

  • 15篇参考文献[ SW08927 ]
  • 多极加速三维电感提取 程序. 与……相结合的网格分析方程公式化技术
  • YOT

  • 35篇参考文献[SW12334 ]
  • Ynot,依命令类型程序. 我们描述了公理证明的COQ证明…写作、推理和提取高阶依赖型程序副作用。COQ已经…
  • 惠米尔

  • 24篇参考文献[SW09709]
  • 施工OCAM校正程序通过自动化提取机制。WhyML也被用过…C、Java或艾达的验证程序. 我们展示的好处WY3和WhyML…
  • SECDEC

  • 31篇参考文献[ SW068 34 ]
  • 程序扇区分解。我们提出了一个程序对于多维的数值计算…维数正则化是提取的使用迭代扇形分解。这个程序评估系数…
  • F*

  • 18篇参考文献[SW27 563]
  • 依赖类型。核实后,F*程序可以是提取的为了有效的OcAML…允许表达精确和紧凑的规格程序,包括功能正确性和安全属性…
  • 公关矿工

  • 4篇参考文献[SW09180]
  • 矿工:自动提取隐性的编程规则和检测大型软件代码中的违规行为。程序通常…高效调用频繁项集挖掘提取液隐性的编程从大型软件代码编写规则…频繁项集挖掘提取液 编程一般形式的规则(不受约束)自动检测到违规行为提取的 编程规则,这是强有力的迹象虫子。评价。。。
  • 电除尘器

  • 152篇参考文献[SW06302]
  • 用这种方法。这个程序从而让学生集中精力于基本逻辑上。方便的公式编辑器允许学生提取液需要在任何地方发生的公式…不离开老师的问题程序. 保持完整的练习记录。
  • 法斯蒂普

  • 5篇参考文献[SW13145]
  • 程序FASTIMP是宽带阻抗提取 程序用于三维几何结构。它可以执行Magneto…
  • 里马克

  • 6篇参考文献[SW14403]
  • 重新捕获模型,运行FORTRAN程序马克斯提取液显示输出。程序作记号。。。
  • 阿尔克席

  • 77篇参考文献[SW07176]
  • 工具箱开发为提取液地图多边形和数据库信息从ESRI形状文件,并提供…用面向对象技术重构工具箱编程特点,并提供更全面的功能…
  • 中国科学院

  • 5篇参考文献[SW21413]
  • 约束条件下的TCAS软件验证编程. 安全关键软件必须被彻底验证之前…实施必须验证安全性能提取的从调节碰撞的理论出发。工作中,我们探索约束的能力编程用于自动化软件验证和测试…有界整数上的约束系统提取的从计算机程序安全性能。经验…
  • 苏杜

  • 53篇参考文献[SW12436]
  • 处理语言。XDUCE是静态类型的编程用于XML处理的语言。它的基本数据…集成条件分支、标记检查和子树提取以及动态类型检查。我们调查…