{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002271918,0.00110373,0.0006362779,0.0009230333,0.0007668436,0.001880967,0.002430954,0.001283886,0.006288695],"category_scores_gemma":[0.004814258,0.0007388502,0.001982438,0.0008894209,0.001782693,0.002528233,0.001932604,0.003206832,0.001643821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001635424,"about_ca_system_score_gemma":0.002566563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004138753,"about_ca_topic_score_gemma":0.00430671,"domain_scores_codex":[0.9984155,0.0005935773,0.000137232,0.0001444715,0.0005855786,0.000123709],"domain_scores_gemma":[0.9978873,0.0009789298,0.0002036086,0.0005923562,0.0002919603,0.00004581828],"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":[0.00001514668,0.00004097005,0.00021527,0.0001964351,0.00002480011,0.0001205933,0.0001878224,0.1521715,0.003597069,0.8246462,0.001499709,0.01728445],"study_design_scores_gemma":[0.00002076706,0.0000365428,0.0001117013,0.0001225121,0.00002401947,0.00007879511,0.00005852368,0.6353105,0.003706342,0.3138381,0.0466722,0.000019918],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001302961,0.000258856,0.9927201,0.0002111402,0.00005334729,0.0001048863,0.00008646082,0.0003922245,0.004869984],"genre_scores_gemma":[0.1040568,0.001315112,0.88419,0.0003278219,0.0001585585,0.001251813,0.0005013235,0.0004858543,0.007712699],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006288695,"threshold_uncertainty_score":0.02103782,"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."}}