{"id":"W2147367432","doi":"10.1145/2038642.2038654","title":"Automated distributed implementation of component-based models with priorities","year":2011,"lang":"en","type":"preprint","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Rendezvous; Asynchronous communication; Distributed computing; Component (thermodynamics); Synchronization (alternating current); Set (abstract data type); Scheduling (production processes); Equivalence (formal languages); Execution model; Model checking; Context (archaeology); Theoretical computer science; Programming language; Mathematical optimization","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003020642,0.0006076912,0.0005114768,0.0004071269,0.0006370516,0.001717335,0.001694027,0.0008083269,0.001686802],"category_scores_gemma":[0.008499718,0.0007470694,0.00122662,0.0003388701,0.00105495,0.002521834,0.001918707,0.001939569,0.0004038294],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001019164,"about_ca_system_score_gemma":0.002330004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00201925,"about_ca_topic_score_gemma":0.002491447,"domain_scores_codex":[0.9971492,0.001106232,0.0001822506,0.0002717114,0.001107092,0.0001835255],"domain_scores_gemma":[0.9961388,0.001753514,0.0002665223,0.00128105,0.0004781793,0.00008197709],"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.0002558353,0.0002184605,0.002636084,0.0002656873,0.0001170034,0.0004063097,0.001486537,0.4353071,0.04089758,0.3840985,0.002148526,0.1321625],"study_design_scores_gemma":[0.00005761473,0.00003596804,0.00009957667,0.00002446794,0.00002664212,0.00005778879,0.00006407473,0.9007088,0.02224517,0.06879284,0.00786778,0.00001931739],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006713988,0.00001460517,0.9916592,0.00003734511,0.00001166473,0.00003410471,0.0000132297,0.00107049,0.0004454175],"genre_scores_gemma":[0.2468861,0.00007771215,0.7511676,0.00004528083,0.00001593269,0.0001897409,0.0001163854,0.0005030275,0.0009981145],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003020642,"threshold_uncertainty_score":0.01597488,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03748492952486539,"score_gpt":0.2823960909386272,"score_spread":0.2449111614137618,"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."}}