{"id":"W2102110118","doi":"10.1109/icdcs.2005.83","title":"Transformations of Mutual Exclusion Algorithms from the Cache-Coherent Model to the Distributed Shared Memory Model","year":2005,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mutual exclusion; Computer science; Correctness; Transformation (genetics); Cache; Class (philosophy); Algorithm; Set (abstract data type); Parallel computing; Theoretical computer science; Shared memory; Suzuki-Kasami algorithm; Programming language; Artificial intelligence","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.0007152525,0.0003634866,0.0003565701,0.0003450298,0.0005775484,0.0009507136,0.0009964055,0.0004604843,0.001940881],"category_scores_gemma":[0.003248774,0.0002155458,0.0006031604,0.0005029507,0.001271273,0.00166333,0.001371724,0.001780836,0.0003808395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007668428,"about_ca_system_score_gemma":0.000935491,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001695014,"about_ca_topic_score_gemma":0.001523224,"domain_scores_codex":[0.9988319,0.0002611147,0.00007652052,0.0001482679,0.0005177815,0.0001643417],"domain_scores_gemma":[0.9983486,0.0006113604,0.0001202027,0.0006346854,0.0002365071,0.00004869131],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002623151,0.0003129803,0.0007888949,0.0001223577,0.00004913062,0.0003549455,0.0007421708,0.111913,0.02172166,0.7157182,0.00333633,0.144678],"study_design_scores_gemma":[0.0001647782,0.000138957,0.0003078101,0.00002273337,0.00003916253,0.0002217942,0.0001549328,0.480972,0.04119051,0.4612114,0.01554524,0.00003075157],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06212568,0.0001047647,0.9259663,0.0002412825,0.00005162568,0.0001169247,0.00005963408,0.001657122,0.009676635],"genre_scores_gemma":[0.7539238,0.0001462583,0.2412598,0.000211107,0.0000580111,0.0002462012,0.0001980019,0.0004518631,0.003504999],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001940881,"threshold_uncertainty_score":0.006492853,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02919278617964892,"score_gpt":0.2555816388852233,"score_spread":0.2263888527055744,"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."}}