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

Static-Analysis-of-Software

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

  • icaplot
    可以实现ICP以后对分离出的独立分量画图,非常方便的进行(it can plot the ICA)
    2010-05-13 19:04:19下载
    积分:1
  • IMM
    实现IMM交互式多模型的目标跟踪,可以学习一下。。。。。。。。。。。。。。。。。。。。(Realization of target tracking of IMM interactive multi mode)
    2018-05-21 02:57:04下载
    积分:1
  • 87361012Matlab
    is is the source for lane detection algorimtm
    2010-01-16 17:31:38下载
    积分:1
  • psd
    说明:  用快速傅立叶变换计算地形剖面的功率谱密度。(Calculate the power spetral density of the topographic profile)
    2010-05-03 17:23:53下载
    积分:1
  • yagi
    simulation antenna yagi
    2014-08-27 16:31:38下载
    积分:1
  • 灰色预测模型matlab序精确版
    说明:  灰色模型预测是在数据不呈现一定规律下可以采取的一种建模和预测方法,其预测数据与原始数据存在一定的规律相似性(Grey model prediction is a kind of modeling and prediction method that can be adopted when the data does not show certain rules. There is certain regularity similarity between the prediction data and the original data)
    2019-11-21 00:00:37下载
    积分:1
  • ldpc_code
    qc—ldpc编码的matlab源码,分为好几个版本,small文件夹里的支持小的稀疏矩阵,large文件夹里的支持较大的稀疏矩阵。test文件为顶层(qc-ldpc the matlab source code is divided into several versions, small folder in the support of a small sparse matrix, large folder in the support of a larger sparse matrix. test document for the top-level)
    2021-03-11 20:49:25下载
    积分:1
  • Mesh2d-v24
    Mesh generation is one of the most critical aspects of engineering simulation. Too many cells may result in long solver runs, and too few may lead to inaccurate results. ANSYS Meshing technology provides a means to balance these requirements and obtain the right mesh for each simulation in the most automated way possible. ANSYS Meshing technology has been built on the strengths of stand-alone, class-leading meshing tools. The strongest aspects of these separate tools have been brought together in a single environment to produce some of the most powerful meshing available.
    2015-02-09 01:59:33下载
    积分:1
  • BasedonMATLABQuadratureAmplitudemodulationanddemod
    用于使用matlab语言进行的正交振幅调制及系统仿真.(For the use of language matlab QAM and system simulation.)
    2008-03-23 22:17:50下载
    积分:1
  • QPSK
    该程序源代码实现了matlab通信系统性能的仿真,调制方式QPSK仿真(The source code implements communication system simulation matlab, modulation QPSK simulation)
    2010-05-21 20:08:25下载
    积分:1
  • 696516资源总数
  • 106783会员总数
  • 25今日下载