{"id":"W2561253484","doi":"10.1145/2968445","title":"Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models","year":2016,"lang":"en","type":"article","venue":"ACM Transactions on Design Automation of Electronic Systems","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"National Natural Science Foundation of China","keywords":"Computer science; Mixed criticality; Scheduling (production processes); Criticality; Distributed computing; Certification; Mathematical optimization","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.00159626,0.0002443535,0.0005065242,0.000340821,0.0001150755,0.00006126043,0.0007706753,0.0001369672,0.00002756511],"category_scores_gemma":[0.00007420898,0.000198088,0.0001623962,0.0004773557,0.00006716981,0.001498027,0.00001205354,0.0001266873,0.00003058371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005546949,"about_ca_system_score_gemma":0.0004513594,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004058275,"about_ca_topic_score_gemma":0.000009143493,"domain_scores_codex":[0.9964314,0.000877995,0.001123274,0.0004969832,0.0005911146,0.0004792839],"domain_scores_gemma":[0.996561,0.00113402,0.0006350694,0.001126669,0.0004518969,0.00009135238],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002092253,0.0005729961,0.00001295556,0.0003749501,0.0007129443,0.000003619926,0.001918149,0.523592,0.2390322,0.07016461,0.00006973793,0.1633366],"study_design_scores_gemma":[0.002284823,0.0006875793,0.000117027,0.0003260151,0.00006471032,0.0000402529,0.0004075982,0.7129102,0.2777155,0.005126477,0.00001106091,0.0003087551],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01141788,0.0001157751,0.9863973,0.0002721896,0.0002935056,0.001159886,0.00001696502,0.000236394,0.0000900771],"genre_scores_gemma":[0.9232467,0.00003415631,0.07639421,0.000006441833,0.0000178207,0.000224931,0.000002362762,0.00002099707,0.00005233803],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9118289,"threshold_uncertainty_score":0.8077795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02873167955612287,"score_gpt":0.2860068122052232,"score_spread":0.2572751326491003,"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."}}