{"id":"W2135954168","doi":"10.1145/1755913.1755945","title":"Kivati","year":2010,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":79,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Atomicity; Computer science; Interleaving; Overhead (engineering); Software bug; Key (lock); Software; Operating system; Distributed computing; Embedded system; Parallel computing; Programming language; Database transaction","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001935976,0.001976203,0.0009534795,0.002160356,0.0009529401,0.002853384,0.004195487,0.00147427,0.0188556],"category_scores_gemma":[0.01283443,0.001524917,0.001409337,0.0007721985,0.00130517,0.005464598,0.003993691,0.002998662,0.01368011],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008257185,"about_ca_system_score_gemma":0.002089318,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001554317,"about_ca_topic_score_gemma":0.002185368,"domain_scores_codex":[0.9966434,0.000454706,0.0002788403,0.0008427494,0.001338776,0.0004415693],"domain_scores_gemma":[0.9910969,0.002315859,0.001072253,0.003566773,0.001521199,0.0004270134],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001930139,0.0005221273,0.01370767,0.002022613,0.0004465544,0.0007450816,0.0009122655,0.01448082,0.06231449,0.04284543,0.1179557,0.7421171],"study_design_scores_gemma":[0.0005760918,0.001893639,0.007834997,0.0006639998,0.0006333448,0.004516482,0.0003102318,0.2180199,0.1584714,0.07196389,0.5345573,0.0005587515],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.0378544,0.003403872,0.5632305,0.001116806,0.001057727,0.0007503094,0.001914717,0.3365225,0.05414918],"genre_scores_gemma":[0.4384159,0.001832075,0.4688559,0.00163948,0.0003959466,0.0008716859,0.008431948,0.02858121,0.05097588],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9811444,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0100747059172084,"score_gpt":0.2476797580181969,"score_spread":0.2376050521009885,"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."}}