{"id":"W2167003754","doi":"10.1109/32.910857","title":"Design of multi-invariant data structures for robust shared accesses in multiprocessor systems","year":2001,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Invariant (physics); Data structure; Multiprocessing; Fault tolerance; Algorithm; Distributed computing; Parallel computing; Theoretical computer science; Programming language; Mathematics","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.0002641955,0.0002079691,0.0003122104,0.0002107704,0.00007119061,0.0001339177,0.001155402,0.0001051795,0.000002954285],"category_scores_gemma":[0.00006724337,0.0002034662,0.00004532131,0.0005602295,0.00001191632,0.0008025545,0.000007295697,0.0001558943,0.000001725234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000524227,"about_ca_system_score_gemma":0.00006254386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009294103,"about_ca_topic_score_gemma":0.00001699219,"domain_scores_codex":[0.9985599,0.00002700177,0.0004317715,0.0004718179,0.0002041368,0.0003054072],"domain_scores_gemma":[0.9986274,0.0003043234,0.00009984558,0.0007819707,0.0001149201,0.00007153752],"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.00001888168,0.00008177917,0.00003004642,0.0002201067,0.00002925001,0.000009690186,0.0001479101,0.9948615,0.0005909451,0.00004878347,0.00003678413,0.003924251],"study_design_scores_gemma":[0.0008085303,0.00003812344,0.0002657204,0.0002315983,0.00000950235,0.00002061593,0.00002389451,0.996413,0.001667555,0.000002622239,0.0002998995,0.0002189709],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006188183,0.0002448133,0.9970671,0.00001159313,0.0008691617,0.0005831723,0.0003442201,0.0002602479,8.81425e-7],"genre_scores_gemma":[0.6688516,0.00003342409,0.3308821,0.000007074756,0.00002821472,0.0001349451,0.00001500675,0.00002219012,0.00002545326],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6682327,"threshold_uncertainty_score":0.8297111,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07999694562695671,"score_gpt":0.2754663403944549,"score_spread":0.1954693947674983,"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."}}