{"id":"W2136916461","doi":"10.1109/tns.2008.2001742","title":"Specification and Verification of Soft Error Performance in Reliable Internet Core Routers","year":2008,"lang":"en","type":"article","venue":"IEEE Transactions on Nuclear Science","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Cisco Systems (Canada)","funders":"","keywords":"Computer science; Soft error; Reliability (semiconductor); The Internet; Reliability engineering; Router; Software; Embedded system; Engineering; Operating system; Electronic engineering; 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.006937942,0.001022539,0.0009188246,0.001354966,0.0006315453,0.00216893,0.002754958,0.001264168,0.00112287],"category_scores_gemma":[0.01780068,0.001106841,0.0009511776,0.0004533679,0.001837852,0.001962432,0.001061426,0.001685856,0.0005210797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00107447,"about_ca_system_score_gemma":0.002968848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00191713,"about_ca_topic_score_gemma":0.001389712,"domain_scores_codex":[0.9887572,0.002666241,0.001178241,0.000678285,0.006051369,0.0006687117],"domain_scores_gemma":[0.9832881,0.008134096,0.002051263,0.002546391,0.003830602,0.0001494818],"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.0002351332,0.0001815291,0.002705001,0.0004926093,0.00009294793,0.0007797367,0.000461721,0.7251562,0.09823945,0.1126027,0.001079873,0.05797315],"study_design_scores_gemma":[0.00007347666,0.0003261348,0.0003634541,0.00007557309,0.00003944762,0.0002181997,0.0000506646,0.8399643,0.1392134,0.01557327,0.004051883,0.00005019942],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03136237,0.00008114403,0.9661085,0.00005018408,0.00001675476,0.0001311058,0.00007811229,0.001057023,0.001114837],"genre_scores_gemma":[0.5820025,0.0002866274,0.4145131,0.00008174989,0.00003770088,0.0005628059,0.0003932973,0.0005746874,0.001547668],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006937942,"threshold_uncertainty_score":0.03669173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01723979700842591,"score_gpt":0.2123154531941956,"score_spread":0.1950756561857697,"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."}}