{"id":"W2088059652","doi":"10.1109/fpt.2012.6412109","title":"Managing mutex variables in a cache-coherent shared-memory system for FPGAs","year":2012,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Semaphore; Computer science; Cache; Synchronization (alternating current); Field-programmable gate array; Embedded system; Vendor; Shared memory; Operating system; Multiprocessing; Parallel computing; Computer network","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.0006644865,0.0001192164,0.000155946,0.0001545262,0.0000809687,0.0001147256,0.0005357153,0.00005442122,0.000009653267],"category_scores_gemma":[0.00002154609,0.0001082222,0.00004807153,0.0002579898,0.000008880929,0.0004235063,0.0001969454,0.0000668592,0.00001606963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001035415,"about_ca_system_score_gemma":0.00002620313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009050301,"about_ca_topic_score_gemma":0.00000597964,"domain_scores_codex":[0.9989573,0.00005512197,0.0002376685,0.0002492614,0.0001244339,0.0003762218],"domain_scores_gemma":[0.9993519,0.00009611264,0.0000695259,0.000351874,0.00004893118,0.00008167177],"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.00002920244,0.000598296,0.007458453,0.0010481,0.00008621396,0.00001688685,0.006385724,0.09004336,0.0005486878,0.754906,0.04223922,0.09663984],"study_design_scores_gemma":[0.0003484457,0.00002220764,0.0005309504,0.000127919,0.000004054101,0.00001369142,0.00009075376,0.9931597,0.002857091,0.001006034,0.001611553,0.0002276413],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006104759,0.0002034719,0.9765539,0.0002374635,0.000313127,0.000324746,0.000001086989,0.000818792,0.02093691],"genre_scores_gemma":[0.5740637,0.000003606739,0.424874,0.0001332781,0.00006857038,0.00007660525,0.000003298674,0.000008687762,0.0007682989],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9031163,"threshold_uncertainty_score":0.4413171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02211375453124955,"score_gpt":0.2593780422090542,"score_spread":0.2372642876778047,"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."}}