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

Static-Analysis-of-Software

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

  • UVForMatlab
    画流速和温盐的Matlab程序,用于FVCOM结果的处理(Draw flow rate and temperature and salinity of the Matlab program for FVCOM result processing)
    2012-03-29 15:43:28下载
    积分:1
  • knnaba
    natlab源程序,k近邻的程序,希望对大家有用(natlab source, k neighbor procedure, in the hope that useful)
    2008-12-22 21:55:08下载
    积分:1
  • fixed_point
    - for floating point to fixed point - seperate to integer and fraction part
    2009-12-06 16:17:54下载
    积分:1
  • SVM-hssvm1.0.1
    HSSVM是一个用超球SVM(Hyper-Sphere Support Vector Machines)模型求解多分类问题的工具包,采用Java语言实现。开发该程序的主要目的,是利用超球SVM求解模型代替传统上借助于解二分类问题的经典SVM模型来求解多分类问题。本文将论述该程序的主要实现细节,包括相关算法及设计原理的描述。(HSSVM is an ultra ball SVM (Hyper-Sphere Support Vector Machines) to solve multi-classification model of tool kit, using Java language. Development of the program' s main purpose is to solve the model by Ball SVM instead of the traditional means of solving two classification problems on the classical SVM model to solve multi-classification problems. This article discusses the main implementation details of the program, including related algorithms and design principles are described.)
    2010-12-30 17:13:49下载
    积分:1
  • thinning
    matlab program for thinning an image
    2009-09-08 19:37:01下载
    积分:1
  • iir1
    自适应滤波算法与实现matlab_algorithmsiir1(Adaptive Filtering Algorithm and Implementation matlab_algorithms iir1)
    2009-10-26 21:41:27下载
    积分:1
  • freq-hop-spread-spectrum
    说明:  跳频扩谱通信matlab代码,实现跳频通信系统仿真。(Matlab code for frequency hopping spread spectrum communications, to achieve frequency hopping communication system simulation.)
    2010-04-11 13:01:58下载
    积分:1
  • Part_4_Modeling_and_Simulation
    modelling and simulation prof=gram in matlab
    2011-06-05 15:19:44下载
    积分:1
  • KL
    说明:  使用K-L算法进行特征变换,画出结果图像(Feature transformation, using the KL algorithm to draw the resulting image)
    2012-05-21 20:37:41下载
    积分:1
  • optimal-beamforming-master
    this is simulation on MIMO technique using optimal beamforming
    2014-09-08 21:19:07下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载