{"id":"W3118549947","doi":"10.1007/s10766-020-00689-5","title":"Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing","year":2021,"lang":"en","type":"article","venue":"International Journal of Parallel Programming","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University; Polytechnique Montréal","funders":"","keywords":"Computer science; Scalability; Tracing; Overhead (engineering); Process (computing); Kernel (algebra); Event (particle physics); Distributed computing; Execution time; Real-time computing; Programming language; Operating system","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.001469104,0.001966965,0.001429798,0.002366279,0.001212311,0.002333025,0.002383399,0.001355143,0.007015744],"category_scores_gemma":[0.01124511,0.001444219,0.002305035,0.001475907,0.00111527,0.00219772,0.002349169,0.002421362,0.0008614418],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001543736,"about_ca_system_score_gemma":0.006105063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01645532,"about_ca_topic_score_gemma":0.03369813,"domain_scores_codex":[0.9978027,0.0004941612,0.0001375541,0.0003286986,0.0009282253,0.0003086716],"domain_scores_gemma":[0.9923412,0.004922642,0.0005184761,0.0006903844,0.001302945,0.0002244582],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002837656,0.0002240399,0.002787055,0.0005120073,0.000102309,0.0006169715,0.0002860479,0.8747931,0.01374444,0.02573552,0.006498588,0.07441619],"study_design_scores_gemma":[0.00002683196,0.00001810518,0.0001321936,0.00001987384,0.00001362427,0.00002482779,0.00003272177,0.987241,0.003382272,0.007561935,0.001535766,0.00001079855],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06328029,0.0002847274,0.9191214,0.0004009778,0.0001466786,0.0004461923,0.001522534,0.008603788,0.006193437],"genre_scores_gemma":[0.4845076,0.0001945912,0.507596,0.000177136,0.00004093681,0.0004216885,0.002641686,0.002366425,0.002054015],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01645532,"threshold_uncertainty_score":0.03271908,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06982645979023029,"score_gpt":0.3553432237376553,"score_spread":0.285516763947425,"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."}}