{"id":"W7070655296","doi":"","title":"Protocol modeling and recasting for handshaking circuits","year":2005,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds Québécois de la Recherche sur la Nature et les Technologies","keywords":"Handshaking; Asynchronous communication; Protocol (science); Focus (optics); Handshake; Synchronization (alternating current); Data transmission; Asynchronous system","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001370485,0.0007132667,0.0005019741,0.0005727218,0.0005656729,0.001965252,0.002070503,0.00140093,0.0058134],"category_scores_gemma":[0.00377527,0.0005474407,0.001243813,0.0005488767,0.001121736,0.004172659,0.00105506,0.002250485,0.00158168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00135478,"about_ca_system_score_gemma":0.001357269,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002271321,"about_ca_topic_score_gemma":0.001770843,"domain_scores_codex":[0.9988511,0.00036067,0.00008847201,0.0001967724,0.000384215,0.0001187772],"domain_scores_gemma":[0.9986314,0.0006399696,0.0001098333,0.0003815614,0.0001937812,0.00004330654],"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.00005843823,0.00005070785,0.0001208539,0.000103342,0.00001257121,0.0001174529,0.0002880491,0.1375775,0.007799374,0.8301821,0.001076905,0.02261273],"study_design_scores_gemma":[0.00003556265,0.00004574032,0.00004228416,0.00003804749,0.00002244121,0.00007363575,0.00003854753,0.7702096,0.00804822,0.2072203,0.01420637,0.00001933888],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005593175,0.0001488604,0.9854726,0.0001446412,0.00004331828,0.00007683318,0.00005310438,0.0003517809,0.008115639],"genre_scores_gemma":[0.4416162,0.001770891,0.5048081,0.0003051378,0.0001435143,0.001051179,0.0005284526,0.0006216722,0.04915489],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0058134,"threshold_uncertainty_score":0.01944774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06689107615937671,"score_gpt":0.3279760361467416,"score_spread":0.2610849599873649,"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."}}