登录
首页 » MultiPlatform » Static-Analysis-of-Software

Static-Analysis-of-Software

于 2015-03-24 发布 文件大小:11632KB
0 228
下载积分: 1 下载次数: 2

代码说明:

  Static Analysis of Software The Abstract Interpretation Edited by Jean-Louis Boulanger 1. Computer software Testing. 2. Debugging in computer science. 3. Computer software Quality control.

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • NNSF
    利用最近邻域标准滤波器(NNSF)和概率数据互联滤波器(PDAF)进行航迹绘制并进行相互比较。(Use nearest neighbor standard filter (NNSF) and probabilistic data association filter (PDAF) be drawn and compared with each other track.)
    2014-05-06 08:05:03下载
    积分:1
  • Simplexmethod
    基于单纯形法,现采用编程来计算最优解,matlab程序和简要说明文档。(Based on simplex method, is used to calculate the optimal solution of programming, matlab program and a brief description of the document.)
    2010-07-27 23:18:45下载
    积分:1
  • nr
    说明:  牛顿拉普逊法就算配电网重构的潮流程序,结构清晰易懂。(Newton Raphson method Rapp trend even if the distribution network reconfiguration process, clear and understandable structure.)
    2010-04-24 15:39:10下载
    积分:1
  • lssvmpso
    自己写的一个psolssvm程序 要有lssvm工具箱才可以运行(Write a psolssvm procedures to have lssvm the toolbox before you can run)
    2012-11-19 21:19:45下载
    积分:1
  • interpolation
    通信系统仿真时使用的插值程序,对仿真的BLER进行有效的插值,可以估计出不能仿真到的点。可以对仿真进行预测(Communication System Simulation interpolation procedures used for simulation BLER effective interpolation, can not be estimated from the simulation point. Simulation can predict)
    2007-12-04 20:24:35下载
    积分:1
  • CBA
    matlab prog for continous beam analysis with graph...and its sf bm daigram
    2009-10-05 17:52:58下载
    积分:1
  • 2005126142643
    一套关于时域分析的matlab,带详细注释(set of time-domain analysis of Matlab, with detailed explanatory note)
    2007-01-26 16:41:36下载
    积分:1
  • matlab2
    matlab经典课件2(matlab courseware classic 2)
    2008-12-15 02:27:41下载
    积分:1
  • composite
    PESQ measure: ------------- Usage of the PESQ objective measure is as follows: [pesq_mos]=pesq(cleanfile.wav,enhanced.wav) where cleanfile.wav contains the clean speech file and enhanced.wav contains the enhanced file.
    2010-03-07 05:11:06下载
    积分:1
  • svr
    用支持向量机预测水体富营养化影响条件,以及对各种条件进行多元回归预测(With support vector machine eutrophication impact conditions, as well as a variety of conditions, multivariate regression)
    2011-10-24 22:35:34下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载