{"id":"W2087022298","doi":"10.1145/584417.584422","title":"Practical implementations of embedded software using the Ravenscar Profile","year":2002,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"National Research Council Canada","funders":"","keywords":"Computer science; Implementation; Software; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004238128,0.0001733806,0.0002115217,0.0001018579,0.0001924849,0.0001093858,0.001335494,0.00005660099,0.0001057407],"category_scores_gemma":[0.0004667349,0.0001359595,0.000107295,0.0004557507,0.0001098407,0.0005762746,0.0003943431,0.0002117863,0.00002225269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007942988,"about_ca_system_score_gemma":0.00004803804,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001041119,"about_ca_topic_score_gemma":0.000006838592,"domain_scores_codex":[0.9980352,0.0002858398,0.0004528732,0.0003426815,0.0005331686,0.000350259],"domain_scores_gemma":[0.9972387,0.0007894696,0.0002939307,0.00151046,0.0001023405,0.00006510707],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000103831,0.0002063208,0.003065041,0.0001477565,0.000228075,0.0001775211,0.009358037,0.0002275035,0.4169507,0.01457604,0.5487863,0.006266332],"study_design_scores_gemma":[0.002644916,0.0006830309,0.001968439,0.0006054786,0.0003133223,0.001407615,0.003101064,0.1338366,0.8257359,0.008535369,0.0184425,0.002725783],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04190495,0.0000518682,0.945052,0.01167325,0.0002162149,0.0006423327,0.000009119898,0.0003056133,0.0001446835],"genre_scores_gemma":[0.4020033,0.000002547772,0.5955738,0.002246087,0.00006806885,0.00004994975,0.000002146175,0.00001787616,0.00003622207],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5303438,"threshold_uncertainty_score":0.5544267,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0949414484074329,"score_gpt":0.3375656426295776,"score_spread":0.2426241942221447,"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."}}