{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01304379,0.001356364,0.001530385,0.001681556,0.00228746,0.006947426,0.004270997,0.00502786,0.002367386],"category_scores_gemma":[0.04938321,0.001877637,0.003311134,0.001506265,0.006705603,0.00935057,0.004724762,0.004685075,0.001125904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001961263,"about_ca_system_score_gemma":0.004111886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005974267,"about_ca_topic_score_gemma":0.003131735,"domain_scores_codex":[0.9797179,0.006445706,0.002441049,0.002480388,0.007168349,0.001746713],"domain_scores_gemma":[0.942351,0.03491994,0.00273287,0.01231933,0.007011825,0.000665087],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004759213,0.0002846393,0.006250964,0.0008363369,0.0003898011,0.001717531,0.001695297,0.2948309,0.02633373,0.5933275,0.003700315,0.07015699],"study_design_scores_gemma":[0.0001658422,0.0001869598,0.000444188,0.0001125311,0.0002010804,0.0004992784,0.0001859761,0.599418,0.03498689,0.3563421,0.007343465,0.0001136653],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01201703,0.00009494009,0.983813,0.000381562,0.0000454477,0.00009634803,0.00005586576,0.002183778,0.001312015],"genre_scores_gemma":[0.3748586,0.0003912573,0.6209316,0.0003767938,0.000139686,0.0002354639,0.0004633567,0.0009073321,0.001695841],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01304379,"threshold_uncertainty_score":0.06898296,"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."}}