{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001643622,0.0001143093,0.0002144182,0.000226178,0.0001549049,0.0001852092,0.0002907054,0.00007788589,6.732249e-7],"category_scores_gemma":[0.00004965339,0.00007833473,0.00003852732,0.0005367908,0.0004858042,0.0004307064,0.00009554881,0.00005646758,0.000003980336],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009679019,"about_ca_system_score_gemma":0.0001197561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001764405,"about_ca_topic_score_gemma":0.00004224844,"domain_scores_codex":[0.9984515,0.00008340755,0.0004072057,0.0004621913,0.0002869998,0.0003086701],"domain_scores_gemma":[0.9990559,0.00008424003,0.0001823362,0.0004701541,0.0001339688,0.00007340047],"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.000009303039,0.0001905259,0.03830047,0.0005584193,0.000009496389,0.000003401982,0.001132666,0.01259973,0.4048281,0.0001551198,0.000002137072,0.5422106],"study_design_scores_gemma":[0.0004731693,0.0000430791,0.0008160724,0.0005776626,0.000004096112,0.000009667082,0.00003020667,0.9863222,0.01144704,0.0001122327,0.00003058031,0.0001340076],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7023487,0.00005727896,0.2966593,0.00001038231,0.0003660789,0.0004461097,0.000002740747,0.00009666075,0.00001275246],"genre_scores_gemma":[0.9867529,0.000001554772,0.01317723,0.000001217981,0.000008724985,0.00002495101,8.534149e-7,0.00000602216,0.00002657487],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9737225,"threshold_uncertainty_score":0.3194398,"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."}}