{"id":"W2757999899","doi":"10.1016/j.jss.2017.09.023","title":"R-SHT: A state history tree with R-Tree properties for analysis and visualization of highly parallel system traces","year":2017,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Advanced Data Storage Technologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; TRACE (psycholinguistics); Visualization; Data structure; Benchmark (surveying); Debugging; Tree (set theory); Tree structure; Data mining; Parallel computing; Theoretical computer science; Programming language","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.0008406626,0.0009378913,0.0006529852,0.001924817,0.0005555017,0.001584534,0.001362475,0.0008072462,0.01038327],"category_scores_gemma":[0.005263832,0.0005535453,0.0007631181,0.001796138,0.0004980725,0.002454313,0.001200797,0.00112706,0.001597982],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003885642,"about_ca_system_score_gemma":0.001149933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003483467,"about_ca_topic_score_gemma":0.004711032,"domain_scores_codex":[0.9996056,0.00008578403,0.00004299175,0.00006701351,0.0001520914,0.00004661236],"domain_scores_gemma":[0.9979053,0.001034079,0.0002313883,0.0004337352,0.0002659675,0.0001296249],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00128953,0.0003450283,0.009057211,0.00168625,0.0002585678,0.001027766,0.002151228,0.1888893,0.05260999,0.08697823,0.07417635,0.5815306],"study_design_scores_gemma":[0.00007998176,0.00009694735,0.001309145,0.00007727827,0.00004658714,0.0002299165,0.000131042,0.9200755,0.01792873,0.03858777,0.02136531,0.00007173102],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01303501,0.0001335992,0.9263338,0.0001134349,0.00004220511,0.00009498568,0.003086344,0.05575735,0.001403404],"genre_scores_gemma":[0.2963852,0.000325214,0.686129,0.0001185408,0.00005750622,0.0003463211,0.00630457,0.008178815,0.002154781],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01038327,"threshold_uncertainty_score":0.0347355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03187600293634714,"score_gpt":0.2520617234829176,"score_spread":0.2201857205465705,"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."}}