{"id":"W2159009135","doi":"10.1145/1391469.1391576","title":"Parameterized timing analysis with general delay models and arbitrary variation sources","year":2008,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Parameterized complexity; Static timing analysis; Computer science; Sensitivity (control systems); Block (permutation group theory); Algorithm; Nonlinear system; Function (biology); Stochastic process; Variation (astronomy); Random variable; Network analysis; Operator (biology); Control theory (sociology); Mathematics; Statistics; Artificial intelligence; Electronic 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00007439248,0.0001538075,0.0002215141,0.0002252143,0.00008660238,0.00003640187,0.00006906572,0.00006048466,0.00005032836],"category_scores_gemma":[0.000001647058,0.0001214407,0.00004155657,0.0004442737,0.00003096717,0.0004701908,0.0000124328,0.00008728549,0.000007418338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002411798,"about_ca_system_score_gemma":0.00001146146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006749568,"about_ca_topic_score_gemma":0.00001140292,"domain_scores_codex":[0.9992795,0.00001568925,0.0001705461,0.0001766904,0.000152463,0.0002051232],"domain_scores_gemma":[0.9996846,0.00002828846,0.0000241499,0.000173925,0.00002064433,0.00006839199],"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.00001984333,0.00001094051,0.00388258,0.00001459627,0.0005410846,0.00001713881,0.001267391,0.9905609,0.003163524,0.0001756633,0.00006199663,0.0002843659],"study_design_scores_gemma":[0.0003365762,0.00003147565,0.007637975,0.000003825074,0.0001841752,0.00002604414,0.00001287789,0.9892711,0.002186246,0.00007566782,0.00002993247,0.0002040742],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6445453,0.00007957606,0.3537773,0.000007206668,0.00002092844,0.00006071535,0.000001332038,0.0002111473,0.001296512],"genre_scores_gemma":[0.9178599,0.00009588997,0.08173282,0.00004854977,0.00003463687,0.00001475766,0.00001070232,0.0000242334,0.0001785218],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2733146,"threshold_uncertainty_score":0.4952208,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01835790718866026,"score_gpt":0.1878452075705278,"score_spread":0.1694873003818675,"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."}}