Prohlížení Publikační činnost ČVUT dle předmětu "satisfiability modulo theories"
Zobrazují se záznamy 1-1 z 1
-
Survey on Periodic Scheduling for Time-Triggered Hard Real-Time Systems
(ACM, 2021)This survey covers the basic principles and related works addressing the time-triggered scheduling of periodic tasks with deadlines. The wide range of applications and the increasing complexity of modern real-time systems ...