{"id":"W2128754884","doi":"10.1002/cpe.1065","title":"A methodology for early validation of cache coherence protocols based on relational databases","year":2006,"lang":"en","type":"article","venue":"Concurrency and Computation Practice and Experience","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Advanced Micro Devices (Canada)","funders":"","keywords":"Computer science; Correctness; Cache coherence; Protocol (science); Relational database; Table (database); Database; Cache; Relational algebra; Multiprocessing; Programming language; Theoretical computer science; Cache algorithms; CPU cache; Parallel computing","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.0009109499,0.0001036968,0.0001372597,0.00008376988,0.0001567915,0.0000659166,0.000147552,0.00004421995,0.000002958741],"category_scores_gemma":[0.001281895,0.0001007893,0.0000198288,0.0002182749,0.0001324202,0.001416739,0.0000414045,0.00008201096,0.000001087195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001166247,"about_ca_system_score_gemma":0.00007864485,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005345553,"about_ca_topic_score_gemma":5.38548e-7,"domain_scores_codex":[0.9986404,0.0003697339,0.0003289711,0.0003434385,0.0001992361,0.000118186],"domain_scores_gemma":[0.996953,0.002173566,0.00037731,0.0001845337,0.0002762363,0.00003540946],"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.0002945445,0.0002960695,0.004029913,0.0001527421,0.000009881584,0.000001552523,0.004432993,0.004215484,0.004201266,0.8606858,0.00013062,0.1215492],"study_design_scores_gemma":[0.00204668,0.001437025,0.02645271,0.0001956162,0.00003517561,0.00003760963,0.0006027221,0.8757226,0.06807456,0.0166842,0.008202026,0.0005090652],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04084495,0.00006176952,0.9566296,0.000223349,0.0001070841,0.001723993,0.000009153342,0.0000346026,0.0003655383],"genre_scores_gemma":[0.4403218,0.000002481175,0.5584472,0.00009129631,0.00001821405,0.001092999,0.00001663449,0.000002664199,0.000006644306],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8715071,"threshold_uncertainty_score":0.4110067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2230894389177613,"score_gpt":0.4513083604494997,"score_spread":0.2282189215317384,"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."}}