{"id":"W2052838808","doi":"10.1115/detc2011-47928","title":"A Method for Simultaneously Satisfying Important Constraints and Dependencies for Many Different Types of Processes in Embedded Real-Time Systems","year":2011,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Asynchronous communication; Process (computing); Distributed computing; Computation; Constraint (computer-aided design); Theoretical computer science; Algorithm; Programming language; 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.0009613708,0.0002190128,0.0005685634,0.0001668344,0.00006136329,0.00009921638,0.0004064282,0.0001031954,0.000008681661],"category_scores_gemma":[0.0003788828,0.0001691731,0.00005845252,0.0001847329,0.00006119737,0.0002942283,0.0001039617,0.00005263901,0.00000131608],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003516355,"about_ca_system_score_gemma":0.0001556793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006517445,"about_ca_topic_score_gemma":0.0002007875,"domain_scores_codex":[0.9980705,0.0000873418,0.0007786424,0.0004923936,0.0002114503,0.0003597008],"domain_scores_gemma":[0.9976,0.001320218,0.0003701485,0.0003227961,0.0002937372,0.00009310828],"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.0007957869,0.001033217,0.03960614,0.02721962,0.00104097,0.0002088198,0.08488715,0.0024627,0.404503,0.3721036,0.0002205764,0.06591833],"study_design_scores_gemma":[0.001480326,0.000489401,0.001174912,0.0006376334,0.00004432542,0.0002130115,0.002204061,0.9509847,0.03816097,0.004076772,0.00001362922,0.0005203015],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1450477,0.0002492819,0.8515877,0.00001460165,0.0001087309,0.001747799,0.00001687728,0.0001093574,0.001117936],"genre_scores_gemma":[0.6415503,0.00001819745,0.3581231,0.000005205902,0.00001534418,0.0001483443,0.000001513866,0.0000136321,0.0001243774],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.948522,"threshold_uncertainty_score":0.6898681,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03247580200825884,"score_gpt":0.2812530162560793,"score_spread":0.2487772142478205,"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."}}