{"id":"W2529730326","doi":"10.1109/tac.2016.2596758","title":"Deadlock Analysis of Parameterized-Chain Networks","year":2016,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Interconnection Networks and Systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Parameterized complexity; Undecidable problem; Deadlock; Dependency graph; Dependency (UML); Key (lock); Deadlock prevention algorithms; Graph","routes":{"ca_aff":true,"ca_fund":true,"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.0009951731,0.0004431059,0.0003280171,0.0006508376,0.0004342508,0.0006217103,0.0009403828,0.0004491818,0.002200278],"category_scores_gemma":[0.003585972,0.0002637287,0.0005998388,0.0005668333,0.001105269,0.001918191,0.001030845,0.0006253604,0.0000890585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001507268,"about_ca_system_score_gemma":0.0009632229,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003497958,"about_ca_topic_score_gemma":0.00245917,"domain_scores_codex":[0.999451,0.0001740737,0.00003160784,0.0001148408,0.0001371076,0.00009140896],"domain_scores_gemma":[0.9977446,0.001317503,0.0003282256,0.0002324706,0.0002721872,0.0001050473],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008539983,0.00004047057,0.002552554,0.00007274644,0.00004105539,0.0001648445,0.0001369105,0.7871801,0.008394901,0.1907349,0.0003401719,0.01025607],"study_design_scores_gemma":[0.000004212071,0.00001048845,0.0002107932,0.000005752006,0.000006014263,0.00001882583,0.00001713574,0.9273835,0.001768942,0.07006495,0.0005046669,0.000004646226],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1917122,0.0002051268,0.8033371,0.000142857,0.00001188299,0.00006884777,0.0001834572,0.0001825077,0.004156119],"genre_scores_gemma":[0.9477069,0.0002805229,0.04919131,0.0000415759,0.00001386034,0.000135116,0.0003164492,0.00006532466,0.002248921],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003497958,"threshold_uncertainty_score":0.01093602,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01102906177997691,"score_gpt":0.2276901125859751,"score_spread":0.2166610508059982,"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."}}