{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001761618,0.001387803,0.0008090429,0.001092679,0.0003871087,0.001348515,0.002874521,0.0009509474,0.005097656],"category_scores_gemma":[0.007438329,0.0005899838,0.0009059168,0.001022849,0.0004609674,0.003250944,0.00133202,0.001862733,0.001032356],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004979213,"about_ca_system_score_gemma":0.001063558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005505069,"about_ca_topic_score_gemma":0.001042308,"domain_scores_codex":[0.9970328,0.0005857137,0.0002511976,0.0005624288,0.001320447,0.0002474825],"domain_scores_gemma":[0.9918987,0.003847417,0.0007949446,0.002475552,0.0008023753,0.0001809879],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0008395388,0.0006059399,0.001968872,0.0006804246,0.0001838071,0.0003423264,0.0002415767,0.05266558,0.1889312,0.03597026,0.005324956,0.7122455],"study_design_scores_gemma":[0.0002349257,0.0004941691,0.002139858,0.0001370061,0.0005071386,0.0009418381,0.00009668226,0.6909611,0.218913,0.06494685,0.0205217,0.0001057223],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01082202,0.00038373,0.9811502,0.0001179482,0.00009885698,0.0001042132,0.00004906552,0.004625496,0.002648626],"genre_scores_gemma":[0.4106971,0.0005579399,0.581751,0.0002373485,0.0001703874,0.0001503696,0.0002613507,0.001024978,0.005149571],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005097656,"threshold_uncertainty_score":0.01705337,"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."}}