{"id":"W2775294075","doi":"10.1109/pacrim.2017.8121892","title":"Data-flow implementation of concurrent asynchronous systems","year":2017,"lang":"en","type":"article","venue":"","topic":"Interconnection Networks and Systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Asynchronous communication; Correctness; Distributed computing; Embedded system; Scheduling (production processes); Synchronization (alternating current); Data flow diagram; Model of computation; Multi-core processor; Computation; Parallel computing; Computer network; Channel (broadcasting)","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.0009209276,0.0004684044,0.0002514878,0.0005027997,0.0004852594,0.001162826,0.001172993,0.0005702901,0.003470989],"category_scores_gemma":[0.002238864,0.0002593874,0.0004496441,0.0003451464,0.0005094942,0.001137121,0.0006416964,0.0006983362,0.0004970671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008100083,"about_ca_system_score_gemma":0.001026626,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001469687,"about_ca_topic_score_gemma":0.001342517,"domain_scores_codex":[0.9993629,0.0001739288,0.00007180923,0.00008577187,0.0002279558,0.00007768206],"domain_scores_gemma":[0.9991013,0.0003387366,0.00007334746,0.0001708231,0.0002775794,0.00003821742],"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.0004558615,0.0002835632,0.001548747,0.0003746731,0.00004536315,0.0003426148,0.0005823045,0.2189438,0.02930316,0.5939481,0.00392552,0.1502464],"study_design_scores_gemma":[0.0001075609,0.0001170856,0.0001068079,0.00003472751,0.00002498404,0.00007569339,0.0000261809,0.9005752,0.02174867,0.05707957,0.02008337,0.00002017327],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01405523,0.0000951432,0.9784347,0.0000922266,0.000083472,0.0001158492,0.00008276464,0.001201916,0.00583862],"genre_scores_gemma":[0.5772073,0.0002613747,0.4131315,0.0001511361,0.00006946516,0.0005487514,0.0003264164,0.000156506,0.008147545],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003470989,"threshold_uncertainty_score":0.01161158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0676412290570412,"score_gpt":0.3516805943486944,"score_spread":0.2840393652916532,"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."}}