{"id":"W1000312060","doi":"10.1007/s10703-015-0226-3","title":"Runtime verification with minimal intrusion through parallelism","year":2015,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo; McMaster University","funders":"","keywords":"Computer science; Scalability; Overhead (engineering); Runtime verification; Exploit; Set (abstract data type); Multi-core processor; Parallelism (grammar); Parametric statistics; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.01016738,0.0003109608,0.0004548446,0.0002389322,0.0001461432,0.0001847226,0.001317474,0.0002197885,0.00000398329],"category_scores_gemma":[0.0003924253,0.0002535065,0.00005875586,0.001147423,0.00008940023,0.003017777,0.0002460172,0.0002877402,0.000106544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004139749,"about_ca_system_score_gemma":0.0002298456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006101722,"about_ca_topic_score_gemma":0.000001243441,"domain_scores_codex":[0.9945174,0.002810978,0.0008030216,0.0006456363,0.0006152588,0.0006077424],"domain_scores_gemma":[0.9976325,0.0003203152,0.0004235651,0.001192805,0.0002592775,0.0001715525],"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.0008639321,0.0002153142,0.0004940696,0.000281032,0.00005200125,0.00005968343,0.01582746,0.008386892,0.004799584,0.7909116,0.0006928992,0.1774155],"study_design_scores_gemma":[0.002903902,0.001644455,0.002930291,0.0004395103,0.00003607427,0.0005308101,0.002320016,0.9088181,0.06215097,0.007389875,0.009686248,0.001149746],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001598649,0.0002048997,0.988652,0.00007796241,0.0009558505,0.0008803689,0.000001110189,0.0003920162,0.007237133],"genre_scores_gemma":[0.06030383,0.000006509505,0.9391569,0.00006676905,0.0001014244,0.0002494878,0.000003279255,0.0000274331,0.00008440122],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9004312,"threshold_uncertainty_score":0.9999917,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.122386090137632,"score_gpt":0.3704939878079849,"score_spread":0.2481078976703528,"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."}}