{"id":"W2080932040","doi":"10.1145/1356058.1356065","title":"Near-optimal instruction selection on dags","year":2008,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Canadian Institute of Steel Construction; National Science Foundation","keywords":"Computer science; Selection (genetic algorithm); Directed acyclic graph; Key (lock); Decomposition; Code (set theory); Tree (set theory); Theoretical computer science; Parallel computing; Algorithm; Mathematics; Programming language; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004715684,0.0005089035,0.0005682043,0.0008803131,0.0003714346,0.0004735561,0.0006851315,0.0002912726,0.001850005],"category_scores_gemma":[0.002213739,0.0002305929,0.0003260165,0.0009705389,0.000450418,0.0009181927,0.0005467482,0.0004360799,0.0004389955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006558133,"about_ca_system_score_gemma":0.001096804,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001776616,"about_ca_topic_score_gemma":0.003712239,"domain_scores_codex":[0.9994513,0.0001666544,0.00003819152,0.00009127519,0.000141112,0.0001113744],"domain_scores_gemma":[0.9988557,0.0007243238,0.0001035135,0.0001277626,0.0001491103,0.00003964717],"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.0005655976,0.0001503894,0.00319253,0.0003338391,0.00003273413,0.0003692588,0.0001844436,0.3109193,0.08248139,0.02899025,0.008612053,0.5641682],"study_design_scores_gemma":[0.00007855111,0.0001670009,0.0006293196,0.00002147403,0.00002137864,0.0001571681,0.0000832829,0.8961056,0.0357939,0.06135167,0.005570823,0.00001980107],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2269496,0.0008853698,0.7600279,0.0003719189,0.00005616902,0.0001117106,0.0002829609,0.005764407,0.005549892],"genre_scores_gemma":[0.6025336,0.0003286242,0.3925909,0.0001755447,0.00002348174,0.0001104575,0.0007199587,0.0003675786,0.003149894],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001850005,"threshold_uncertainty_score":0.006188869,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02552342068005722,"score_gpt":0.2469481799542896,"score_spread":0.2214247592742323,"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."}}