{"id":"W1936400588","doi":"10.1109/icpp.1998.708506","title":"Concurrent SSA form in the presence of mutual exclusion","year":2002,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Mutual exclusion; Computer science; Synchronization (alternating current); Compiler; Parallel computing; Optimizing compiler; Extension (predicate logic); Semantics (computer science); Program optimization; Code (set theory); Lock (firearm); Critical section; Theoretical computer science; Programming language","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.000260381,0.00004861423,0.00006469251,0.00005293356,0.00003878385,0.00002808877,0.000740918,0.00002191425,0.00002676404],"category_scores_gemma":[0.00003459245,0.00003057208,0.00002270732,0.0002728642,0.00002671126,0.000144207,0.0001789746,0.00006185842,0.000009205545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007703202,"about_ca_system_score_gemma":0.000005724916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001925079,"about_ca_topic_score_gemma":0.000004261363,"domain_scores_codex":[0.9993925,0.00005357161,0.0001507183,0.0001208378,0.0001783878,0.0001039521],"domain_scores_gemma":[0.9995298,0.0001134954,0.00004673575,0.0002625371,0.00003276366,0.00001463656],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002386271,0.000618235,0.002345422,0.00003457185,0.000006671505,0.00001307287,0.02108665,0.00628262,0.0002385674,0.4259176,0.08646891,0.4569853],"study_design_scores_gemma":[0.0001129803,0.00005758928,0.00051484,0.00001510069,4.332291e-7,0.00000472688,0.00002519805,0.9946941,0.001104294,0.001257928,0.00215727,0.00005559402],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005587643,0.0001121381,0.9721594,0.0007344909,0.00007058089,0.0001113352,1.840598e-7,0.000106179,0.02111802],"genre_scores_gemma":[0.9722766,0.00004748345,0.02720509,0.0001784742,0.000009838311,0.00000442354,2.498967e-7,0.000001259333,0.0002766308],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9884114,"threshold_uncertainty_score":0.1376822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03380953039353195,"score_gpt":0.2711618318661094,"score_spread":0.2373523014725775,"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."}}