{"id":"W6944788428","doi":"10.21227/3dt1-mk20","title":"The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset","year":2019,"lang":"en","type":"dataset","venue":"IEEE DataPort","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Toolchain; Aerospace; Compiler; Code (set theory); Software; Automotive industry; Source code; Code generation","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00267285,0.0007707017,0.001022793,0.0002491792,0.0002661509,0.0001292093,0.003349561,0.00053846,0.0002693485],"category_scores_gemma":[0.003157275,0.0004491241,0.0001693592,0.0006444314,0.0006280646,0.0002863318,0.0003180162,0.001025523,0.005715747],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001203023,"about_ca_system_score_gemma":0.0006316411,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007137341,"about_ca_topic_score_gemma":0.0002653938,"domain_scores_codex":[0.9946413,0.0008632965,0.001334103,0.0009102645,0.001636525,0.0006145327],"domain_scores_gemma":[0.9871437,0.003096699,0.002308351,0.007043776,0.0002950839,0.0001123871],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002695624,0.0002041826,0.000006243875,0.0005693437,0.0004285692,0.00003382131,0.00001178902,0.00007000713,0.01214835,0.00003700679,0.9860741,0.0001470286],"study_design_scores_gemma":[0.0006746831,0.0002953947,0.00007537763,0.0003994024,0.0004481032,0.00001472354,0.00001141844,0.00003504986,0.05379739,0.00001268846,0.9437921,0.0004436496],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.0007660157,0.0002159229,0.00003629106,0.00007016268,0.002115231,0.002373665,0.9943698,0.0000378189,0.00001509212],"genre_scores_gemma":[0.0002565242,0.000314031,0.00002221171,0.0004400125,0.0003450608,0.0001591266,0.9981947,0.0001239835,0.0001443685],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.04228197,"threshold_uncertainty_score":0.999796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02776534512274211,"score_gpt":0.2863511149232773,"score_spread":0.2585857698005352,"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."}}