{"id":"W3017153815","doi":"10.1109/hpca47549.2020.00044","title":"DRAIN: Deadlock Removal for Arbitrary Irregular Networks","year":2020,"lang":"en","type":"article","venue":"","topic":"Interconnection Networks and Systems","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Deadlock; Correctness; Computer science; Deadlock prevention algorithms; Distributed computing; Network packet; Computer network; Algorithm","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.0002010842,0.0001169941,0.0001690779,0.00002318482,0.0001174689,0.0001696771,0.0005467728,0.00007934372,0.00003184989],"category_scores_gemma":[0.00002038036,0.00009921672,0.000136904,0.0002350821,0.00001455498,0.0002492599,0.0001057591,0.0001025225,0.00003588166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001515365,"about_ca_system_score_gemma":0.00002678204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006871011,"about_ca_topic_score_gemma":0.000004796687,"domain_scores_codex":[0.9989492,0.00004288408,0.0002410078,0.0003621229,0.0001268339,0.0002779178],"domain_scores_gemma":[0.9993641,0.0000851696,0.00005396159,0.0002791062,0.00006863983,0.000149022],"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.00003014976,0.00002528152,0.00004729379,0.00002935198,0.00005129475,0.00004214883,0.0004629628,0.01051516,0.0001179196,0.7531606,0.2167479,0.01876997],"study_design_scores_gemma":[0.0002145974,0.00009732201,0.00001719634,0.000008128945,0.00000229072,0.00004099374,0.00002447962,0.8312181,0.0001023059,0.001558196,0.1665908,0.0001255427],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004694821,0.0001759858,0.9770966,0.006430645,0.0009899596,0.0002518602,6.243268e-7,0.0003077178,0.01427719],"genre_scores_gemma":[0.8996453,0.000005412033,0.0800309,0.01577055,0.002027668,0.00003987866,0.000004086612,0.00002005758,0.002456154],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8991758,"threshold_uncertainty_score":0.404594,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02663691732179952,"score_gpt":0.2230676276786275,"score_spread":0.196430710356828,"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."}}