{"id":"W2729364654","doi":"10.1109/isorc.2017.6","title":"A Reordering Framework for Testing Message-Passing Systems","year":2017,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Timeout; Debugging; Message passing; Overhead (engineering); Concurrency; Speedup; Process (computing); Isolation (microbiology); Component (thermodynamics); Distributed computing; Blocking (statistics); Operating system; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003363558,0.002326643,0.001044491,0.001715302,0.0005635693,0.001245423,0.003687266,0.001046778,0.00214479],"category_scores_gemma":[0.006095164,0.0008162825,0.001065387,0.0006543819,0.001693704,0.002164392,0.001059311,0.001783303,0.0005498053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001423661,"about_ca_system_score_gemma":0.002008399,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006780914,"about_ca_topic_score_gemma":0.00436365,"domain_scores_codex":[0.996098,0.001268382,0.0003018395,0.0004948123,0.001448679,0.0003882036],"domain_scores_gemma":[0.9949741,0.002392402,0.0005242827,0.001027143,0.000886398,0.0001956532],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000675873,0.0005588921,0.005759581,0.0007710637,0.0001316526,0.0007756167,0.0009731809,0.4282687,0.1306216,0.08498965,0.004425277,0.3420488],"study_design_scores_gemma":[0.0001049351,0.0005448125,0.0007256187,0.00008132355,0.00009076036,0.0004060249,0.00009194212,0.8754075,0.0850566,0.02342959,0.0139712,0.00008969347],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01285928,0.000196273,0.978467,0.00006317203,0.00002349436,0.0001567702,0.00006579272,0.007325297,0.0008428294],"genre_scores_gemma":[0.2809024,0.0002188333,0.7151744,0.00009237037,0.0000429676,0.0003065486,0.0003298309,0.001081261,0.00185128],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006780914,"threshold_uncertainty_score":0.01778847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0700465447451735,"score_gpt":0.3184291099397978,"score_spread":0.2483825651946243,"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."}}