{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002480624,0.001215994,0.0005058641,0.000790818,0.0007243017,0.002046313,0.003105986,0.001079828,0.01684514],"category_scores_gemma":[0.009536861,0.001008568,0.0007885357,0.0005791613,0.0007452641,0.005096703,0.001665129,0.001766652,0.008941693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005178156,"about_ca_system_score_gemma":0.0008982046,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006137771,"about_ca_topic_score_gemma":0.001400568,"domain_scores_codex":[0.9972409,0.0006246334,0.0002851188,0.0002887797,0.001243353,0.000317272],"domain_scores_gemma":[0.9955229,0.001379259,0.0003572382,0.001745577,0.0008665884,0.000128595],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00117332,0.00031745,0.001359168,0.0006495541,0.00007747973,0.0004545124,0.001544522,0.01594765,0.06276705,0.1615934,0.01478557,0.7393303],"study_design_scores_gemma":[0.000427423,0.002064011,0.0009473261,0.0004681724,0.0001634537,0.003402011,0.0004888778,0.2436961,0.2726657,0.1209417,0.354368,0.000367202],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01126842,0.0002808642,0.9534842,0.0001475751,0.00005087896,0.0001177983,0.00004164339,0.0193162,0.01529241],"genre_scores_gemma":[0.2354865,0.0005284707,0.7414503,0.0002265272,0.00005071279,0.000181874,0.0001966756,0.002964947,0.01891393],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01684514,"threshold_uncertainty_score":0.05635262,"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."}}