{"id":"W2118230018","doi":"10.1109/tcad.2010.2041839","title":"Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory","year":2010,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Modulo; Computer science; Bit (key); Arithmetic; Parallel computing; Computer hardware; Programming language; Theoretical computer science; Mathematics; Discrete mathematics; Computer security","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003369494,0.0004844757,0.0007481351,0.0008467837,0.0008250137,0.0009933695,0.001017853,0.0003609144,0.000002463908],"category_scores_gemma":[0.00004439125,0.0004361362,0.000244474,0.0008588607,0.0001991485,0.0006811129,0.000007995155,0.0004120267,0.000002557832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001418696,"about_ca_system_score_gemma":0.0004095956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008410638,"about_ca_topic_score_gemma":0.00001148947,"domain_scores_codex":[0.9962828,0.0004942194,0.001157082,0.001067869,0.0004417994,0.0005562927],"domain_scores_gemma":[0.9954719,0.001386151,0.0005967858,0.0009655658,0.001378168,0.0002014374],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009359778,0.0004428481,0.0000181564,0.0008120737,0.0003508521,0.000004833581,0.002344464,0.07510553,0.6775854,0.03611265,0.0007544729,0.2063751],"study_design_scores_gemma":[0.0007104395,0.0005640613,0.000006283549,0.0005031598,0.00005075191,0.00007952565,0.00013133,0.863775,0.1318875,0.00165572,0.0002056259,0.0004305801],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01905505,0.0001046285,0.9716418,0.00002364115,0.005293013,0.003242652,0.0001021324,0.0005239173,0.00001318266],"genre_scores_gemma":[0.8350145,0.00000316236,0.1644513,0.00003943575,0.0001502964,0.0002038539,0.00001255189,0.00005422753,0.00007069125],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8159594,"threshold_uncertainty_score":0.999809,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06306565625064503,"score_gpt":0.2842323062549544,"score_spread":0.2211666500043094,"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."}}