{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002063189,0.0008456583,0.000613281,0.0007299331,0.0006189573,0.001499526,0.002682871,0.001367856,0.005787705],"category_scores_gemma":[0.005300195,0.0009198223,0.001294358,0.0003158724,0.001617252,0.002735119,0.002984328,0.001155162,0.001213735],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005141373,"about_ca_system_score_gemma":0.0007269879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006745845,"about_ca_topic_score_gemma":0.0004521023,"domain_scores_codex":[0.998363,0.0003799995,0.0001298792,0.0002703254,0.0006767883,0.0001800733],"domain_scores_gemma":[0.9976707,0.0007645763,0.0001891109,0.0009045558,0.0003649191,0.0001061081],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000457831,0.0003589608,0.001963154,0.0007878152,0.0001406871,0.002246578,0.002147787,0.2889678,0.2652805,0.252457,0.002251336,0.1829404],"study_design_scores_gemma":[0.0002141379,0.00123687,0.0007051595,0.0001561785,0.0001349835,0.001008847,0.0003783771,0.6871624,0.2190186,0.04531737,0.04454122,0.0001257381],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03130604,0.00004393694,0.9626603,0.00003536339,0.0000260914,0.0001634608,0.00003157408,0.001614492,0.00411884],"genre_scores_gemma":[0.2776262,0.0001132027,0.71722,0.00004387774,0.000009915797,0.0004327714,0.0002344069,0.0003964986,0.003923098],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005787705,"threshold_uncertainty_score":0.01936179,"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."}}