{"id":"W1562548608","doi":"10.1023/a:1020207328508","title":"Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks","year":2002,"lang":"en","type":"article","venue":"Real-Time Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Scheduling (production processes); Distributed computing; Versa; Dual (grammatical number); Task (project management); Computational complexity theory; Execution time; Parallel computing; Algorithm; Mathematical optimization; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001331646,0.0003685336,0.001166585,0.000367437,0.000139389,0.00009649632,0.001239316,0.0002585928,0.00003684492],"category_scores_gemma":[0.000141055,0.0003459738,0.0002809467,0.0006576063,0.0001193201,0.0005508941,0.000134055,0.0001130506,0.0001288563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001803088,"about_ca_system_score_gemma":0.0001562011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006396773,"about_ca_topic_score_gemma":0.00000196806,"domain_scores_codex":[0.9962584,0.0002841572,0.001337441,0.0007497314,0.00077496,0.0005953274],"domain_scores_gemma":[0.9964615,0.0004602706,0.0009176631,0.001194522,0.0007971372,0.0001689262],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001973188,0.0005515041,0.000485427,0.004215997,0.00043747,0.00001990968,0.01168301,0.007889341,0.963927,0.003222301,0.004878497,0.002492286],"study_design_scores_gemma":[0.001825961,0.0004638743,0.0001348812,0.0008938495,0.00005561684,0.0000565006,0.0001830161,0.9924139,0.003325989,0.00004780333,0.0002329074,0.0003656862],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2567177,0.001612449,0.7089393,0.0001576021,0.001069569,0.006150332,0.0004453548,0.0006260965,0.02428172],"genre_scores_gemma":[0.9906844,0.00008889102,0.006186526,0.000007451983,0.0001907263,0.0003539831,0.00001235601,0.00004719863,0.002428451],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9845245,"threshold_uncertainty_score":0.9998992,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0261588559585239,"score_gpt":0.2431467582058805,"score_spread":0.2169879022473566,"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."}}