{"id":"W2752742484","doi":"10.1145/3123877","title":"An Adaptive Markov Model for the Timing Analysis of Probabilistic Caches","year":2017,"lang":"en","type":"article","venue":"ACM Transactions on Design Automation of Electronic Systems","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Probabilistic logic; Markov chain; State space; Cache; State (computer science); Markov model; Markov process; Computation; Parallel computing; Algorithm; Artificial intelligence; 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.0009615691,0.0006139053,0.000799573,0.00060928,0.0003580582,0.0007001864,0.00151961,0.0008249631,0.002549374],"category_scores_gemma":[0.003654231,0.0005513022,0.001128347,0.0007238977,0.0007265253,0.001124207,0.0005680282,0.001517708,0.0004393187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008935572,"about_ca_system_score_gemma":0.001349018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009804136,"about_ca_topic_score_gemma":0.008649381,"domain_scores_codex":[0.999422,0.0001831745,0.00002945828,0.0001159813,0.0001617865,0.0000877329],"domain_scores_gemma":[0.9981859,0.001280375,0.0001978707,0.0001181155,0.0001801767,0.0000374878],"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.00003385302,0.00001471057,0.0003382839,0.00002298365,0.00001322463,0.000030618,0.00002375325,0.9795419,0.0009084838,0.01356603,0.0001663691,0.005339809],"study_design_scores_gemma":[0.000002071028,0.000005430927,0.00003232211,0.000001323342,0.00000310677,0.0000033724,9.132085e-7,0.9978737,0.0001000962,0.001881612,0.00009417621,0.000001853005],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01395451,0.0001728423,0.9843947,0.000114803,0.00001941353,0.00003521806,0.0001058125,0.0002498596,0.0009526999],"genre_scores_gemma":[0.8681812,0.0007509859,0.1243556,0.0001533513,0.0001046077,0.0004735248,0.0004170213,0.0001021778,0.005461426],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009804136,"threshold_uncertainty_score":0.01949412,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07235459296917826,"score_gpt":0.308379183978513,"score_spread":0.2360245910093347,"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."}}