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

Static-Analysis-of-Software

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

  • DIJKSTRA
    最 短 路 dijkstra 算 法 mex 程 序,图论中的最短路径!(Dijkstra shortest path algorithm mex procedures, graph theory of the shortest path!)
    2007-07-27 16:01:31下载
    积分:1
  • idbm
    Description Applies ideal binary mask to noise corrupted speech signal. The processing takes place within an FFT based short-time spectral analysis-modification-synthesis framework. The ideal binary mask is computed from an oracle (true) signal-to-noise ratio (SNR) through thresholding with local SNR criterion. The routine returns synthesized enhanced speech, the ideal binary mask and the true instantaneous spectral SNR.
    2011-10-12 05:41:18下载
    积分:1
  • fcmdemo
    fuzzy c-means clustering
    2013-12-04 21:58:19下载
    积分:1
  • untitled-(3)
    found on the Windows operating system — by far the most common operating system in use today
    2015-02-17 19:27:14下载
    积分:1
  • codec_snr_byYikwang
    A simple function that takes an image and a mask as the input, perform compression and decompression on the image (color image compression if input image is color), and display the original and reconstructed images side by side. The program should also be able to compute the SNR of the reconstructed image.
    2010-11-02 10:10:16下载
    积分:1
  • bpwangloudeshoujitishibie
    在matlab环境下基于bp网络的手写字母体的识别 (Bp in matlab network environment based on recognition of handwritten letters body)
    2011-04-27 10:28:10下载
    积分:1
  • Matlab-engineering-application
    哈工大教授的matlab教程的ppt学习资料。对入门级和高手来说都是很好的学习材料。(The HIT Professor matlab tutorial ppt learning materials. Entry-level and master is a very good learning materials.)
    2012-05-28 10:20:46下载
    积分:1
  • YC
    在这个分支中,主要是对标准粒子群算法的惯性因子、收敛因子(约束因子)、“认知”部分的c1,“社会”部分的c2进行变化与调节,希望获得好的效果。(In this branch, mainly to the standard particle swarm algorithm of inertial factor, convergence factor (constraints), "cognitive" part of c1, "social" part of the c2 changes and adjustment, hope to get good results.)
    2014-02-04 20:32:17下载
    积分:1
  • DividePlane
    运筹学中的分支定界法,采用MATLAB编程,比较实用(Operations research branch and bound method, using MATLAB programming, more practical)
    2010-11-08 17:09:42下载
    积分:1
  • matlabyingyong
    matlab的一些最基本的应用(Matlab some of the most basic )
    2006-10-31 17:05:18下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载