{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009321281,0.00008056249,0.0001601485,0.0003023187,0.00004773234,0.00006127439,0.0004931607,0.00006797033,0.0000288688],"category_scores_gemma":[0.0001278339,0.00007014291,0.00007914272,0.0008479412,0.00006795564,0.0001935427,0.00002468774,0.0001203436,0.00001917061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001897158,"about_ca_system_score_gemma":0.000046619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001039811,"about_ca_topic_score_gemma":0.000007776199,"domain_scores_codex":[0.9989708,0.00009827703,0.0003059961,0.0002503505,0.0002585883,0.0001159724],"domain_scores_gemma":[0.9986604,0.0001020028,0.0002049134,0.0008751259,0.0001059413,0.0000516172],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001187088,0.0001687382,0.01127117,0.00004471098,0.00008679372,0.000001242276,0.0002287917,0.01605401,0.07113349,0.8749499,0.00006336807,0.02598587],"study_design_scores_gemma":[0.00008344083,0.00003688421,0.01286426,0.000005232936,0.00002325284,0.000001006827,0.0000228997,0.9600962,0.02647522,0.0000750181,0.000235122,0.00008141515],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05893564,0.000002314022,0.932538,0.00008943937,0.0003749962,0.0001260648,0.000002003848,0.00009595507,0.007835615],"genre_scores_gemma":[0.6201953,1.830576e-7,0.3797176,0.00002823962,0.00001206212,0.000008682022,0.000004120865,0.00000224046,0.00003160358],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9440422,"threshold_uncertainty_score":0.2860345,"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."}}