{"id":"W2769044384","doi":"","title":"Work-in-progress: modelling probabilistic timing analysis","year":2017,"lang":"en","type":"article","venue":"Embedded Software","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Probabilistic logic; Computer science; Statistical model; Probabilistic analysis of algorithms; Probabilistic relevance model; Probabilistic CTL; Process (computing); Code (set theory); Execution time; Divergence-from-randomness model; Theoretical computer science; Parallel computing; Programming language; Machine learning; Artificial intelligence","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.005174106,0.001902064,0.0009214867,0.001909712,0.0008702448,0.003412703,0.003825716,0.001715196,0.009290997],"category_scores_gemma":[0.01660625,0.001207493,0.002200889,0.001535963,0.002762091,0.00559921,0.002109815,0.002273261,0.002795077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009962688,"about_ca_system_score_gemma":0.002760283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004307328,"about_ca_topic_score_gemma":0.002870434,"domain_scores_codex":[0.9955395,0.001488429,0.0003441448,0.0006951956,0.001540241,0.0003924579],"domain_scores_gemma":[0.989727,0.005630429,0.0008436615,0.002585072,0.0009541025,0.0002597048],"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.0001095972,0.00008245002,0.001292824,0.0003282359,0.00008397131,0.000399656,0.0004282818,0.6804798,0.002966078,0.2666464,0.001969343,0.04521345],"study_design_scores_gemma":[0.00003092097,0.00006089487,0.0001785117,0.0001035104,0.00006325449,0.0001482766,0.00003739472,0.7918563,0.007602003,0.1772067,0.02266242,0.00004989205],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008350688,0.0003046286,0.9788112,0.0003225796,0.00007494084,0.0001104132,0.0003051322,0.001812111,0.009908275],"genre_scores_gemma":[0.3872275,0.001603211,0.5929907,0.0001939619,0.0001829524,0.0005917043,0.001285679,0.001994008,0.01393042],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009290997,"threshold_uncertainty_score":0.0310815,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04372164591286296,"score_gpt":0.2944737158277456,"score_spread":0.2507520699148826,"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."}}