{"id":"W2140249069","doi":"10.1145/1108970.1108975","title":"Implicit-signal monitors","year":2005,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; SIGNAL (programming language); POSIX Threads; Synchronization (alternating current); Real-time computing; Bottleneck; Concurrency; Embedded system; Distributed computing; Programming language; Thread (computing)","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.0004140719,0.0002381435,0.000281462,0.0001645408,0.0003598551,0.0006062355,0.0006398207,0.0001349448,0.00001055445],"category_scores_gemma":[0.00001235371,0.0001908234,0.0001198462,0.0003079812,0.00005286746,0.000363685,0.00002166267,0.0002181847,0.00006857212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004996969,"about_ca_system_score_gemma":0.00002656542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006194268,"about_ca_topic_score_gemma":0.00004196781,"domain_scores_codex":[0.9982815,0.0001028342,0.000347007,0.0004876114,0.00031748,0.0004635106],"domain_scores_gemma":[0.9987841,0.0001245262,0.0001085845,0.0007333926,0.00006445,0.0001849157],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005253368,0.0001187455,0.000284447,0.00005932312,0.00005933951,0.00001943103,0.00142442,0.0001907684,0.000133597,0.01974919,0.00006442341,0.9778911],"study_design_scores_gemma":[0.003376924,0.002845374,0.001673899,0.000182896,0.0001965817,0.001745511,0.01192573,0.02866474,0.004541893,0.002485714,0.939587,0.002773737],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009362036,0.002657581,0.984415,0.0005788262,0.0006601828,0.000642012,0.00000274768,0.0007078867,0.0009737252],"genre_scores_gemma":[0.9881545,0.00003291416,0.009952323,0.00008467434,0.000291059,0.0001581944,0.000002639789,0.0000205062,0.001303237],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9787924,"threshold_uncertainty_score":0.778155,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01965813410887789,"score_gpt":0.2791380623098197,"score_spread":0.2594799282009418,"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."}}