{"id":"W2092137580","doi":"10.1145/2506164.2506174","title":"Multi-core systems modeling for formal verification of parallel algorithms","year":2013,"lang":"en","type":"article","venue":"ACM SIGOPS Operating Systems Review","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Polytechnique Montréal","keywords":"Computer science; Compiler; Scheduling (production processes); Synchronization (alternating current); Parallel computing; Architecture; Model checking; Distributed computing; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.001415456,0.0002484379,0.0006556718,0.00008403591,0.0002489661,0.0002948361,0.001315437,0.0001057494,0.000001914501],"category_scores_gemma":[0.0005403705,0.0002067934,0.000137071,0.0003279047,0.00001914753,0.0008804783,0.0002436018,0.0001193058,0.000020433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004952146,"about_ca_system_score_gemma":0.00008176822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003759459,"about_ca_topic_score_gemma":4.871267e-7,"domain_scores_codex":[0.9974626,0.0001748614,0.001228237,0.0004763835,0.000291383,0.0003665215],"domain_scores_gemma":[0.9972368,0.0001607193,0.000496921,0.001228444,0.0007852761,0.00009185926],"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.000002149376,0.0001781956,0.0001559475,0.01545443,0.0001023411,0.000001415232,0.0006477341,0.9174212,0.001342485,0.02791305,0.005935583,0.03084542],"study_design_scores_gemma":[0.0002460468,0.00007724421,0.000005534688,0.004129166,0.00001487238,0.00001646412,0.00003622765,0.994381,0.00002616011,0.00003575817,0.000791373,0.0002401521],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003079611,0.05748155,0.9383319,0.0001640394,0.0003727789,0.002917127,0.000004828216,0.0003394664,0.00008033097],"genre_scores_gemma":[0.1789541,0.00397449,0.814926,0.0001235563,0.0001138254,0.001576627,0.00003465486,0.00003047262,0.0002662083],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1786462,"threshold_uncertainty_score":0.8432789,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0831146336243668,"score_gpt":0.3230903012116129,"score_spread":0.2399756675872461,"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."}}