{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001381209,0.0002282387,0.0002688735,0.0001721997,0.0004702165,0.0003398547,0.0009779948,0.0001726043,0.00002408852],"category_scores_gemma":[0.0002013289,0.0001490978,0.000134275,0.002632509,0.0001303809,0.0004522401,0.0004742269,0.0004356962,0.00008327857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003570298,"about_ca_system_score_gemma":0.0002566426,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009262339,"about_ca_topic_score_gemma":0.0006036214,"domain_scores_codex":[0.9976584,0.0002631013,0.0006631212,0.0006051818,0.000287418,0.0005227799],"domain_scores_gemma":[0.9983867,0.0002315064,0.0001082389,0.00107561,0.0001439441,0.00005401748],"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.0000329062,0.0001466594,0.1287257,0.0002436075,0.00003465815,0.000007079092,0.0008226334,0.002772356,0.0001424816,0.001961886,0.001175446,0.8639346],"study_design_scores_gemma":[0.0005963286,0.00005498786,0.2561247,0.0003859868,0.00001696997,0.00001419832,0.0002865271,0.7302099,0.00757055,0.001011214,0.003473943,0.0002546734],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2738338,0.000652162,0.7178505,0.003045983,0.002622306,0.0004742051,0.000002552092,0.000136503,0.001381954],"genre_scores_gemma":[0.9984683,0.00007981211,0.0001631632,0.000403755,0.0001047833,0.00003868867,0.000001411407,0.000004492553,0.0007356243],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8636799,"threshold_uncertainty_score":0.6080034,"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."}}