{"id":"W2134435359","doi":"10.1109/icecs.2010.5724598","title":"Timing verification of cyclic systems based on temporal constraint analysis","year":2010,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Université de Montréal","funders":"","keywords":"Solver; Computer science; Asynchronous communication; Bounded function; Integer (computer science); Constraint (computer-aided design); Constraint satisfaction problem; Algorithm; Parallel computing; Static timing analysis; Component (thermodynamics); Mathematical optimization; Mathematics; Programming language","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.001503375,0.0007674354,0.0005559301,0.0009903946,0.0005608898,0.0009000074,0.001308718,0.0004863813,0.002771188],"category_scores_gemma":[0.004705064,0.0004458355,0.0009814617,0.001228467,0.001178799,0.001237185,0.0008379235,0.0009593373,0.0002752951],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001076847,"about_ca_system_score_gemma":0.002387748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007163982,"about_ca_topic_score_gemma":0.007660675,"domain_scores_codex":[0.9982856,0.0003811667,0.0001100821,0.0002573472,0.000786621,0.0001791802],"domain_scores_gemma":[0.9967175,0.002054438,0.0003833652,0.0003146384,0.0004661289,0.0000639878],"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.0002744133,0.00008084974,0.002084238,0.0003285076,0.0001040653,0.0002983288,0.0001841054,0.6890154,0.03448053,0.1669367,0.001363822,0.1048491],"study_design_scores_gemma":[0.00002202465,0.00004016895,0.0001267836,0.00001322261,0.00001896101,0.00004637248,0.00001149712,0.9662609,0.0133932,0.01791471,0.002138996,0.00001329709],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01486835,0.00006397962,0.9829039,0.00004527905,0.00001546406,0.00005452349,0.0001138985,0.0005381946,0.001396491],"genre_scores_gemma":[0.3358221,0.0001992396,0.661792,0.00006413781,0.00002825911,0.0002729203,0.0003949832,0.00022661,0.001199729],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007163982,"threshold_uncertainty_score":0.01424456,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03443760709217951,"score_gpt":0.3036199152027088,"score_spread":0.2691823081105293,"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."}}