{"id":"W3128625398","doi":"10.1145/3471904","title":"Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation","year":2021,"lang":"en","type":"preprint","venue":"ACM Transactions on Embedded Computing Systems","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Worst-case execution time; Graph; Scheduling (production processes); Execution time; Solver; Computation; Distributed computing; Theoretical computer science; 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.001357551,0.0008623641,0.0004801688,0.0009900796,0.000220525,0.0007978848,0.0009846574,0.0005906156,0.002022999],"category_scores_gemma":[0.01015827,0.0003105347,0.0006202414,0.0006401833,0.0006680867,0.001603739,0.0007556047,0.0008350282,0.0002448297],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008345883,"about_ca_system_score_gemma":0.001228771,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002410771,"about_ca_topic_score_gemma":0.00294958,"domain_scores_codex":[0.9988931,0.0002611172,0.00006239274,0.0002443178,0.0004353961,0.0001037264],"domain_scores_gemma":[0.9951032,0.003223092,0.0004867777,0.0006658547,0.0004291865,0.00009183244],"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.0007167296,0.0001566724,0.007917793,0.0002823817,0.00008539074,0.0002821227,0.0002728171,0.8000488,0.05949578,0.02367489,0.001407989,0.1056587],"study_design_scores_gemma":[0.00001236564,0.00004248881,0.0002764572,0.000004413549,0.000008971822,0.00002276389,0.00001146825,0.9859962,0.0102831,0.003078991,0.0002581129,0.000004722555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09393465,0.0000920419,0.9016317,0.00007214786,0.00001865771,0.00007076933,0.000179921,0.003048214,0.0009518668],"genre_scores_gemma":[0.6945847,0.00009963442,0.303358,0.0000445463,0.00001359634,0.0001530388,0.0005643993,0.0005701631,0.0006119072],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002410771,"threshold_uncertainty_score":0.007179499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03140584034871354,"score_gpt":0.2845694853112479,"score_spread":0.2531636449625344,"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."}}