サクサク読めて、アプリ限定の機能も多数!
分散合意アルゴリズム Raft の Log Matching Property を証明しました。
hitotakuchan のブックマーク 2020/05/01 18:18
A Proof for Log Matching Property of Raft - 俺の Colimit を越えてゆけ[計算機科学][形式手法][定理証明][分散処理]分散合意アルゴリズム Raft の Log Matching Property を証明しました。2020/05/01 18:18
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.orecoli.com2020/05/01
背景 Log Matching Property の証明 データ構造と述語の定義 AppendEntries 関数の性質 leader の log に関する性質 Log Matching Property の証明 参考資料 背景 分散合意アルゴリズム Raft は kubernetes のク...
4 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
分散合意アルゴリズム Raft の Log Matching Property を証明しました。
hitotakuchan のブックマーク 2020/05/01 18:18
このブックマークにはスターがありません。
最初のスターをつけてみよう!
A Proof for Log Matching Property of Raft - 俺の Colimit を越えてゆけ
www.orecoli.com2020/05/01
背景 Log Matching Property の証明 データ構造と述語の定義 AppendEntries 関数の性質 leader の log に関する性質 Log Matching Property の証明 参考資料 背景 分散合意アルゴリズム Raft は kubernetes のク...
4 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /