{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008199216,0.00003068294,0.00002908507,0.00003016128,0.00003974552,0.00006173919,0.0004009608,0.00002191076,0.00003352753],"category_scores_gemma":[0.0000188821,0.00002506494,0.00001272668,0.0001165688,0.000009184673,0.0001133987,0.00008444558,0.00006955327,0.00005802294],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001243419,"about_ca_system_score_gemma":0.00001147792,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004915212,"about_ca_topic_score_gemma":0.000001598962,"domain_scores_codex":[0.9997194,0.000005293787,0.00005193282,0.00009787546,0.00005600222,0.00006943106],"domain_scores_gemma":[0.9996552,0.00001650322,0.00001351902,0.0002577608,0.00002905108,0.00002793745],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[1.007551e-7,0.00001060381,0.0002696516,4.495582e-7,8.12916e-7,7.333952e-7,0.00003408885,0.00006250623,0.001532921,0.9662231,0.01028926,0.02157581],"study_design_scores_gemma":[0.0001141432,0.0000274981,0.002052703,0.000001937763,4.987473e-7,0.00001706326,0.00000134731,0.83954,0.033191,0.03385277,0.09100753,0.0001934968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001999177,0.000001512717,0.9088863,0.0006576502,0.0001561726,0.0000191431,2.220566e-8,0.0008201653,0.08745983],"genre_scores_gemma":[0.3698705,5.686459e-7,0.6286951,0.0003975728,0.00001846385,0.000001063407,1.410347e-7,0.000001158998,0.0010154],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9323703,"threshold_uncertainty_score":0.1022118,"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."}}