-
一致性算法验证
分布性一致性算法的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
-
寻最短路径算法
一个模拟游戏中最短路径的算法
从一个点,到另一个点的最短路径,中间可以设置障碍
看是如果绕过障碍获得最短路径
- 2022-12-09 16:30:03下载
- 积分：1
-
LZW图片压缩算法
字符串和编码的对应关系是在压缩过程中动态生成的，并且隐含在压缩数据中，解压的时候根据表来进行恢复，算是一种无损压缩.
根据 Lempel-Ziv-Welch Encoding ，简称 LZW 的压缩算法，用任何一种语言来实现它.
请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报 打分 发表评论 暂无评论
- 2022-06-01 05:25:33下载
- 积分：1
-
多线程程序原子性违例检测工具
采用存储监视技术，用于自动检测多线程并发程序的原子性冲突。采用存储监视技术，用于自动检测多线程并发程序的原子性冲突。采用存储监视技术，用于自动检测多线程并发程序的原子性冲突。采用存储监视技术，用于自动检测多线程并发程序的原子性冲突。
- 2022-02-02 18:23:46下载
- 积分：1
-
利用 OTSU 阈值的图像分割
这是分割使用阈值的算法。阈值在这里我用 OTSU 阈值方法。欢迎大家下载、试用。谢谢大家的支持！
- 2022-03-23 15:51:24下载
- 积分：1
-
C语言基本程序
C语言基本程序-C language basic procedures
- 2022-10-23 05:05:03下载
- 积分：1
-
离散数学的二元关系判断（源与再…
离散数学二元关系性质判断器(源码及报告)-Discrete Mathematics dual nature of the relationship judgment (source and the report)
- 2022-03-06 20:46:51下载
- 积分：1
-
SHA-1 Algorithm implemented in C
在我的项目中，我用C语言实现了一个SHA-1算法。我尽量使它简单易懂。输入是一个测试文件，输出是编码字符串。
- 2023-09-02 07:10:08下载
- 积分：1
-
cuda与cpu对比（矩阵乘法）
运行并测试OpenMP编写两个n阶的方阵a和b的相乘程序，结果存放在方阵c中，其中乘法用for编译制导语句实现并行化操作。
- 2022-06-02 16:08:35下载
- 积分：1
-
Mathematical Modeling of Probability and Statistics courseware. Described the ge...
数学建模中的概率统计课件。讲述了概率统计的一般方法。-Mathematical Modeling of Probability and Statistics courseware. Described the general method of probability and statistics.
- 2023-03-02 15:45:04下载
- 积分：1
