{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001885716,0.0007271224,0.0008032749,0.0007169601,0.000511741,0.00143516,0.002039622,0.0008998155,0.003246221],"category_scores_gemma":[0.009344853,0.0004384717,0.0005591484,0.0008081167,0.001330241,0.003654443,0.002494343,0.001508999,0.0009578422],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006491353,"about_ca_system_score_gemma":0.001211562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001504902,"about_ca_topic_score_gemma":0.002205484,"domain_scores_codex":[0.9979153,0.0007538159,0.0001153951,0.0003880753,0.0006641847,0.000163239],"domain_scores_gemma":[0.9929376,0.003735293,0.0004491106,0.002240142,0.0005303601,0.0001074217],"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.001026468,0.0003527304,0.004561818,0.0003305311,0.00009982187,0.0003344464,0.0008028432,0.1974073,0.02800832,0.1596354,0.006612279,0.6008281],"study_design_scores_gemma":[0.0001128004,0.000187847,0.0002673111,0.00003561667,0.0000390565,0.0002379068,0.0001000229,0.8724103,0.03263469,0.08431333,0.009627647,0.00003339998],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01727864,0.00009359732,0.9774143,0.000116714,0.00001867375,0.00006438607,0.0000440156,0.002885109,0.002084522],"genre_scores_gemma":[0.3117044,0.0001375135,0.6844804,0.0001338186,0.00002192913,0.000231579,0.0002350675,0.0004853245,0.00257001],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003246221,"threshold_uncertainty_score":0.01085967,"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."}}