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

Static-Analysis-of-Software

于 2015-03-24 发布 文件大小:11632KB
0 230
下载积分: 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 个回复

  • Matlab-svm
    说明:  支持向量机是一种新的回归方法,特别适用于非线性,改程序实现了支持向量机非线性回归(surport vector machine to non-linear regression)
    2011-02-22 10:02:34下载
    积分:1
  • bulangyundong
    找到的一个点做布朗运动的小程序,已验证,绝对正确(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)
    2010-05-28 20:29:58下载
    积分:1
  • 62700
    The following Matlab project contains the source code and Matlab examples used for two stage kalman fliter for system identification. Reference :Lei Y, Jiang Y Q. The source code and files included in this project are listed in the project files section, please make sure whether the listed source code meet your needs there.
    2014-12-02 15:32:32下载
    积分:1
  • Matlab-simulation-model-of-dc-dc-converters
    This matlab file explains the operation of Boost and buckboost converter with open loop as well as closed loop operation for voltage regulation and power factor improvement.
    2014-09-03 14:26:21下载
    积分:1
  • ASM3
    active shape model的matlab代码实现,用于图像处理,模式识别等方面(active shape model of matlab code for image processing, pattern recognition, etc.)
    2007-12-16 10:43:34下载
    积分:1
  • elcentro
    it is about matlam m file useing in matlab
    2009-03-22 01:36:50下载
    积分:1
  • codes-for-numerical-analysis
    高教版数值分析的matlab代码,误差与范数,非线性方程(组)的数值解法,解线性方程组的直接方法,解线性方程组的迭代法,矩阵的特征值与特征向量的计算,函数的插值方法,函数逼近与曲线(面)拟合,数值微分,数值积分,常微分方程(组)求解(entire codes for numerical analysis based on matlab)
    2013-02-03 16:24:55下载
    积分:1
  • Denoising
    this code tells how to do denoising an image
    2010-07-28 21:18:19下载
    积分:1
  • QPSKMODULATORANDDE-MODULATOR
    基于MATLAB软件下的QPSK 调制解调(MATLAB-based software under the QPSK modulation and demodulation)
    2008-02-01 03:03:34下载
    积分:1
  • psoVC
    pso程序的源代码 pso程序的源代码-粒子群优化算法源程序 作者:FashionXu 一个pso程序的源代码。在vc.net2003下面通过。 建议:看代码之前,请先弄明白pso是怎么回事。然后请对应着来:程序中用Agent代表一只鸟,PSO代表鸟群。阅读源代码,不要顺着看,先看main(),然后按照出现的东西的顺序,一个一个得来,呵呵,纯粹是建议。(program s source code pso pso program s source code - source code on Particle Swarm Optimization: FashionXu a pso program source code. In vc.net2003 following through. Recommendation: look at the code before you figure out how the matter pso. Then please correspond to: Program using Agent on behalf of a bird, PSO representative of the flock. Read the source code, do not look down, look at the main (), then follow the order of things there, one by one, come, Oh, merely suggestions.)
    2008-07-30 16:26:10下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载