带优先级DAG实时任务图模型的响应时间分析
Release Time:2024-10-30 Hits:
Date of Publication: 2024-10-29
Journal: 计算机学报
ISSN: 0254-4164
Key Words: directed acyclic graph; parallel scheduling; priority scheduling; response time; satisfiability modulo theories
CN: 11-1826/TP