{"id":"W2143445561","doi":"10.1145/1879021.1879048","title":"Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures","year":2010,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Toolchain; Computer science; Scheduling (production processes); Code generation; Distributed computing; Semantics (computer science); Programming language; Processor scheduling; Code (set theory); Embedded system; Parallel computing; Computer architecture; Operating system; Software","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.001404374,0.0003934805,0.0002725787,0.0003769091,0.0004842563,0.001225298,0.001124191,0.0003806282,0.001711953],"category_scores_gemma":[0.003575085,0.0003783339,0.0004378131,0.000370277,0.0008878007,0.001805066,0.001036367,0.00115024,0.0004103587],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005913002,"about_ca_system_score_gemma":0.001462905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001506204,"about_ca_topic_score_gemma":0.002867618,"domain_scores_codex":[0.9990004,0.0002736701,0.00008625169,0.0001243034,0.0003978733,0.0001175473],"domain_scores_gemma":[0.9981334,0.0007008319,0.0001520587,0.0006651966,0.0002944782,0.00005402501],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004459619,0.0002569251,0.001429599,0.0002698507,0.00007368937,0.0004558856,0.0009482436,0.1957227,0.07675988,0.5110632,0.003102203,0.2094719],"study_design_scores_gemma":[0.0001474533,0.000180298,0.0001527452,0.00003549517,0.00007093414,0.0001219011,0.0001353787,0.6913163,0.1359718,0.1501872,0.02164926,0.00003128458],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02514728,0.00003411141,0.96945,0.00007379181,0.00003151343,0.00003922519,0.00005415421,0.002340422,0.002829485],"genre_scores_gemma":[0.6534458,0.0001224734,0.3411974,0.0001021463,0.00003136337,0.0002029299,0.0002764649,0.0005510969,0.00407039],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001711953,"threshold_uncertainty_score":0.007427156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01242515253363686,"score_gpt":0.2842622351049122,"score_spread":0.2718370825712753,"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."}}