{"id":"W2057841856","doi":"10.1109/ccece.2006.277604","title":"Formal Description of Time Management in Real-Time Operating Systems","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":"","keywords":"Computer science; Process (computing); Process calculus; Formal specification; Real-time operating system; Formal methods; Architecture; Formal verification; Formal description; Time management; Formal system; Embedded system; Real-time computing; Operating system; Programming language","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.003045208,0.0007747757,0.0004974111,0.0009340392,0.0009705136,0.003255535,0.002070895,0.001056094,0.003119823],"category_scores_gemma":[0.004085465,0.0006333686,0.001229486,0.0008091289,0.003198349,0.004065434,0.001255211,0.002747983,0.0008828612],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00179598,"about_ca_system_score_gemma":0.002984818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003629438,"about_ca_topic_score_gemma":0.002647839,"domain_scores_codex":[0.9975712,0.0006724649,0.0002935967,0.0002496096,0.0009532093,0.0002598363],"domain_scores_gemma":[0.9975318,0.001114136,0.0002919509,0.0003663306,0.0005861404,0.0001096117],"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.00001832598,0.00003166611,0.0001375534,0.00008206041,0.00001124477,0.0001482839,0.000340759,0.02246431,0.001865116,0.9690757,0.0005789258,0.005245995],"study_design_scores_gemma":[0.0000661003,0.00004673118,0.0001380949,0.0001059375,0.00003521707,0.0002292758,0.0001392944,0.1615232,0.004771504,0.7954976,0.03740187,0.00004522508],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006097018,0.0003618256,0.9846863,0.0003345803,0.00007955598,0.00008987319,0.0001858777,0.0005202473,0.007644781],"genre_scores_gemma":[0.4025865,0.001344395,0.5845123,0.0004619956,0.0002966369,0.0008532593,0.0009497523,0.0003262894,0.008668756],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003629438,"threshold_uncertainty_score":0.01610476,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01447935653714955,"score_gpt":0.2187390519094238,"score_spread":0.2042596953722742,"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."}}