{"id":"W2135765048","doi":"10.1109/pnpm.1995.524339","title":"Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Interfacing; Interface (matter); Computer science; Petri net; Component (thermodynamics); Embedded system; Computer hardware; Distributed computing; Operating system","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.0008670961,0.0009645554,0.0004861574,0.001087212,0.0004011724,0.0008118225,0.0005732354,0.0004125257,0.004399564],"category_scores_gemma":[0.002698641,0.0004513364,0.0008049771,0.0007549803,0.0005851422,0.0006586011,0.0003505654,0.0006937178,0.0004925033],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001231874,"about_ca_system_score_gemma":0.001670987,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003318555,"about_ca_topic_score_gemma":0.003064333,"domain_scores_codex":[0.9992487,0.0002185054,0.00004791183,0.00008144179,0.0003374117,0.00006599894],"domain_scores_gemma":[0.9982978,0.001195345,0.0001836234,0.00009516233,0.0002075514,0.00002055715],"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.0001241328,0.00005302423,0.000430622,0.0003006028,0.00004368823,0.0002177191,0.0001088917,0.8068455,0.0251849,0.08366874,0.0009978724,0.08202414],"study_design_scores_gemma":[0.00003107115,0.00005975977,0.0001161529,0.00004116102,0.00003352123,0.00003793454,0.00001645198,0.9485577,0.01505381,0.03317678,0.002862141,0.00001356363],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01395661,0.0002229062,0.9814803,0.00008282881,0.00003559557,0.0000651546,0.00008036302,0.001038137,0.003038082],"genre_scores_gemma":[0.5323737,0.00089812,0.4620317,0.0001020886,0.00005282366,0.0003305381,0.0005132081,0.0004485028,0.003249371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004399564,"threshold_uncertainty_score":0.014718,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05982536482237002,"score_gpt":0.2678811406492789,"score_spread":0.2080557758269089,"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."}}