{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004794251,0.00008659391,0.0001874197,0.0001160732,0.00008370156,0.00009350051,0.0002340493,0.0000619596,0.000001381026],"category_scores_gemma":[0.0000545878,0.00008014662,0.00009954072,0.0001139548,0.00006835085,0.000360566,0.00003955688,0.00007054437,3.507194e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008608143,"about_ca_system_score_gemma":0.0002488373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001221092,"about_ca_topic_score_gemma":0.000004232345,"domain_scores_codex":[0.9988619,0.00003669509,0.0005614002,0.0001544268,0.0002744201,0.0001111394],"domain_scores_gemma":[0.9981917,0.00008258442,0.0004990318,0.0001263821,0.001048332,0.00005203349],"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.00008125413,0.0007444114,0.01283246,0.0002462761,0.0002901031,0.0000309437,0.001329399,0.5628032,0.1892044,0.003066214,0.00005803925,0.2293133],"study_design_scores_gemma":[0.0008537372,0.00004300024,0.0005238609,0.0001153938,0.00001838886,0.0001236289,0.00003554561,0.9934701,0.004516682,0.0001864599,0.00003679756,0.00007642475],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2401636,0.00007902033,0.75929,0.0001015814,0.0001347875,0.0001820215,0.000005000063,0.00003911785,0.00000493275],"genre_scores_gemma":[0.5687009,0.000009067384,0.431196,0.0000131027,0.00005356639,0.00001051986,0.00001015162,0.000003611667,0.000003137886],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4306669,"threshold_uncertainty_score":0.3268284,"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."}}