{"id":"W2155963559","doi":"10.1109/issre.1996.558892","title":"Supervision of real-time software systems using optimistic path prediction and rollbacks","year":2002,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada); University of Waterloo","funders":"","keywords":"Computer science; Supervisor; Path (computing); Matching (statistics); Field (mathematics); Software; Scheme (mathematics); Black box; Real-time computing; Artificial intelligence; 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.0003307454,0.0001170974,0.0002245463,0.00007268381,0.0001059425,0.00006394921,0.0002241007,0.00009567885,0.00003747881],"category_scores_gemma":[0.00004902361,0.00008792966,0.00004077952,0.0002223239,0.00004350563,0.0004586068,0.0001219297,0.00005702021,0.00002304482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004034311,"about_ca_system_score_gemma":0.00001755079,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002286996,"about_ca_topic_score_gemma":3.869669e-7,"domain_scores_codex":[0.9988421,0.0000630738,0.0003507663,0.0003072259,0.00026102,0.000175839],"domain_scores_gemma":[0.9991207,0.00009463004,0.00008987852,0.0004861445,0.0001277622,0.00008088777],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001015397,0.001570554,0.7072812,0.006880264,0.0003090717,0.00008268774,0.0131509,0.1077546,0.03019045,0.003343527,0.01152813,0.117807],"study_design_scores_gemma":[0.0002577947,0.0001192942,0.004153417,0.0001444419,0.000009518491,0.00005020079,0.00003160135,0.9949168,0.0001218302,0.00003275368,0.00005633218,0.0001060343],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7054864,0.0004049773,0.292368,0.00002073433,0.0004135119,0.0002987297,0.000008159029,0.0003207418,0.0006787329],"genre_scores_gemma":[0.9661715,0.0001567992,0.03331071,0.000008526544,0.00005227053,0.000005468381,0.000001854216,0.000007770741,0.0002850818],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8871621,"threshold_uncertainty_score":0.3585667,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01767703277914517,"score_gpt":0.2185182592089309,"score_spread":0.2008412264297857,"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."}}