{"id":"W2950434324","doi":"10.82308/1356","title":"On testing concurrent systems through contexts of queues","year":2006,"lang":"en","type":"article","venue":"eScholarship@McGill (McGill)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fonds Québécois de la Recherche sur la Nature et les Technologies; Natural Sciences and Engineering Research Council of Canada; McGill University; Microsoft Research","keywords":"Asynchronous communication; Computer science; Queue; Atomicity; Fork–join queue; Distributed computing; Queue management system; Programming language; Computer network","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000954923,0.0004245735,0.0005471874,0.0001952807,0.0005499928,0.0001457702,0.001230689,0.0001958586,0.000004692739],"category_scores_gemma":[0.002083309,0.0004034912,0.0001531354,0.0007853688,0.0001200571,0.0007798579,0.0003757233,0.000514422,0.00006499],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002571536,"about_ca_system_score_gemma":0.00003835361,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002156466,"about_ca_topic_score_gemma":0.00002587403,"domain_scores_codex":[0.9966908,0.0003230262,0.0008289592,0.0008327449,0.0007240786,0.0006003648],"domain_scores_gemma":[0.9958941,0.001911812,0.0005387186,0.001033569,0.0004961303,0.0001257216],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007869244,0.0002363303,0.0004410427,0.0001067043,0.00002334347,0.00004791826,0.000004559331,0.0003632004,0.004209141,0.9172381,0.0001920659,0.07712977],"study_design_scores_gemma":[0.001470796,0.001199769,0.001997703,0.002369472,0.0000536984,0.0002326019,0.00001072371,0.009239515,0.1036493,0.8632934,0.01487403,0.001609033],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.859319,0.001344532,0.003158144,0.00007307604,0.002786526,0.001311116,0.00032135,0.02428361,0.1074026],"genre_scores_gemma":[0.9720778,0.000006362029,0.02740082,0.00018728,0.00004207401,0.00005828767,0.000007504495,0.00004799523,0.0001718167],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1127589,"threshold_uncertainty_score":0.9998417,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03220729905710736,"score_gpt":0.2550858479032864,"score_spread":0.2228785488461791,"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."}}