{"id":"W2075802691","doi":"10.1145/1451940.1451954","title":"Showing correctness of a replication algorithm in a component based system","year":2008,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Systems, Applications & Products in Data Processing (Canada)","funders":"","keywords":"Correctness; Computer science; Component (thermodynamics); Replication (statistics); Rotation formalisms in three dimensions; Distributed computing; Process (computing); Architecture; Algorithm; Theoretical computer science; Programming language; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003119484,0.00007469278,0.0001949517,0.00008018375,0.00004212864,0.00001559385,0.0003831397,0.00003603901,0.000001788127],"category_scores_gemma":[0.00001115338,0.00006685211,0.00004152486,0.0004511728,0.00001923618,0.0001539113,0.00004249148,0.00004909686,0.000007954721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007038678,"about_ca_system_score_gemma":0.00005887313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003552578,"about_ca_topic_score_gemma":0.00000720153,"domain_scores_codex":[0.9989606,0.00005540934,0.0003327003,0.0003021079,0.0002120566,0.0001371912],"domain_scores_gemma":[0.9990698,0.00004416449,0.0001008277,0.0006635849,0.00008240752,0.00003921545],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008827934,0.002776965,0.08533093,0.001626987,0.00009941714,0.0009063064,0.007165728,0.02484639,0.02653772,0.2417338,0.008320575,0.6005669],"study_design_scores_gemma":[0.0003679831,0.00001914712,0.01285055,0.0001406957,7.120023e-7,0.00004541659,0.00005517817,0.9831896,0.002760932,0.000005139613,0.0004785752,0.0000860357],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04342012,0.00004913133,0.9542586,0.00008846201,0.0001948468,0.0001744759,0.000004754767,0.0001071285,0.001702499],"genre_scores_gemma":[0.9724327,8.389083e-7,0.02741881,0.00003484794,0.000012036,0.00002767471,0.000005549213,0.000003198339,0.00006428995],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9583433,"threshold_uncertainty_score":0.272615,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02490873348107975,"score_gpt":0.2350044586824344,"score_spread":0.2100957252013546,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}