登录
首页 » Others » coqart82.tar

coqart82.tar

于 2011-01-25 发布 文件大小:388KB
0 272
下载积分: 1 下载次数: 3

代码说明:

  关于携带证明的代码,即PCC,较前沿的代码,是一种一劳永逸无需测试的编码方式,叫复制(Proof carrying code on that PCC, more cutting-edge code, is a once and for encoding without testing, called replication)

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • arclengthwew
    The arclength of a general curve in 2 or more dimensions, using discrete points along the curve
    2010-11-11 22:08:13下载
    积分:1
  • cloud9
    This code is an interesting version of noise production. this produced noise in controlled manner to display clouds. same code may be used to develop several natural random phenomenon
    2010-10-15 19:01:28下载
    积分:1
  • MATLAB_10207058
    对matlab的指令和函数进行了详细说明和解释(On the matlab function instructions and a detailed description and explanation)
    2009-05-25 16:05:19下载
    积分:1
  • PSO
    Global Optimization Toolbox provides methods that search for global solutions to problems that contain multiple maxima or minima. It includes global search, multistart, pattern search, genetic algorithm, and simulated annealing solvers. You can use these solvers to solve optimization problems where the objective or constraint function is continuous, discontinuous, stochastic, does not possess derivatives, or includes simulations or black-box functions with undefined values for some parameter settings.
    2011-01-19 01:18:42下载
    积分:1
  • mykal
    自己编的卡尔曼滤波器,有兴趣的看下,运行无误(Own series of Kalman filter, interested look, run correctly)
    2011-09-13 15:38:48下载
    积分:1
  • k-mea1
    k means clustering using hue descriptor
    2011-11-24 22:24:08下载
    积分:1
  • 0-1fenpei
    本程序是用来解决0-1规划问题的,匈牙利算法的MATLAB程序(用以解决分配(指派)问题) 本程序的用法是:输入效率矩阵 marix 为方阵,调用自编指令[z,ans]=fenpei(marix) 输出z为最优解,ans为最优分配矩阵。(This procedure usage is: input efficiency marix phalanx, calls for matrix maozhi instructions, [z] = fenpei (ans marix) output z for optimal solution, ans for optimal distribution matrix.)
    2010-12-03 19:28:09下载
    积分:1
  • axesprop
    Programa para calculo
    2014-01-13 22:34:29下载
    积分:1
  • porous
    porous多孔介质LBM,matlab模拟(porous porous medium LBM, matlab simulation)
    2013-12-17 14:56:55下载
    积分:1
  • possion
    利用MATLAB实现泊松过程 并对此进行参数估计 (Poisson process and the use of MATLAB realization of this parameter estimation)
    2009-11-24 20:17:12下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载