{"id":"W2740888784","doi":"","title":"Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation","year":2013,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Safran Electronics (Canada)","funders":"","keywords":"Computer science; State (computer science); Estimation; Programming language; Theoretical computer science; Distributed computing; Engineering; Systems engineering","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.0009698965,0.0009923739,0.001135808,0.001532324,0.000572897,0.001690856,0.001803007,0.0007874292,0.005077473],"category_scores_gemma":[0.007060897,0.0007221675,0.0009925474,0.00165366,0.001112613,0.002185508,0.001534413,0.001726341,0.0009119835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001078964,"about_ca_system_score_gemma":0.001766287,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003412579,"about_ca_topic_score_gemma":0.005340274,"domain_scores_codex":[0.9983486,0.0004242962,0.0001485828,0.00035544,0.0005453306,0.0001778561],"domain_scores_gemma":[0.9952331,0.002501967,0.0005023609,0.001094379,0.0005544133,0.0001138229],"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.0006838799,0.00009844768,0.00145666,0.0004526676,0.00008757462,0.0002161523,0.0002848622,0.7722055,0.0275147,0.07892563,0.002040869,0.1160331],"study_design_scores_gemma":[0.0000223313,0.00004522483,0.0001640592,0.00002204233,0.00002423584,0.00001589598,0.00001764098,0.9519144,0.007356665,0.03903564,0.001368145,0.00001355698],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01181356,0.0001466513,0.9842211,0.00004421524,0.00003283865,0.00004173976,0.0002990237,0.002593694,0.0008070722],"genre_scores_gemma":[0.533442,0.0002544186,0.4621525,0.00006965182,0.00006865002,0.0002966431,0.001171622,0.0005286465,0.002015967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005077473,"threshold_uncertainty_score":0.01698589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0157507061992609,"score_gpt":0.2505193146701455,"score_spread":0.2347686084708846,"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."}}