{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002747923,0.0001227275,0.0001594361,0.0001298043,0.0001023304,0.0001416731,0.0008784108,0.00005264785,0.0002316468],"category_scores_gemma":[0.00004530778,0.0001100542,0.00006658745,0.0003389299,0.00004108345,0.0002552977,0.0002569703,0.0001588346,0.00002520865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003385928,"about_ca_system_score_gemma":0.00008090321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007629268,"about_ca_topic_score_gemma":0.00140929,"domain_scores_codex":[0.9987161,0.00005050805,0.0003961154,0.0003146286,0.0002809787,0.0002416618],"domain_scores_gemma":[0.9985808,0.0001258311,0.0001984824,0.0009103569,0.000109931,0.00007458556],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.000006136872,0.0001686052,0.03658756,0.0001748147,0.000128467,0.0000103341,0.002714772,0.00341906,0.7934983,0.1275577,0.0009717855,0.03476251],"study_design_scores_gemma":[0.0006461943,0.00006460042,0.5355827,0.00003499755,0.00001934408,0.00005196193,0.0004883236,0.4078583,0.04918275,0.005155642,0.0005165762,0.0003986646],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4767999,0.000009401501,0.5216612,0.0003985249,0.0002069493,0.0001822642,0.0000122793,0.000093545,0.0006358993],"genre_scores_gemma":[0.9198487,0.000001422617,0.07999752,0.00001424393,0.00004269349,0.0000128963,0.00002362478,0.00000921411,0.00004967201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7443156,"threshold_uncertainty_score":0.4487879,"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."}}