{"id":"W2083941582","doi":"10.1145/513829.513844","title":"Automatic formal verification for scheduled VLIW code","year":2002,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Very long instruction word; Computer science; Compiler; Parallel computing; Code generation; Instruction-level parallelism; Parallelism (grammar); Code (set theory); Software pipelining; Computer architecture; Programming language; Operating system; Key (lock)","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.0003766142,0.00009124137,0.0001191316,0.00008142013,0.00009291149,0.0001165631,0.0006346972,0.00006309532,0.0000717152],"category_scores_gemma":[0.00005016749,0.00008041184,0.00005352001,0.0001794893,0.00001485811,0.0008161638,0.00005659174,0.00004430189,0.0001675016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004343144,"about_ca_system_score_gemma":0.00001167923,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003925993,"about_ca_topic_score_gemma":0.000002438418,"domain_scores_codex":[0.9990906,0.00003660609,0.0002485511,0.0002275032,0.0001598546,0.0002368978],"domain_scores_gemma":[0.9991199,0.00008136709,0.00008428446,0.0005841934,0.00007885447,0.00005138342],"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.000001576315,0.00009504453,0.00005386605,0.0001030788,0.00001703131,0.000001533166,0.0008136723,0.00000711295,0.008886904,0.8209409,0.03530761,0.1337717],"study_design_scores_gemma":[0.0001940008,0.0000842997,0.00008097848,0.00001525648,0.000002602758,0.00001126712,0.00001138801,0.9633501,0.02782481,0.004435566,0.003862851,0.000126936],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002829494,0.00004288943,0.9855732,0.0004914956,0.0001163726,0.0005497197,0.000001092585,0.001411612,0.008984065],"genre_scores_gemma":[0.5338988,0.000002022244,0.4647976,0.0001478677,0.00002520055,0.0001630911,9.043451e-7,0.000006395361,0.000958054],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9633429,"threshold_uncertainty_score":0.3279099,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04944418070933009,"score_gpt":0.2727307889752721,"score_spread":0.223286608265942,"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."}}