Login / Signup
Eventual consensus in Synod: verification using a failure-aware actor model.
Saswata Paul
Gul Agha
Stacy Patterson
Carlos A. Varela
Published in:
Innov. Syst. Softw. Eng. (2023)
Keyphrases
</>
mathematical model
formal model
probability distribution
computational model
statistical model
experimental data
sensitivity analysis
information retrieval
cost function
data sets
similarity measure
prior knowledge
probabilistic model
em algorithm
neural network model