{"id":"W3206697535","doi":"10.1145/3471904","title":"Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation","year":2021,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Witness; Query optimization; Database; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.001430049,0.0008890922,0.0004892097,0.0009909648,0.0002251279,0.0008272566,0.001018575,0.0006078801,0.002073734],"category_scores_gemma":[0.01075787,0.0003275787,0.0006574989,0.0006575665,0.0006821673,0.001620633,0.0007662062,0.0008816342,0.0002534312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008432681,"about_ca_system_score_gemma":0.001289051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002229741,"about_ca_topic_score_gemma":0.002690564,"domain_scores_codex":[0.9988903,0.0002698346,0.00006028909,0.0002469633,0.0004268303,0.0001058337],"domain_scores_gemma":[0.994766,0.003490441,0.0005036824,0.0007022516,0.0004366159,0.000101044],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007007768,0.0001624429,0.007712357,0.0002858678,0.00008608139,0.0002687552,0.0002734106,0.8073115,0.05530903,0.02626897,0.001448776,0.1001721],"study_design_scores_gemma":[0.00001367302,0.00004347652,0.0002650844,0.000004667712,0.000009696688,0.00002304186,0.00001173728,0.9848316,0.01052925,0.003985491,0.0002774854,0.00000483008],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08523992,0.00008234174,0.9105523,0.00007640296,0.00001789536,0.0000673157,0.0001801281,0.002902713,0.0008810196],"genre_scores_gemma":[0.6806586,0.00009789189,0.317205,0.00004985577,0.00001487429,0.000159179,0.0006017102,0.000610113,0.0006027779],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002229741,"threshold_uncertainty_score":0.007562935,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05359104345350239,"score_gpt":0.1897402398853804,"score_spread":0.136149196431878,"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."}}