{"id":"W2129008814","doi":"10.1109/ipdps.2013.105","title":"GPU-based Runtime Verification","year":2013,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Overhead (engineering); Exploit; Multi-core processor; Runtime verification; Set (abstract data type); Instruction set; Parallel computing; Embedded system; Formal verification; Operating system; Programming language","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.001235353,0.0007241394,0.0006924642,0.0007789042,0.0005125607,0.001483269,0.001815587,0.0007875807,0.003781644],"category_scores_gemma":[0.007320266,0.0004766494,0.0007505203,0.0005193323,0.0009622332,0.002037545,0.001543825,0.001204853,0.000893152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0010748,"about_ca_system_score_gemma":0.001962309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003100149,"about_ca_topic_score_gemma":0.00403292,"domain_scores_codex":[0.9974953,0.000556633,0.0001504472,0.0004434493,0.001113227,0.0002409776],"domain_scores_gemma":[0.995697,0.001077059,0.0004038168,0.001771283,0.0009558885,0.00009496313],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001714647,0.0002194904,0.01238921,0.0006884764,0.0001894459,0.0007053114,0.0005511115,0.2322014,0.1800345,0.1050582,0.018455,0.4477932],"study_design_scores_gemma":[0.00005659074,0.0001171014,0.001028514,0.00004828576,0.000044461,0.0002030304,0.00002923539,0.8810629,0.07996965,0.01946305,0.01794085,0.00003626822],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03011895,0.0003078934,0.9472192,0.0001765047,0.0001184248,0.00007880028,0.00022436,0.01498054,0.006775369],"genre_scores_gemma":[0.6423191,0.0002020866,0.3495071,0.00019475,0.00005112806,0.0001727237,0.0005029609,0.00139823,0.005651755],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003781644,"threshold_uncertainty_score":0.01265085,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01207465045063197,"score_gpt":0.2302776647875041,"score_spread":0.2182030143368721,"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."}}