{"id":"W2100494504","doi":"10.1142/s0218126615500206","title":"ICAT: Engine to Perform Range Analysis and Allocate Bit-Widths for Arithmetic Datapaths","year":2014,"lang":"en","type":"article","venue":"Journal of Circuits Systems and Computers","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Affine arithmetic; Arithmetic; Saturation arithmetic; Computer science; Range (aeronautics); Register allocation; Interval arithmetic; Arbitrary-precision arithmetic; Integer (computer science); Fixed-point arithmetic; Algorithm; Floating point; Affine transformation; Mathematics; Compiler","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.001604742,0.0001756094,0.0006555974,0.0004442856,0.0001161789,0.0003636261,0.00053035,0.00005096325,7.813125e-7],"category_scores_gemma":[0.00007015947,0.0001319167,0.0001529734,0.0006210664,0.00002993578,0.0003217714,0.0001253833,0.0001277376,0.000001038235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002343771,"about_ca_system_score_gemma":0.00002484374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002695822,"about_ca_topic_score_gemma":0.000001019381,"domain_scores_codex":[0.9984391,0.0001253772,0.000555062,0.0003098139,0.0002972048,0.0002734355],"domain_scores_gemma":[0.9983706,0.0004166753,0.0003214187,0.0003132884,0.0002011519,0.0003768905],"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.000007487682,0.00005094706,0.001338825,0.0001457303,0.00041179,0.00000916038,0.0005176099,0.001262322,0.0003837704,0.004929984,0.0002813482,0.990661],"study_design_scores_gemma":[0.001163472,0.001120801,0.01517123,0.000168496,0.0002704539,0.0003042907,0.00005178803,0.95447,0.00009079907,0.0008528518,0.02595956,0.0003762186],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02301297,0.0007256124,0.9745821,0.000641818,0.0008020781,0.0001844569,0.000005199614,0.00001817265,0.00002758342],"genre_scores_gemma":[0.7825699,0.00006640323,0.2164831,0.000361814,0.0004636821,0.000008345119,8.023198e-7,0.00001160401,0.00003435308],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9902848,"threshold_uncertainty_score":0.5379407,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01515329743008551,"score_gpt":0.253707234686,"score_spread":0.2385539372559145,"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."}}