{"id":"W1905713602","doi":"10.1109/isorc.2000.839552","title":"Automatic synthesis of multi-tasking implementations from real-time object-oriented models","year":2002,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":48,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Implementation; Object-oriented programming; Code generation; Process (computing); Architecture; Event (particle physics); Code (set theory); Program synthesis; Distributed computing; Programming language; Set (abstract data type); Operating system; Key (lock)","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.0003384104,0.0001965865,0.0003681034,0.0002011125,0.0001364412,0.0001166767,0.0007310502,0.00006495538,0.0008685581],"category_scores_gemma":[0.00009974847,0.000182132,0.0001225066,0.0005388804,0.00003267231,0.001041555,0.0002117225,0.00007000571,0.0003335676],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007805236,"about_ca_system_score_gemma":0.00003482205,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002873387,"about_ca_topic_score_gemma":0.0000520345,"domain_scores_codex":[0.9978232,0.0001798088,0.0007312695,0.000468583,0.0004422881,0.0003547866],"domain_scores_gemma":[0.997923,0.0006329964,0.0003040434,0.0008975136,0.0001250994,0.0001173395],"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.00001288368,0.002437231,0.004418679,0.0005254759,0.001707263,0.0001207537,0.06194976,0.04891549,0.3993175,0.1072258,0.008956084,0.3644131],"study_design_scores_gemma":[0.0002887565,0.00001800683,0.0005489358,0.00008921317,0.00002238802,0.000004891871,0.0002476063,0.9828146,0.01532596,0.0004413436,0.00001126492,0.0001871149],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1465283,0.00005498499,0.8373039,0.0001512777,0.0001686769,0.000433948,0.00002468014,0.0006089971,0.01472517],"genre_scores_gemma":[0.6141153,0.000009278702,0.3855259,0.00001682623,0.00001967892,0.00004026427,0.000003584392,0.00001359108,0.0002555909],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.933899,"threshold_uncertainty_score":0.9510102,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03581200861855367,"score_gpt":0.266551280083951,"score_spread":0.2307392714653974,"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."}}