{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001697074,0.0008311039,0.001031084,0.0005731469,0.0009899853,0.002022342,0.001406003,0.0009095664,0.000004431561],"category_scores_gemma":[0.0001190309,0.0009389825,0.0005764351,0.0007642466,0.00006051263,0.000596646,0.0000943265,0.0008756285,0.00003346199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008760839,"about_ca_system_score_gemma":0.0005674231,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009631978,"about_ca_topic_score_gemma":0.00002131874,"domain_scores_codex":[0.9938506,0.0008830032,0.001608468,0.002026096,0.0009067272,0.0007250449],"domain_scores_gemma":[0.9940795,0.0007542954,0.001090939,0.002942715,0.0008691287,0.000263473],"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.00001838109,0.0002118917,0.00000592428,0.0005734142,0.0002079602,0.00007234072,0.001174411,0.9824105,0.007570921,0.0003349413,0.0002957922,0.007123508],"study_design_scores_gemma":[0.0008435292,0.0001078576,0.000004025933,0.001126564,0.0001213411,0.0003527639,0.000331431,0.9867496,0.009328859,0.0001217996,0.00004957621,0.0008626461],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08994254,0.0003348379,0.8989612,0.0002304538,0.007031057,0.002462097,0.00007502166,0.0009245742,0.00003825146],"genre_scores_gemma":[0.8807576,0.000003504181,0.1171606,0.00005364082,0.000763074,0.000476802,0.0004978973,0.0001061923,0.0001806952],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7908151,"threshold_uncertainty_score":0.9993061,"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."}}