{"id":"W4206544958","doi":"10.1145/513841.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":1,"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); 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00258319,0.0005738633,0.0003592209,0.0008327557,0.0007492637,0.001330463,0.001512732,0.0006814357,0.002261159],"category_scores_gemma":[0.01435645,0.0005133961,0.001014438,0.000321745,0.0024238,0.001832063,0.001109246,0.001027818,0.0005314489],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001254083,"about_ca_system_score_gemma":0.003160308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003412795,"about_ca_topic_score_gemma":0.003144958,"domain_scores_codex":[0.9971688,0.000808147,0.0002185745,0.0003034096,0.001217623,0.0002833626],"domain_scores_gemma":[0.9866763,0.00919002,0.0009566937,0.001345704,0.00171408,0.0001171826],"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.0004370419,0.0002502533,0.004093534,0.001007811,0.00009924844,0.001099316,0.001421764,0.3399062,0.1095259,0.3815354,0.004382057,0.1562416],"study_design_scores_gemma":[0.0001903303,0.0001896098,0.0003863195,0.0001142043,0.00005414148,0.000232969,0.00009424099,0.7827949,0.09128386,0.1140874,0.01051955,0.00005248853],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03265989,0.00006620248,0.9612033,0.0001850931,0.00004355549,0.0001238473,0.0001499098,0.003951872,0.00161624],"genre_scores_gemma":[0.508866,0.0002183237,0.4873077,0.0001509134,0.00005660645,0.0003614377,0.0005544735,0.0005192135,0.001965287],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003412795,"threshold_uncertainty_score":0.01366138,"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."}}