-
一致性算法验证
分布性一致性算法的Isabella验证 we introduce a novel Broadcast-Free Algorithm that solves Consensusproblem in the presence of a Weak-Fairness property and an unreliablefailure detector -property, in asynchronous distributed systems, and later itsformal veri cation. The Broadcast-Free Algorithm Model is de ned as a globaltransition system that is unambigously generated by local transition rules. At thesystem run, the algorithm model attempts involves two concepts : one to systemrun represents a in nite computation and one to asynchronous communicationbetween processes without Broadcast.
- 2022-01-25 17:35:22下载
- 积分：1
-
图片浏览器
关于matlab编写的图片浏览器算法，打开一个图片目录，可以通过【上一张】、【下一张】按钮实现图片的浏览，并且自动检测第一张和最后一张图片
- 2022-03-14 22:33:42下载
- 积分：1
-
ffuc argorithm
ffuc argorithm
ffuc argorithm
ffuc argorithm
ffuc argorithm
- 2022-11-10 19:50:02下载
- 积分：1
-
tokeniising c 程序
它是一个 c 程序 tokmiser 你必须给 c 程序输入 tokensise 。这是基本的 c 程序 tokensiser
- 2022-02-01 21:21:22下载
- 积分：1
-
飞控核心算法--四元数互补滤波算法(源码)
资源描述四元数互补滤波算法，已经在无人机项目中使用
- 2022-03-24 17:33:02下载
- 积分：1
-
石油勘探专业算法：地震波阻抗反演晚…
石油勘探专业算法：地震资料波阻抗反演后期算法，包括带限反演算法和道积分反演算法两种-professional algorithm oil exploration : seismic data late wave impedance inversion algorithm, including band-limited anti-calculus and calculus Road-two points
- 2022-06-26 16:11:26下载
- 积分：1
-
n-m进制转换
计算任意的n进制的书转换到m进制的数字，用户自己定义转换进制类型
- 2022-05-15 13:56:07下载
- 积分：1
-
对等点聚类
Clustering peer to peer
- 2022-03-31 19:55:08下载
- 积分：1
-
DES应用工具
提供des,3des算法及mac算法，主要用于加解密及mac计算用于金融领域
- 2022-12-14 12:50:04下载
- 积分：1
-
简单的用Vt码做的贪吃蛇小游戏
这是用C语言编写的简单的用Vt码做的贪吃蛇小游戏，游戏主要是在终端界面玩，未完尚待完善，望各位大神多提宝贵意见
- 2022-08-22 21:30:49下载
- 积分：1
