{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002660676,0.00009229386,0.0001574855,0.0002071304,0.00009066039,0.000131331,0.0005945465,0.00004592176,0.000004002685],"category_scores_gemma":[0.00001817775,0.00007913,0.0001516999,0.0008623814,0.000009443949,0.0001343648,0.0000213445,0.0000387115,0.000002388032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001596663,"about_ca_system_score_gemma":0.0000298912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004855286,"about_ca_topic_score_gemma":3.311446e-7,"domain_scores_codex":[0.9991989,0.00002655096,0.0001599442,0.0003084421,0.0001329346,0.0001731986],"domain_scores_gemma":[0.9993207,0.00004734944,0.00005768866,0.0004475235,0.00007281051,0.00005391415],"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.000007134594,0.0003043065,0.0001088072,0.000007231504,0.00007046951,8.313736e-7,0.00009038896,0.874915,0.00005212934,0.06778978,0.01056245,0.04609149],"study_design_scores_gemma":[0.0001822804,0.00006654793,0.0007657384,9.209964e-7,0.00002539117,4.897143e-7,0.000001519563,0.9960883,0.001019549,0.001038853,0.0006950035,0.0001154075],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00008658092,0.00002227502,0.9878076,0.000768136,0.00001477475,0.0001457498,8.773188e-7,0.001460757,0.00969329],"genre_scores_gemma":[0.3511272,7.232077e-7,0.6478387,0.0005687856,0.000007820765,0.000008454826,0.000007746333,0.000001921823,0.0004386125],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3510406,"threshold_uncertainty_score":0.3226828,"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."}}