{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001613886,0.0004905898,0.0006249368,0.0008394687,0.0006456957,0.001730487,0.001401817,0.0005572729,0.003978313],"category_scores_gemma":[0.004825772,0.0004030383,0.0005775955,0.0009472138,0.0007792758,0.002650338,0.001044602,0.001135657,0.000634754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009544116,"about_ca_system_score_gemma":0.001253742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000530416,"about_ca_topic_score_gemma":0.001268384,"domain_scores_codex":[0.9991807,0.0002881337,0.00006407269,0.0001072214,0.0002805605,0.0000792686],"domain_scores_gemma":[0.9985839,0.0008753478,0.000163396,0.0002283924,0.0001162592,0.00003267104],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004665895,0.000157487,0.001306985,0.0005189455,0.00006566498,0.0001356564,0.0002709595,0.3235506,0.03249048,0.3447055,0.003684287,0.2926469],"study_design_scores_gemma":[0.00005043823,0.0001299194,0.0001412582,0.00007077197,0.0000224332,0.00005563963,0.00008079923,0.8570789,0.01538855,0.1215389,0.005423704,0.0000187583],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04631855,0.000941909,0.9440112,0.0004196419,0.00009819906,0.00007767859,0.00007060276,0.000774935,0.007287375],"genre_scores_gemma":[0.4943413,0.0005730218,0.5023331,0.0001597197,0.00005140832,0.0001481283,0.0001587075,0.0001628439,0.002071726],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003978313,"threshold_uncertainty_score":0.01330876,"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."}}