{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001500552,0.00006613292,0.00007220372,0.000203385,0.0000782269,0.00001090654,0.0001478769,0.00003353675,0.00001543091],"category_scores_gemma":[0.000004030432,0.00007348695,0.00001307735,0.0005074739,0.0002117913,0.0003655629,5.64989e-7,0.0001351787,0.00002261326],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001534071,"about_ca_system_score_gemma":0.00003236337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001245739,"about_ca_topic_score_gemma":0.00000598004,"domain_scores_codex":[0.9993922,0.000005413817,0.0001446895,0.0001531203,0.0001606054,0.0001439302],"domain_scores_gemma":[0.9997145,0.00001905015,0.00002736053,0.0001769608,0.00002695232,0.00003515583],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001171644,0.00002623266,0.0001517114,0.0000179526,0.000001953711,2.926779e-7,0.0009157103,0.9833583,0.01014838,0.00008576758,0.00002753179,0.005254453],"study_design_scores_gemma":[0.000126338,0.00006731989,0.01557463,0.00001977812,0.000002023525,0.000009038499,0.00002920558,0.9712225,0.01260437,0.000004195661,0.0002688415,0.00007174092],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9837907,0.00001554643,0.0154199,0.00002308567,0.0002245301,0.0001055846,0.000001494437,0.00007440475,0.0003447776],"genre_scores_gemma":[0.9984491,0.0001179532,0.001349951,0.00001202,0.000005080494,0.000005824712,1.352396e-7,0.00001237818,0.00004759764],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01542292,"threshold_uncertainty_score":0.2996711,"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."}}