-
一致性算法验证
分布性一致性算法的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 verication. The Broadcast-Free Algorithm Model is dened 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 innite computation and one to asynchronous communicationbetween processes without Broadcast.
- 2022-01-25 17:35:22下载
- 积分:1
-
这是一个Offline工具程序,模仿钟表指针的转动位置,计算出指针在各个位置时的坐标值,并输出成C语言文件格式。...
这是一个Offline工具程序,模仿钟表指针的转动位置,计算出指针在各个位置时的坐标值,并输出成C语言文件格式。-Offline This is a procedural tool, imitate watches the rotational position indicators, calculated in various indicators of the location coordinates and exported into C language files.
- 2022-01-24 16:56:52下载
- 积分:1
-
好东西房贷首付但是是的房贷首付但是是对方的身份
好东西房贷首付但是是的房贷首付但是是对方的身份-rghfdhujty
- 2022-12-08 01:20:03下载
- 积分:1
-
种子填充图
算法,图论,dfs,新人,算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人算法,图论,dfs,新人
- 2022-02-14 08:52:02下载
- 积分:1
-
Numerical optimization of the process used to be legal procedures Bessel
数值优化计算过程中常用的贝塞尔拟合法程序-Numerical optimization of the process used to be legal procedures Bessel
- 2022-07-24 07:21:04下载
- 积分:1
-
Huffman编码实现压缩与解压缩
Huffman编码是常见的编码之一,它的一个重要应用即为实现文件的压缩。本程序实现了利用Huffman编码进行文件压缩与解压缩
- 2022-03-19 02:16:11下载
- 积分:1
-
C语言源代码 万年历
C语言源代码 万年历-C language source code hefty almanac
- 2022-10-05 02:45:03下载
- 积分:1
-
鼹鼠闯迷宫
资源描述void creatWay(int (*mg)[N],int x, int y)//在迷宫中产生一条路,使用图的深度遍历思想来实现,
{
static int dir[4][2] = {0, 1, 1, 0, 0, -1, -1, 0};////将要走的4个方向保存在二维数组中
int zx = x*2;
int zy = y*2;
int next, turn, i;
mg[zx][zy] = 0;
if(rand()%2)
turn = 1;
else
turn = 3;
for(i=0,next=rand()%4;i
- 2022-01-26 05:46:58下载
- 积分:1
-
Weka 的实验教程 数据挖掘中一份不错的实践参考资料。
Weka 的实验教程 数据挖掘中一份不错的实践参考资料。-Weka data mining tutorial experimental practice of a decent reference.
- 2022-02-15 05:31:15下载
- 积分:1
-
用C++实现的遗传算法程序,简单易懂,拥有遗传算法的一些经典方法...
用C++实现的遗传算法程序,简单易懂,拥有遗传算法的一些经典方法-Implemented using C++ genetic algorithm program, easy to understand, with some of the classical method of genetic algorithms
- 2023-09-04 01:15:03下载
- 积分:1