{"id":"W2188082489","doi":"10.1007/978-3-642-41071-0_14","title":"Formal Analysis of Memory Contention in a Multiprocessor System","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; HOL; Multiprocessing; Parallel computing; Scalability; Automated theorem proving; Distributed memory; Theoretical computer science; Shared memory; Programming language; Operating system","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.002377104,0.0007748064,0.0006015887,0.001212652,0.0008998815,0.002129339,0.0021065,0.00105212,0.004348784],"category_scores_gemma":[0.006065488,0.0006922042,0.001327924,0.0007698719,0.003193465,0.003630191,0.001624327,0.00232523,0.0003792905],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001705213,"about_ca_system_score_gemma":0.001854098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002081469,"about_ca_topic_score_gemma":0.002212788,"domain_scores_codex":[0.9982876,0.0004836335,0.0001173991,0.0001630837,0.0006848848,0.0002632862],"domain_scores_gemma":[0.9959194,0.002900439,0.000230801,0.0004288089,0.0004371609,0.00008345582],"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.0001043183,0.0001083149,0.0006045648,0.0002406741,0.00004611842,0.0003271485,0.000343292,0.104911,0.01090582,0.8610093,0.001321385,0.02007817],"study_design_scores_gemma":[0.00004135853,0.00004827925,0.0002400077,0.00006870509,0.00004185855,0.0001781782,0.0000849815,0.5096176,0.006554035,0.4772598,0.005833034,0.00003206371],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02454241,0.0005850145,0.9648679,0.0005555211,0.0001252995,0.00008513572,0.00008437697,0.0005422872,0.008611922],"genre_scores_gemma":[0.7235972,0.0007430459,0.2661497,0.0002811272,0.0002164359,0.0002652704,0.0002160321,0.0003777698,0.008153423],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004348784,"threshold_uncertainty_score":0.01454812,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02587207319668973,"score_gpt":0.2685505318922372,"score_spread":0.2426784586955474,"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."}}