{"id":"W1711938867","doi":"10.1007/978-3-642-34026-0_23","title":"A Case for “Piggyback” Runtime Monitoring","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Operating system; Programming language; Real-time computing","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.007449001,0.0008068879,0.0009138746,0.00120758,0.00232428,0.005471526,0.003604115,0.009433059,0.008320388],"category_scores_gemma":[0.03610959,0.001182181,0.001108455,0.001353507,0.008580953,0.01725853,0.005924447,0.008672894,0.002012933],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001206563,"about_ca_system_score_gemma":0.001485508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001112893,"about_ca_topic_score_gemma":0.00108836,"domain_scores_codex":[0.9916185,0.002757791,0.0004109259,0.001818641,0.001965189,0.00142894],"domain_scores_gemma":[0.9699384,0.01031583,0.001117662,0.01627898,0.001519953,0.0008292844],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002547811,0.0001074635,0.002802127,0.0001423236,0.00003121528,0.002339085,0.002364785,0.00255432,0.003742492,0.9182782,0.01698963,0.05039358],"study_design_scores_gemma":[0.0001038192,0.000116689,0.0009552792,0.0002533503,0.00008730671,0.004282142,0.000664574,0.0342639,0.01020246,0.8175267,0.1314545,0.00008930352],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06266793,0.001154498,0.7598476,0.03552168,0.001650247,0.0002547189,0.0002359648,0.0133755,0.1252919],"genre_scores_gemma":[0.7317085,0.0004185346,0.219243,0.01439547,0.000819242,0.0003337914,0.0001924294,0.003375764,0.02951321],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009433059,"threshold_uncertainty_score":0.03939456,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0378532191562061,"score_gpt":0.2680435035853245,"score_spread":0.2301902844291184,"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."}}