{"id":"W4311845559","doi":"","title":"Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems","year":2022,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Process Optimization and Integration","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Safran Electronics (Canada)","funders":"","keywords":"Computer science; Scheduling (production processes); Processor scheduling; Relaxation (psychology); Distributed computing; Parallel computing; Mathematical optimization; Mathematics; Computer network","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001784859,0.0008155074,0.001193354,0.0005075255,0.0005001156,0.001115476,0.001051661,0.0005980799,0.003836452],"category_scores_gemma":[0.004438626,0.0006289599,0.0007741606,0.0007335925,0.001211919,0.000929011,0.001021438,0.001517589,0.000379842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001092403,"about_ca_system_score_gemma":0.001382768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005592645,"about_ca_topic_score_gemma":0.005123401,"domain_scores_codex":[0.9989694,0.0004656974,0.00004562392,0.0001670382,0.0002124932,0.0001397617],"domain_scores_gemma":[0.9979972,0.001408967,0.0001849821,0.0001201896,0.0001634239,0.0001250745],"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.0001182748,0.00003407985,0.00007267859,0.00009647063,0.0000157431,0.00002466841,0.00005897519,0.9456441,0.001595837,0.04038976,0.0007614553,0.01118783],"study_design_scores_gemma":[0.00002681926,0.00003276339,0.00004271058,0.000007946098,0.00000627355,0.000004725022,0.00002096357,0.9657491,0.0004137879,0.03267606,0.001014184,0.000004650668],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02765892,0.000370159,0.9622953,0.0003043608,0.0001391093,0.00005873227,0.00009084365,0.0001767309,0.008905824],"genre_scores_gemma":[0.7359145,0.0008695358,0.2496264,0.0002130349,0.000207255,0.0002889994,0.0003458191,0.0003055681,0.012229],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005592645,"threshold_uncertainty_score":0.01283419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008587829381109507,"score_gpt":0.2072739951923899,"score_spread":0.1986861658112804,"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."}}