{"id":"W2897601682","doi":"10.1145/3273905.3273917","title":"On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems","year":2018,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Quality of service; Scheduling (production processes); Time horizon; Task (project management); Quality (philosophy); Execution time; Network calculus; Bandwidth (computing); Term (time); Distributed computing; Mathematical optimization; Real-time computing; Computer network; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.001384203,0.0001580637,0.0002366389,0.00009703729,0.0002125615,0.0004226239,0.0004719106,0.00006702865,0.000007217031],"category_scores_gemma":[0.0001172399,0.0001228754,0.00001537987,0.0003169787,0.00007270053,0.0005055675,0.0001627951,0.0000727081,0.000469898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005570084,"about_ca_system_score_gemma":0.0000391014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001084011,"about_ca_topic_score_gemma":0.00005237914,"domain_scores_codex":[0.9979917,0.0002416811,0.0003652034,0.00067294,0.0004074941,0.000321],"domain_scores_gemma":[0.9981769,0.0003826198,0.00007407197,0.0008495451,0.0002255761,0.0002912912],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006607109,0.00006379125,0.0004536121,0.00007229889,0.00001218599,0.000003461003,0.0009242834,0.0002381515,0.02423836,0.9680369,0.0002029493,0.005687921],"study_design_scores_gemma":[0.001254238,0.004690291,0.01225049,0.0006378748,0.00002269005,0.0002514037,0.0008531651,0.9655409,0.007593842,0.003356284,0.001912788,0.001636056],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1028198,0.000005550513,0.8557146,0.0008964729,0.0001095146,0.0004679513,0.000001159846,0.0003772957,0.03960771],"genre_scores_gemma":[0.900647,6.980197e-7,0.09851445,0.0002102381,0.0002297397,0.00003598911,0.000001839097,0.00001622189,0.0003437855],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9653027,"threshold_uncertainty_score":0.6039745,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01760476688059787,"score_gpt":0.3065951870577335,"score_spread":0.2889904201771357,"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."}}