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

Static-Analysis-of-Software

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

  • zinv
    z-source inverter simulink model
    2013-01-30 21:49:28下载
    积分:1
  • Newton_Raphson_method
    牛顿拉夫逊法 的matlab 程序,已经验证 可以使用(Newton Raphson method)
    2020-07-08 15:58:56下载
    积分:1
  • MATLAB
    这是一本对于初学者来说不错的matlab教程(This is a book for beginners good matlab tutorial)
    2012-12-04 10:04:39下载
    积分:1
  • dongtaigz12_3
    说明:  用matlab语言实现对运动视频的动态跟踪的功能(Matlab language with dynamic tracking of moving video features)
    2011-04-06 15:40:13下载
    积分:1
  • VisualC
    visual c++ 与matlab联合编程(visual c++ joint programming with matlab)
    2010-05-24 13:26:03下载
    积分:1
  • matlab--AGC
    已实现了MATLAB下的音频AGC,效果还可以,做起来才发觉比较简单,关键是要有高效的算法。如果能在实现AGC的同时做到噪音消除和回音消除,则效果更佳。(MATLAB has been achieved under the audio AGC, the effect can be done only to find relatively simple, the key is to have efficient algorithms. If you can do while in the realization of the AGC noise cancellation and echo cancellation, the better.)
    2013-07-10 20:21:19下载
    积分:1
  • LM
    说明:  上传的是Levenberg-Marquardt算法的Matlab程序(Upload is the Levenberg-Marquardt algorithm in Matlab)
    2012-08-13 10:16:02下载
    积分:1
  • codec
    对声音信号进行各种处理实现了声音的均衡等功能(The audio signal processing to achieve various functions of the sound equalization)
    2014-01-16 11:20:22下载
    积分:1
  • pope-hinsken
    pope hinsken 算法可以无初值求取三维坐标转换参数(pope hinsken algorithm can do 3D coordinate transforming without a preliminary value)
    2015-04-20 10:49:58下载
    积分:1
  • kuopin
    差分编码,带扩频通信,误码率仿真,仿真条件:AWGN信道(DPSK of Spread Spectrum Communication underAWGN )
    2011-05-13 23:47:25下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载