{"id":"W2106545975","doi":"10.1109/ccece.2005.1557374","title":"Formal description of a real-time process dispatcher","year":2006,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Process (computing); Process calculus; Notation; Formal specification; Formal methods; Communicating sequential processes; Programming language; Formal language; Architecture; Expression (computer science); Software engineering; Semantics (computer science); Operational semantics","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.002202258,0.000635157,0.0004367309,0.0008316212,0.000939635,0.002759858,0.00195304,0.001454768,0.004302966],"category_scores_gemma":[0.002365351,0.0005997908,0.001108911,0.000474509,0.002878096,0.002957584,0.001157941,0.002208748,0.001298745],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001398988,"about_ca_system_score_gemma":0.003048067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003572381,"about_ca_topic_score_gemma":0.002386182,"domain_scores_codex":[0.9984879,0.0002917999,0.0001786238,0.0002423547,0.0006453946,0.0001538671],"domain_scores_gemma":[0.9984957,0.0005906918,0.0001968748,0.0002817618,0.000351744,0.00008328688],"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.00002188724,0.00003673261,0.0001245274,0.00007236375,0.000008051374,0.0002662173,0.0003519515,0.01681135,0.005022578,0.9693959,0.0006685211,0.007219914],"study_design_scores_gemma":[0.0001223193,0.000145549,0.0002319124,0.0001578423,0.00005564868,0.0008371599,0.0002080862,0.3288308,0.01859839,0.51869,0.1320249,0.00009731133],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004450629,0.0002394967,0.9854079,0.0002803329,0.00007370255,0.0001122995,0.0001148774,0.0006476785,0.00867304],"genre_scores_gemma":[0.2446995,0.000866356,0.735714,0.0002850918,0.0001425695,0.0005636142,0.0003504426,0.0002221744,0.01715628],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004302966,"threshold_uncertainty_score":0.01439488,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01213663470199464,"score_gpt":0.2280200754962621,"score_spread":0.2158834407942674,"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."}}