{"id":"W111879427","doi":"","title":"Debugging Distributed Computations by Reverse Search","year":2003,"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","funders":"","keywords":"Computer science; Debugging; Computation; Enumeration; Predicate (mathematical logic); Parallel computing; Theoretical computer science; Distributed memory; Shared memory; Algorithm; 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.0002669507,0.0001014169,0.0001234114,0.00003493627,0.0001862763,0.0001911665,0.000400451,0.0000406074,0.00005341833],"category_scores_gemma":[0.00003458323,0.00009202205,0.00004512922,0.000545718,0.00002644509,0.0003246172,0.00005176664,0.00009912525,0.0002485253],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004273006,"about_ca_system_score_gemma":0.00006634344,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006058617,"about_ca_topic_score_gemma":0.000004484398,"domain_scores_codex":[0.9988811,0.00009477098,0.0001990101,0.0002915816,0.0002340609,0.0002995011],"domain_scores_gemma":[0.9993122,0.00006244017,0.00003450619,0.0003593291,0.0001043503,0.0001271315],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001676008,0.0001896376,0.001205491,0.00002531721,0.00003991844,0.00002952919,0.0003303567,0.002132404,0.001592984,0.4515227,0.534996,0.00793406],"study_design_scores_gemma":[0.000966021,0.0000527097,0.00061803,0.00004270585,0.000006816909,0.0000741273,0.0002038407,0.221019,0.004060589,0.00143465,0.7709724,0.0005491266],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002815805,0.00009634875,0.9851957,0.000735226,0.0001881444,0.0001135083,0.00007182109,0.0002678422,0.01051564],"genre_scores_gemma":[0.9723485,0.000004250196,0.02523718,0.0003060787,0.00001182125,0.00001035925,0.00007735931,0.000006278616,0.001998194],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9695327,"threshold_uncertainty_score":0.375255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01436104084917331,"score_gpt":0.2500858621280149,"score_spread":0.2357248212788416,"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."}}