{"id":"W2213664160","doi":"10.1007/978-3-642-40787-1_18","title":"Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Overhead (engineering); Event (particle physics); Instrumentation (computer programming); Set (abstract data type); Runtime verification; Embedded system; State (computer science); Event monitoring; Real-time computing; Distributed computing; Program analysis; Execution time; Formal verification; Operating system; Wireless sensor network; 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.001515134,0.0005082888,0.0004851109,0.0005833444,0.0003042218,0.0008572367,0.002216792,0.0003669304,0.00001482552],"category_scores_gemma":[0.0002625642,0.0004677661,0.00007453119,0.0004741054,0.0004788648,0.001374247,0.001153865,0.0009269518,0.00003358567],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003794145,"about_ca_system_score_gemma":0.000214422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000572632,"about_ca_topic_score_gemma":0.000001132229,"domain_scores_codex":[0.9965506,0.00007366636,0.0006213396,0.001427715,0.0007524083,0.0005743147],"domain_scores_gemma":[0.9976248,0.0003809402,0.0004229595,0.001177617,0.0002315226,0.0001621735],"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.000001710581,0.00001031335,0.0000194402,0.00003094623,0.000005372839,0.000004884334,0.0005014128,0.0001786058,0.01274276,0.006732582,0.00004658466,0.9797254],"study_design_scores_gemma":[0.0001714517,0.0003016947,0.00007965993,0.001927748,0.00001043224,0.0001118601,6.799348e-7,0.6961096,0.2210674,0.07714726,0.001848444,0.001223795],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002885875,0.000786875,0.9940952,0.0001761559,0.001020932,0.000501028,0.000002727898,0.0003223318,0.002806136],"genre_scores_gemma":[0.01327247,0.00008680041,0.9855412,0.0001484547,0.000345642,0.00002498435,0.000002585884,0.00003509502,0.0005428102],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9785016,"threshold_uncertainty_score":0.9997774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01791728236331448,"score_gpt":0.2839405337272534,"score_spread":0.2660232513639389,"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."}}