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

Static-Analysis-of-Software

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

  • demo_Brain_2D
    2D脑图的L1小波重建图像,您需要安装Wavelab来实现此代码。(demo_Brain_2D.m demonstrate an L1-wavelet reconstruction of a brain image. )
    2013-04-27 12:23:38下载
    积分:1
  • lujingguihua-yiqunsuanfa(matlab)
    机器人障碍环境下路径规划问题,采用改进的回退蚁群算法,matlab版源代码,有可视化界面。(Robot obstacle environment path planning problem, using an improved back colony algorithm, matlab version of the source code, visual interface.)
    2013-06-19 16:15:28下载
    积分:1
  • pso
    粒子群算法解决二进制问题,通过matlab语言进行编程(Binary particle swarm algorithm to solve the problem, through the matlab programming language)
    2009-11-16 17:11:04下载
    积分:1
  • MATLAbebook
    matlab的一些经典书籍。基础与应用,综合辅导,小波分析(matlab some classic books. Basic and applied, integrated counseling, wavelet analysis)
    2008-07-10 14:47:55下载
    积分:1
  • LIDAR-point-cloud-data-p-and-a
    LIDAR点云数据处理与应用 -分析 L I D A R点云数据的获取原理及分类 , 探讨 Mi c r o s t a t i o n 的 t e r r a 模块 数据及 L I D A R点云数据 的分类处理 方法。( Get principle and classification, classification method to explore the terra Mi crostation module data and LIDAR point cloud data LIDAR point cloud data processing and analysis applications - LIDAR point cloud data.)
    2015-04-14 17:32:18下载
    积分:1
  • RSSI
    RSSI Localization algorithm
    2014-10-03 06:53:44下载
    积分:1
  • couple_Lpfg
    计算两根平行的长周期光纤光纤光栅之间的偶和效率与光栅长度以及光栅之间的偏移量offset的关系(calculating the coupling efficiency of two parallel identical long-period fiber gratings)
    2013-09-27 10:49:18下载
    积分:1
  • kruskal
    matlab版本 图论中的kruskal算法 一般C版本的比较多,这里提供matlab版本的,更简单方便使用 (Matlab code of kruskal algorithm in graph theory)
    2013-11-13 17:54:08下载
    积分:1
  • ACA_QoS_MR
    ACO求解QOS路由问题。该文件完全实现了蚁群算法求解QOS路由问题,取得了不错的效果。用matlab打开该文件,将文件中的输入参数列表复制到运行窗口中,然后运行该文件即可。(ACO routing problem solving QOS. This document is the ant colony algorithm to achieve QOS routing problem, and achieved good results. Using matlab to open the file, the file copied to the run input parameters list window, then run the file.)
    2020-12-28 17:09:01下载
    积分:1
  • mphtxt_read
    读入COMSOL软件所生成的三维mphtxt四面体网格文件,读入相关网格的节点、四面体单元,边界信息。调用此函数时应将包含相关的路径与文件名的字符串作为输入参数。包中包含了一个m函数文件与一个示例网格数据文件。(read the information of 3-d tetrahedron mesh file--*.mphtxt generated by COMSOL. The input parameter is the path and name of mesh file. A matlab source file and mesh file is included in it.)
    2021-03-20 22:39:18下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载