{"id":"W1960366695","doi":"10.1109/etfa.2015.7301505","title":"Static slack-based instrumentation of programs","year":2015,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Instrumentation (computer programming); Computer science; Benchmark (surveying); Suite; Code (set theory); Software; TRACE (psycholinguistics); Embedded system; Real-time computing; Operating system; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009806897,0.0007385095,0.0004392061,0.001180371,0.0004122794,0.000590606,0.001149668,0.0003940437,0.001474103],"category_scores_gemma":[0.005186024,0.000370513,0.0004134613,0.0008761082,0.0008858239,0.001046215,0.001159242,0.0006847627,0.000414295],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006292684,"about_ca_system_score_gemma":0.001825525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001507119,"about_ca_topic_score_gemma":0.002216466,"domain_scores_codex":[0.9981704,0.0003228321,0.0001195018,0.0003003198,0.0007729804,0.0003140222],"domain_scores_gemma":[0.9944658,0.001904287,0.001164814,0.001681666,0.0005803239,0.0002031281],"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.001039186,0.0005024251,0.01762529,0.000592555,0.00009007736,0.0005454106,0.0006520586,0.183959,0.2607204,0.01642051,0.004001909,0.5138513],"study_design_scores_gemma":[0.00006305033,0.0006728865,0.006613958,0.0001007247,0.0001123809,0.0005466252,0.0001039102,0.691579,0.2811196,0.007928107,0.01108911,0.00007087175],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2209506,0.0007225385,0.7556677,0.0001467098,0.0000760568,0.0001304855,0.0002103796,0.01866188,0.003433737],"genre_scores_gemma":[0.880173,0.0002358798,0.1167996,0.0001178669,0.00003658488,0.0001020901,0.0003177153,0.0005875666,0.001629726],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001507119,"threshold_uncertainty_score":0.005186439,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05390055306524036,"score_gpt":0.2778421297505043,"score_spread":0.2239415766852639,"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."}}