{"id":"W1585941015","doi":"10.1007/978-3-540-27776-7_9","title":"CoDeL: Automatically Synthesizing Network Interface Controllers","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Interconnection Networks and Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Interface (matter); Routing (electronic design automation); Embedded system; Computer architecture; Interconnection; Controller (irrigation); Distributed computing; Programming language; Operating system; Computer network","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.0004223808,0.001954012,0.0007775097,0.0009555148,0.0005300665,0.001310749,0.001720238,0.001032414,0.01554336],"category_scores_gemma":[0.001860905,0.001100137,0.0007949629,0.0004752829,0.0006008979,0.001066551,0.001006396,0.001242223,0.003563523],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008149306,"about_ca_system_score_gemma":0.001238321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004628892,"about_ca_topic_score_gemma":0.008834273,"domain_scores_codex":[0.9994842,0.00009339789,0.00002897476,0.0001034004,0.0002312171,0.00005871832],"domain_scores_gemma":[0.9993367,0.0003606727,0.00005140446,0.0000966266,0.0001346718,0.00002004239],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004573181,0.0001990041,0.001243604,0.001102434,0.0001160663,0.0003720605,0.0002530006,0.2055794,0.08505876,0.02044328,0.0472509,0.6379241],"study_design_scores_gemma":[0.0001752135,0.0001413985,0.0002421071,0.00008643616,0.00006306123,0.0001285606,0.00004532174,0.8901427,0.07159383,0.0101203,0.02722928,0.00003172421],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009554453,0.000176015,0.940769,0.00009383566,0.0001632757,0.000127566,0.0005645431,0.04140603,0.007145309],"genre_scores_gemma":[0.1777238,0.0001900153,0.805305,0.0002736767,0.00007485392,0.0004498455,0.001672597,0.006275855,0.008034281],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01554336,"threshold_uncertainty_score":0.05199778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01329805670161898,"score_gpt":0.2348273460073907,"score_spread":0.2215292893057717,"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."}}