{"id":"W2135483384","doi":"10.1109/ccece.2009.5090273","title":"Automata-based approach for kernel trace analysis","year":2009,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"TRACE (psycholinguistics); Computer science; Automaton; Kernel (algebra); Spectrum analyzer; Finite-state machine; Programming language; Theoretical computer science; Mathematics","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.0009333752,0.0009819298,0.0008015155,0.002418821,0.0006687986,0.00151829,0.002096374,0.0008413053,0.003366467],"category_scores_gemma":[0.006028071,0.0005120751,0.001288598,0.0009270873,0.001154405,0.002020189,0.001233661,0.001683851,0.0009506829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001135528,"about_ca_system_score_gemma":0.001333156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004098403,"about_ca_topic_score_gemma":0.003482239,"domain_scores_codex":[0.9983394,0.0004511252,0.0001716063,0.000287399,0.0006357136,0.00011464],"domain_scores_gemma":[0.9961849,0.001917275,0.0002242761,0.0008438379,0.0007491534,0.00008056847],"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.000334722,0.000345175,0.005837639,0.0005088924,0.0003123862,0.0006712971,0.000664715,0.4549928,0.04032177,0.2415827,0.002832205,0.2515957],"study_design_scores_gemma":[0.000009592364,0.00003814449,0.0002089374,0.00002386555,0.0000317357,0.00009154683,0.0000358168,0.9483519,0.007804344,0.04006995,0.003308222,0.0000259442],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003075825,0.00004211157,0.9946533,0.00002688319,0.00001726435,0.00005698694,0.00006222007,0.001357874,0.0007074691],"genre_scores_gemma":[0.2623728,0.000197326,0.7338858,0.00007770828,0.00004196904,0.0003327616,0.0004080301,0.0004400725,0.002243489],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004098403,"threshold_uncertainty_score":0.01126194,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02014119009850135,"score_gpt":0.2758551831477146,"score_spread":0.2557139930492132,"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."}}