{"id":"W2171211501","doi":"10.1109/allerton.2009.5394896","title":"Concurrency control generation for dynamic threads using Discrete-Event Systems","year":2009,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Concurrency; Distributed computing; Concurrency control; Event (particle physics); Multithreading; Extension (predicate logic); Concurrent computing; Concurrent object-oriented programming; Discrete event simulation; Parallel computing; Programming language; Thread (computing); Programming paradigm; Reactive programming; Simulation","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.003604041,0.0005203789,0.0007353605,0.0006507123,0.0008039189,0.002310695,0.001653456,0.0007328308,0.00228666],"category_scores_gemma":[0.006849692,0.000492799,0.0009327626,0.0004541845,0.001722739,0.002073469,0.001929918,0.001493694,0.0003139749],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009884284,"about_ca_system_score_gemma":0.001266192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001776055,"about_ca_topic_score_gemma":0.001874859,"domain_scores_codex":[0.9981755,0.0005178374,0.0001901686,0.0002995596,0.0006752842,0.0001417361],"domain_scores_gemma":[0.9962345,0.002355422,0.0002338258,0.0005869982,0.0004174585,0.0001718707],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003740948,0.000179171,0.001539544,0.0002133979,0.00006312736,0.0005934015,0.0007858564,0.4190116,0.0225176,0.4495139,0.001445062,0.1037633],"study_design_scores_gemma":[0.00006294285,0.00003458384,0.00005252967,0.00001478097,0.00001708706,0.0000482839,0.00002607922,0.932077,0.006785803,0.0558637,0.005001043,0.00001621229],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008028974,0.00007948005,0.9895446,0.0000708472,0.00003409406,0.00008094438,0.00001684281,0.0004999193,0.001644339],"genre_scores_gemma":[0.501563,0.0002651732,0.493421,0.00007538634,0.00005225919,0.0003379071,0.0001349743,0.0001557657,0.003994587],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003604041,"threshold_uncertainty_score":0.01906019,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04146473554748074,"score_gpt":0.3196849022434741,"score_spread":0.2782201666959933,"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."}}