{"id":"W7138515811","doi":"10.1109/acet67282.2025.11430275","title":"Bridging the Gaps in Distributed Deadlock Detection","year":2025,"lang":"","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Bridging (networking); Deadlock; Deadlock prevention algorithms; Scheduling (production processes); Key (lock)","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.02890783,0.0009661319,0.00165061,0.004310785,0.001316328,0.004994882,0.00421187,0.00299249,0.002159195],"category_scores_gemma":[0.04093453,0.001323112,0.001496934,0.002477803,0.007456573,0.01494859,0.003973868,0.004225817,0.0008706448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002862612,"about_ca_system_score_gemma":0.007099281,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001694576,"about_ca_topic_score_gemma":0.00116929,"domain_scores_codex":[0.9820951,0.007810985,0.001474643,0.00258743,0.005268977,0.000762865],"domain_scores_gemma":[0.9209822,0.06185471,0.002554793,0.006324254,0.007656852,0.0006272055],"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.000158481,0.0001820845,0.002484778,0.004087132,0.0001070814,0.0002091561,0.001535898,0.02293091,0.004795831,0.306802,0.00287481,0.6538317],"study_design_scores_gemma":[0.00008362057,0.0003139559,0.001369872,0.003365036,0.0001554385,0.0007265431,0.001307194,0.126185,0.0145401,0.7880384,0.06371241,0.0002023891],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008496481,0.0518804,0.9241863,0.008937082,0.0003296738,0.00007581498,0.00004504725,0.0009491829,0.005099962],"genre_scores_gemma":[0.3739105,0.07234081,0.5468007,0.002421306,0.001042306,0.0003145189,0.0002291891,0.0006829003,0.002257841],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02890783,"threshold_uncertainty_score":0.1528811,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006798982963863659,"score_gpt":0.24089072322756,"score_spread":0.2340917402636964,"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."}}