{"id":"W2163109394","doi":"10.1109/tns.2004.839110","title":"Software detection mechanisms providing full coverage against single bit-flip faults","year":2004,"lang":"en","type":"article","venue":"IEEE Transactions on Nuclear Science","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":68,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Benchmark (surveying); Transient (computer programming); Microprocessor; Fault injection; Fault detection and isolation; Embedded system; Software; Set (abstract data type); Error detection and correction; Fault tolerance; Reliability engineering; Computer engineering; Computer hardware; Algorithm; 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.0002387445,0.0001894142,0.0001237366,0.0003316471,0.0005900536,0.0001243014,0.0003143793,0.00009633844,0.00002205464],"category_scores_gemma":[0.00002295804,0.0002112332,0.00007235478,0.001028582,0.0001203602,0.00073931,0.000001615704,0.0003525743,0.0001941901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001055942,"about_ca_system_score_gemma":0.00007506382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009754649,"about_ca_topic_score_gemma":0.00004847076,"domain_scores_codex":[0.9985145,0.00001728181,0.0001869757,0.000357443,0.0004474923,0.0004762726],"domain_scores_gemma":[0.9994094,0.00004259308,0.0000379731,0.0003190788,0.00005560235,0.0001353141],"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.000006988192,0.00003715714,2.477326e-8,0.000009095832,0.000005027824,0.000001931153,0.0001558013,0.6536393,0.3051145,0.00004703965,0.000001845618,0.04098121],"study_design_scores_gemma":[0.0004463534,0.0003719376,0.0000124443,0.0000444898,0.00001205997,0.0000240881,0.00003792419,0.4801773,0.5179415,0.0002746653,0.0003519502,0.0003053307],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4079992,0.000008241015,0.5898779,0.00002437536,0.0009427426,0.000177816,0.000005586019,0.0007406368,0.0002234831],"genre_scores_gemma":[0.9933037,0.00002092936,0.006450513,0.00009925704,0.0000301452,0.00001667587,1.87368e-7,0.00005844808,0.00002016095],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5853045,"threshold_uncertainty_score":0.8613841,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006058699569300901,"score_gpt":0.1904442572119454,"score_spread":0.1843855576426445,"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."}}