{"id":"W1997470409","doi":"10.4204/eptcs.17.6","title":"Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models","year":2010,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Concurrency; Non-lock concurrency control; Isolation (microbiology); Concurrent computing; Distributed concurrency control; Abstraction; Virtual machine; Multiversion concurrency control; Concurrent object-oriented programming; Set (abstract data type)","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.0019544,0.0005467617,0.0007175007,0.0003943622,0.0007318248,0.0017989,0.001848452,0.0005908138,0.002296846],"category_scores_gemma":[0.008655631,0.0004791885,0.0004797169,0.0004624233,0.001206555,0.005563445,0.0016573,0.001585521,0.0002529433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006831618,"about_ca_system_score_gemma":0.000924771,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006525649,"about_ca_topic_score_gemma":0.001183065,"domain_scores_codex":[0.9979445,0.0007749236,0.0001782902,0.0001750148,0.0007291769,0.0001980322],"domain_scores_gemma":[0.9924862,0.003759953,0.000384125,0.002578717,0.0005694058,0.0002214121],"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.002416233,0.0009027933,0.01137831,0.001196069,0.0001741684,0.0005875333,0.002129191,0.2775175,0.1675221,0.3241529,0.003460993,0.2085621],"study_design_scores_gemma":[0.0001192742,0.0004618081,0.0007838603,0.00007121284,0.00006446362,0.0001236164,0.000208754,0.8362111,0.06932911,0.08576474,0.006810644,0.00005138792],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4779314,0.0005344072,0.5131815,0.0003400439,0.00006692381,0.0001980249,0.0000982046,0.002424837,0.005224638],"genre_scores_gemma":[0.8713135,0.0001510999,0.1272546,0.00005824115,0.00001215,0.0001540191,0.0001066918,0.0002074883,0.0007422631],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002296846,"threshold_uncertainty_score":0.01033604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0126023249041503,"score_gpt":0.2592350687552572,"score_spread":0.2466327438511069,"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."}}