{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001185268,0.00004825179,0.00006818566,0.0001132511,0.00002653918,0.00001904356,0.0003211172,0.00004772537,0.0000131643],"category_scores_gemma":[0.00001605353,0.00004330435,0.00003283763,0.0001661353,0.0000159123,0.0002826521,0.0000172793,0.0000269508,0.000007344169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002773926,"about_ca_system_score_gemma":0.00002120447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000115947,"about_ca_topic_score_gemma":0.00001257069,"domain_scores_codex":[0.9992994,0.00001400275,0.0002298913,0.0001709963,0.0001703629,0.0001153696],"domain_scores_gemma":[0.9991958,0.000115431,0.00008243922,0.0003864845,0.0001787501,0.00004107218],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001237853,0.00005594649,0.0004460908,0.00001136779,0.000003768219,3.842546e-7,0.0001314751,0.000003290532,0.1078326,0.8588769,0.004448333,0.0281774],"study_design_scores_gemma":[0.0001977094,0.000310064,0.01613565,0.00001049752,0.000002249046,0.00001050819,0.00007821222,0.01052874,0.9430153,0.02043829,0.00912161,0.0001511163],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002627591,0.00001195715,0.9854876,0.00004934111,0.0001512062,0.000216906,6.516912e-7,0.0002390224,0.01121571],"genre_scores_gemma":[0.6244386,3.429794e-7,0.3751185,0.00005090494,0.0000782943,0.000006673411,0.000002156554,0.000003125438,0.0003013596],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8384386,"threshold_uncertainty_score":0.17659,"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."}}