{"id":"W4241336885","doi":"10.1145/514001.514004","title":"Retargetable binary utilities","year":2002,"lang":"en","type":"article","venue":"Proceedings - ACM IEEE Design Automation Conference","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Binary number; Arithmetic; Mathematics","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.000557002,0.000824723,0.0005694019,0.0008931788,0.0004078036,0.0008953251,0.001410909,0.0007358582,0.01054526],"category_scores_gemma":[0.003721588,0.0004805044,0.0006180704,0.0006285908,0.0005405868,0.001508542,0.002013643,0.001190781,0.00477121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000454484,"about_ca_system_score_gemma":0.0004518117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000736768,"about_ca_topic_score_gemma":0.001517248,"domain_scores_codex":[0.9992591,0.0001272057,0.00005029277,0.0001604673,0.0002788191,0.0001241055],"domain_scores_gemma":[0.9984152,0.0006022482,0.000125436,0.0006175128,0.0002049654,0.00003454915],"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.0003964847,0.0001728575,0.001963803,0.0004944984,0.00005009735,0.0009356958,0.0005628417,0.03448661,0.07609803,0.05950396,0.03226202,0.7930732],"study_design_scores_gemma":[0.0002455694,0.0003537974,0.003901521,0.0002728006,0.0001940867,0.00260829,0.0002852215,0.3594384,0.1992319,0.1276271,0.3056642,0.0001770389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0433723,0.0006504232,0.8881118,0.0002321915,0.0001772221,0.0002629569,0.0005855894,0.04432504,0.02228247],"genre_scores_gemma":[0.3771878,0.0008136854,0.5642189,0.0004840305,0.00009846617,0.0004418979,0.002288014,0.01098937,0.0434778],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01054526,"threshold_uncertainty_score":0.03527737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1252185535176678,"score_gpt":0.2674677957404117,"score_spread":0.1422492422227439,"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."}}