{"id":"W3161588507","doi":"10.1145/3246248","title":"Session details: Tools and methods for the verification of processors and processor-based systems","year":2005,"lang":"en","type":"article","venue":"Design Automation Conference","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Advanced Micro Devices (Canada)","funders":"","keywords":"Session (web analytics); Computer science; Computer architecture; Embedded system; Parallel computing; Operating system; World Wide Web","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.0025684,0.002416252,0.001492447,0.001318114,0.001066686,0.003190957,0.001903575,0.002245647,0.2163819],"category_scores_gemma":[0.004947256,0.000775189,0.001366804,0.001565832,0.0006257938,0.002711945,0.00176726,0.002845783,0.07605299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006767449,"about_ca_system_score_gemma":0.001265207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007168319,"about_ca_topic_score_gemma":0.001231745,"domain_scores_codex":[0.998862,0.000295458,0.00009739336,0.0001995413,0.0004233125,0.0001222602],"domain_scores_gemma":[0.9971676,0.001143774,0.00008509985,0.0008064914,0.0005689961,0.0002279767],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005127632,0.0002147713,0.000610979,0.001167457,0.0001611333,0.0002142732,0.0002594874,0.004972239,0.02080301,0.04835045,0.3984044,0.5243289],"study_design_scores_gemma":[0.0002848617,0.0003552593,0.001315228,0.000350045,0.0001344114,0.0009606476,0.00009371935,0.02501777,0.03168841,0.08159699,0.85807,0.0001326481],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.003220667,0.007615278,0.891109,0.00193569,0.007035077,0.0009345948,0.003249282,0.007406447,0.07749397],"genre_scores_gemma":[0.08209274,0.01423448,0.4573456,0.001037947,0.006561696,0.001788475,0.01143045,0.006667666,0.4188409],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.2163819,"threshold_uncertainty_score":0.7238695,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0937451317804046,"score_gpt":0.363035051863376,"score_spread":0.2692899200829714,"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."}}