{"id":"W2400560134","doi":"10.1155/2016/9792462","title":"Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints","year":2016,"lang":"en","type":"article","venue":"Scientific Programming","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Consortium de Recherche et d’innovation en Aérospatiale au Québec","keywords":"Computer science; Workflow; Multi-core processor; Tracing; Kernel (algebra); Set (abstract data type); Distributed computing; Representation (politics); Core (optical fiber); Programming language; Parallel computing; Database","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.006337375,0.001725693,0.00128173,0.002804516,0.001522546,0.003160351,0.002454011,0.001905225,0.001978981],"category_scores_gemma":[0.04243875,0.001214082,0.001855365,0.002621629,0.002104842,0.005322915,0.002768471,0.003085785,0.0002518604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002354465,"about_ca_system_score_gemma":0.004747765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01142452,"about_ca_topic_score_gemma":0.01324399,"domain_scores_codex":[0.9868815,0.003078719,0.00118407,0.001952247,0.005800193,0.001103319],"domain_scores_gemma":[0.9528768,0.02881972,0.006640384,0.005912738,0.004904705,0.0008457649],"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.000613214,0.0006789917,0.07063521,0.001759244,0.0006478944,0.005593722,0.004300399,0.5912728,0.04385541,0.1314268,0.007128755,0.1420874],"study_design_scores_gemma":[0.00003934026,0.0001330117,0.004604177,0.0001354319,0.0001128976,0.0008682014,0.0007302909,0.912299,0.02566437,0.04676461,0.008537624,0.000110977],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1608103,0.000360786,0.8294187,0.001152929,0.0001044361,0.0005050461,0.0008154325,0.003151572,0.0036808],"genre_scores_gemma":[0.5233003,0.0002201054,0.4729726,0.0002506041,0.00003039132,0.0004492538,0.0009147065,0.0007028782,0.001159125],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01142452,"threshold_uncertainty_score":0.03351563,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02571358315245265,"score_gpt":0.2586395748591801,"score_spread":0.2329259917067275,"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."}}