{"id":"W2165710034","doi":"10.1109/newcas.2006.250902","title":"Building Heterogeneous Functional Prototypes Using Articulated Interfaces","year":2006,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure; McGill University; Polytechnique Montréal","funders":"","keywords":"Executable; Computer science; Component (thermodynamics); Interface (matter); Abstraction; Functional verification; Decoupling (probability); Formal verification; Embedded system; Programming language; Distributed computing; Operating system; Engineering","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.0001883294,0.0001238218,0.0001201153,0.0001116604,0.00009015994,0.0001887967,0.0003272257,0.00006032738,0.00002066156],"category_scores_gemma":[0.000008664906,0.0001051347,0.00004531456,0.0002492055,0.00002511348,0.0003723696,0.000126659,0.00006729669,0.00002291168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006971589,"about_ca_system_score_gemma":0.00003002016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000207022,"about_ca_topic_score_gemma":0.00001106015,"domain_scores_codex":[0.9989214,0.00006536355,0.0002592315,0.0003056241,0.0002250148,0.0002233893],"domain_scores_gemma":[0.9994522,0.00003146412,0.00007565293,0.0003159058,0.00009045981,0.00003436375],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00000805246,0.0000812998,0.001228516,0.00002528231,0.00002819633,0.00003955625,0.00005229356,0.01258108,0.8771766,0.1052872,0.0009642345,0.002527623],"study_design_scores_gemma":[0.00008051401,0.00004471741,0.0002067028,0.00003067214,0.000003073659,0.0001705454,0.000001794772,0.2522182,0.7376288,0.009062891,0.0003834171,0.0001687297],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2603891,0.00005336191,0.7375628,0.00004189332,0.0001134105,0.0002912392,1.836078e-7,0.0007170921,0.0008309522],"genre_scores_gemma":[0.7732139,1.471556e-7,0.2265321,0.00004017086,0.00005429509,0.00002793731,3.441975e-7,0.000007936052,0.000123194],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5128248,"threshold_uncertainty_score":0.428727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02726116363833096,"score_gpt":0.2624303185613818,"score_spread":0.2351691549230509,"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."}}