{"id":"W2037435078","doi":"10.1109/etfa.2012.6489580","title":"Program transformation for time-aware instrumentation","year":2012,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Instrumentation (computer programming); Metric (unit); Computer science; Transformation (genetics); Program transformation; Domain (mathematical analysis); Factor (programming language); Systems engineering; Reliability engineering; Engineering; Programming language; Mathematics","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.001544602,0.0004875338,0.0004067262,0.0008938969,0.0003468672,0.0007897516,0.0006608155,0.0004653792,0.001336785],"category_scores_gemma":[0.0085698,0.0001812251,0.0005094191,0.001224206,0.0008883456,0.001235473,0.0008602882,0.000969673,0.0002252202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007002361,"about_ca_system_score_gemma":0.001305699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001024569,"about_ca_topic_score_gemma":0.001004706,"domain_scores_codex":[0.9961466,0.001056109,0.0002435433,0.0003853678,0.001921523,0.0002468768],"domain_scores_gemma":[0.9939376,0.002889469,0.000962914,0.001431961,0.0006901261,0.00008775349],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006800999,0.0003529431,0.007300247,0.0005044191,0.00007897646,0.000167483,0.000375102,0.1750901,0.1557,0.0764259,0.003025527,0.5802992],"study_design_scores_gemma":[0.00007949974,0.0008318811,0.004426273,0.0000633031,0.00009796108,0.0004016963,0.0001399067,0.7852457,0.1618229,0.03330509,0.01354317,0.00004277318],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07872952,0.0002609509,0.9122214,0.0001863547,0.0000307667,0.0001397444,0.0001538755,0.00494473,0.003332759],"genre_scores_gemma":[0.7092314,0.0001764523,0.2888625,0.00007668128,0.00003137066,0.0001792822,0.0003048991,0.000460247,0.0006771001],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001544602,"threshold_uncertainty_score":0.008168697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01916168109224271,"score_gpt":0.2889370894065536,"score_spread":0.2697754083143109,"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."}}