{"id":"W1611092716","doi":"","title":"On the challenge of delivering high-performance, dependable, model-checked internet servers","year":2005,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Fraser Health","funders":"","keywords":"Server; Computer science; The Internet; Computer network; Distributed computing; Operating system","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.0004910434,0.0001450609,0.0001766854,0.00006813954,0.00007587101,0.00003152921,0.0009635409,0.00007016299,0.00007681816],"category_scores_gemma":[0.00001603786,0.0000832674,0.00006432091,0.0001937136,0.00004598021,0.0005366459,0.000251683,0.0001559773,0.0001358185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006230767,"about_ca_system_score_gemma":0.00004263894,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001423825,"about_ca_topic_score_gemma":0.00003888861,"domain_scores_codex":[0.9987994,0.00003192786,0.0003101211,0.0002950317,0.0003149648,0.0002485639],"domain_scores_gemma":[0.9989165,0.00008888898,0.00009391303,0.0007666674,0.00008447749,0.00004956368],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001125356,0.0005277325,0.004721258,0.000380543,0.000153449,0.000004558995,0.005508123,0.5220376,0.0003121147,0.3389786,0.004095238,0.1231683],"study_design_scores_gemma":[0.0002608548,0.000132543,0.001049113,0.00005995288,0.0000034492,0.000002469513,0.00001438031,0.9844875,0.01287668,0.0006934993,0.0002838096,0.0001357269],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9028136,0.00003427973,0.08781299,0.00100772,0.0001671426,0.0001699233,7.964716e-7,0.0001524464,0.007841118],"genre_scores_gemma":[0.9918181,0.00005257113,0.007321327,0.0002471159,0.000035555,0.00001651589,6.169746e-7,0.000007425659,0.000500724],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.46245,"threshold_uncertainty_score":0.3395546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01649028014151781,"score_gpt":0.2117941652511604,"score_spread":0.1953038851096426,"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."}}