{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004068804,0.00006376617,0.0001342034,0.00002806541,0.0001769886,0.000347938,0.001498371,0.00002464023,0.00004438165],"category_scores_gemma":[0.000009860125,0.00005108479,0.00002516682,0.00002475091,0.00002262922,0.0007216103,0.000415664,0.00003583532,0.00002948985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002059901,"about_ca_system_score_gemma":0.00004116486,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001089157,"about_ca_topic_score_gemma":0.0003337597,"domain_scores_codex":[0.9991716,0.00004004727,0.0002741351,0.0002293096,0.0001595892,0.0001253403],"domain_scores_gemma":[0.9981103,0.00002408524,0.0002747872,0.001464364,0.00009043407,0.00003603247],"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.000002516176,0.00006711044,0.007449801,0.0001190083,0.0001178599,0.000008069283,0.0007140762,0.00102754,0.000263418,0.5770836,0.06242567,0.3507213],"study_design_scores_gemma":[0.0003941986,0.00008725665,0.003103498,0.00003593698,0.000005359142,0.00001841899,0.0002789004,0.9709073,0.0003511451,0.00006084755,0.02463729,0.0001198818],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003557944,0.0001007042,0.9860048,0.000169499,0.004100832,0.0001852175,0.00002720871,0.00004592098,0.005807921],"genre_scores_gemma":[0.9981377,0.000007447969,0.001441889,0.00001756634,0.0001748226,0.000007540892,0.00001271687,0.000002929671,0.000197382],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9945797,"threshold_uncertainty_score":0.3355173,"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."}}