{"id":"W7117664449","doi":"10.1109/rtss66672.2025.00018","title":"Faster, Exact, More General Response-Time Analysis for NVIDIA Holoscan Applications","year":2025,"lang":"","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Dataflow; Scalability; Correctness; Scheduling (production processes); Latency (audio); Directed acyclic graph; Mutual exclusion; Liveness; Semantics (computer science)","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00255548,0.0006332177,0.001174037,0.001881832,0.0007601557,0.001283914,0.002777643,0.0003585346,0.0002445185],"category_scores_gemma":[0.0001973563,0.0006414453,0.00104667,0.00741008,0.0002079487,0.0007863062,0.0007702093,0.0002717235,0.0004137682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003545836,"about_ca_system_score_gemma":0.0009304064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003695358,"about_ca_topic_score_gemma":0.00005937128,"domain_scores_codex":[0.9939929,0.0006926974,0.001525413,0.002067962,0.0006144132,0.00110663],"domain_scores_gemma":[0.9939051,0.001181375,0.0005031108,0.003376877,0.0006270306,0.0004065493],"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.002894155,0.002847892,0.02502915,0.001516355,0.03146611,0.00007165259,0.008555289,0.186835,0.1934138,0.1892311,0.05898297,0.2991565],"study_design_scores_gemma":[0.000877227,0.0001280263,0.008758603,0.00005961959,0.001223531,0.000007039789,0.0002023242,0.9619958,0.003944776,0.0005569872,0.0215456,0.0007004274],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03583983,0.0006058229,0.9469651,0.006539687,0.0004036373,0.002575238,0.0000697996,0.0002914424,0.006709445],"genre_scores_gemma":[0.6493202,0.00002660483,0.1934255,0.0009909093,0.0003755587,0.001476172,0.00005748408,0.00005217309,0.1542753],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7751608,"threshold_uncertainty_score":0.9997528,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01631219334159693,"score_gpt":0.2988951782945058,"score_spread":0.2825829849529089,"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."}}