{"id":"W2168659427","doi":"10.1109/mtv.2007.12","title":"An ADL for Functional Specification of IA32","year":2007,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Canadian Institute of Steel Construction","keywords":"Computer science; Programming language; Executable; Semantics (computer science); Architecture description language; Software architecture description; Architecture; Generator (circuit theory); Set (abstract data type); Syntax; Ambiguity; Software architecture; Software engineering; Reference architecture; Artificial intelligence; Software","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001995311,0.001231414,0.0004350917,0.00141855,0.0007281781,0.002230096,0.00109579,0.001124326,0.01230412],"category_scores_gemma":[0.004125167,0.000649959,0.0009983872,0.0006903845,0.001046148,0.002297709,0.001206367,0.00254024,0.005995213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001335164,"about_ca_system_score_gemma":0.001941358,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002172174,"about_ca_topic_score_gemma":0.002064976,"domain_scores_codex":[0.9980374,0.0005546468,0.0004349066,0.0002241813,0.0005798066,0.0001691851],"domain_scores_gemma":[0.9975841,0.0008367485,0.0002035657,0.0005038041,0.0008012636,0.00007046518],"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.000244906,0.0001025781,0.0009413085,0.001019658,0.00003673343,0.001027091,0.0008967615,0.01795255,0.03600193,0.7517578,0.04758226,0.1424364],"study_design_scores_gemma":[0.00008229503,0.0001573068,0.0002626276,0.0003133609,0.00004192674,0.0012784,0.0001641156,0.07725361,0.03142195,0.1206198,0.7683071,0.00009742998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002726379,0.000277815,0.9714972,0.0003752242,0.0002629353,0.0003144967,0.002222827,0.007760019,0.01456322],"genre_scores_gemma":[0.09679776,0.0007162155,0.8653759,0.001507551,0.0002382189,0.001946564,0.007239445,0.003571068,0.02260734],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01230412,"threshold_uncertainty_score":0.04116142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05098311685720495,"score_gpt":0.3109878789398017,"score_spread":0.2600047620825968,"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."}}