{"id":"W2164178532","doi":"10.1109/rsp.2009.31","title":"A Methodology for Rapid Optimization of HandelC Specifications","year":2009,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Computer science; High-level synthesis; Software deployment; Hardware description language; Design cycle; Computer architecture; Resource (disambiguation); Embedded system; Hardware compatibility list; Computer hardware; Register-transfer level; Logic synthesis; Computer engineering; Field-programmable gate array; Programming language; Software; Software engineering; Hardware architecture; Logic gate; Systems engineering; Algorithm; 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.0006378421,0.00005387257,0.0001336774,0.0001133638,0.00003130415,0.00001950375,0.0004121092,0.0000517047,0.00001606881],"category_scores_gemma":[0.0001011632,0.00004772526,0.00004697004,0.000219134,0.00001485226,0.0001727665,0.0000179087,0.000023754,0.000001781605],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001377861,"about_ca_system_score_gemma":0.00002660864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003665851,"about_ca_topic_score_gemma":6.659018e-7,"domain_scores_codex":[0.9993075,0.0001143266,0.0002346269,0.0001728954,0.00007316767,0.00009755922],"domain_scores_gemma":[0.999064,0.0002394336,0.0001035111,0.0004114009,0.0001575945,0.00002408384],"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.000004132458,0.00004092883,0.000003609258,0.000006559018,0.000005424421,1.566164e-7,0.0002640344,0.001300524,0.01853273,0.9431511,0.005238249,0.03145256],"study_design_scores_gemma":[0.0003819439,0.0006498895,0.0001380309,0.00001828764,0.000008759283,0.00001668745,0.00004016675,0.4836482,0.3890564,0.1223933,0.003439208,0.000209046],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001297812,0.00005369655,0.9898312,0.001045165,0.00005752339,0.0003407749,8.243505e-7,0.0002402425,0.008417585],"genre_scores_gemma":[0.0641478,0.0000118328,0.9353289,0.0001588975,0.00002246877,0.00002709648,0.000001831885,0.000002679105,0.0002985076],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8207577,"threshold_uncertainty_score":0.194618,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.227456667025084,"score_gpt":0.3535585746003512,"score_spread":0.1261019075752671,"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."}}