{"id":"W2134703599","doi":"10.1109/tpds.2006.146","title":"Tight Bounds for Critical Sections in Processor Consistent Platforms","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Parallel and Distributed Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mutual exclusion; Sequential consistency; Computer science; Consistency (knowledge bases); Consistency model; Algorithm; Strong consistency; Upper and lower bounds; Extension (predicate logic); Variable (mathematics); Theoretical computer science; Mathematics; Programming language; Artificial intelligence; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.0002768062,0.0002768565,0.0004160833,0.0001647487,0.0004538848,0.0004096123,0.0002859116,0.0001952295,0.000003164121],"category_scores_gemma":[0.00001189457,0.0002416256,0.0001336434,0.0005229833,0.0001075888,0.0004798266,0.000002952996,0.000215287,0.00001431082],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001231208,"about_ca_system_score_gemma":0.00009681494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003928545,"about_ca_topic_score_gemma":0.0002590202,"domain_scores_codex":[0.9979036,0.00003969129,0.0006682166,0.0005834476,0.00028606,0.0005190104],"domain_scores_gemma":[0.9989438,0.0002406704,0.0001005241,0.0003686612,0.0001859731,0.0001603845],"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.0003101999,0.002338748,0.0005624203,0.001101213,0.0001416104,0.00008413667,0.0003962394,0.7158569,0.0005971877,0.2663265,0.01046523,0.001819646],"study_design_scores_gemma":[0.005618365,0.0006370812,0.002161868,0.0005355191,0.00007039522,0.0004602372,0.000555422,0.9465408,0.0004225995,0.007757314,0.03393304,0.001307343],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006369099,0.0004349649,0.9891386,0.0004643239,0.001173996,0.0007404832,0.001083101,0.0002000538,0.0003953725],"genre_scores_gemma":[0.9973484,0.00001360953,0.001134908,0.00004159744,0.00008038244,0.0007867831,0.00007249811,0.00001419927,0.0005076493],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9909793,"threshold_uncertainty_score":0.9853207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01655113340245643,"score_gpt":0.2537222123865423,"score_spread":0.2371710789840859,"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."}}