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

Static-Analysis-of-Software

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

  • eluosifangkuai-MATLAB
    俄罗斯方块的MATLAB版,其中附源代码。(The MATLAB version of Tetris, including the source code attached.)
    2009-05-18 11:21:42下载
    积分:1
  • Wavelettransform
    小波变换matlab程序,实现小波变换的程序(Wavelet transform matlab process procedures for the realization of wavelet transform)
    2009-06-18 21:29:16下载
    积分:1
  • 61046606ABCNNTrain
    Training Artificial Neural Network. XOR Problem. Summation Units, Log-Sigmoid Neurons with Biases. Input Layer: 2, Hidden Layer: 2, Output Layer: 1 neurons. Returns mean square error between desired and actual outputs. Reference Papers: D. Karaboga, B. Basturk Akay, C. Ozturk, Artificial Bee Colony (ABC) Optimization Algorithm for Training Feed-Forward Neural Networks, LNCS: Modeling Decisions for Artificial Intelligence, 4617/2007, 318-329, 2007. D. Karaboga, C. Ozturk, Neural Networks Training by Artificial Bee Colony Algorithm on Pattern Classification, Neural Network World, 19(3), 279-292, 2009. */
    2013-12-10 16:40:45下载
    积分:1
  • anup_project
    This project is on type of techniques used to enhance an image, detection of edges. In this project we have used neighborhood processing for the edge detection using convolution mask. And to increase the contrast of an image, we stretched each component of an rgb image.
    2013-12-12 21:14:14下载
    积分:1
  • matlab
    一个matlab编写的封闭边界油藏单相流体定产量生产的数值模拟程序,对学习油藏数值模拟有很大的帮助和引导作用(Matlab prepared a closed boundary reservoir volume production of single-phase fluid given numerical simulation, reservoir simulation study of great help and guide)
    2016-10-28 19:04:17下载
    积分:1
  • ZFANDMMSE
    matlab中用于多用户检测方面的经典文章,如果大家想学联合检测,这篇文章不得不看(matlab used for multi-user testing of the classic article, if everyone wanted to learn a joint detection, this article had to look)
    2007-08-07 16:48:57下载
    积分:1
  • FDTD1
    photonic crystal matlab fdtd
    2009-07-07 14:18:38下载
    积分:1
  • 123
    LFM,PSK,线性调频-相位编码等雷达信号的产生 杂波(generation of the LFM,PSK signal and clutter)
    2013-01-22 19:29:29下载
    积分:1
  • node
    结构动力分析计算节点垂直方向的动力响应matlab程序(Dynamic Analysis of compute nodes vertical dynamic response matlab program)
    2013-10-11 20:36:55下载
    积分:1
  • paper1
    基于自适应滤波的语音增强和噪声消除.PDF(Adaptive filtering based voice enhancement and noise cancellation. PDF)
    2013-12-17 21:32:37下载
    积分:1
  • 696524资源总数
  • 103986会员总数
  • 80今日下载