共 50 条
- [41] Multi-phase Algorithms for Throughput Maximization for Real-Time Scheduling Journal of Combinatorial Optimization, 2000, 4 : 307 - 323
- [46] Spotlight Abstraction in Model Checking Real-Time Task Schedulability MODEL CHECKING SOFTWARE (SPIN 2021), 2021, 12864 : 63 - 80
- [47] Scheduling Shared Data Acquisition for Real-time Decision Making 2019 IEEE 25TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2019), 2019,
- [50] Data-based real-time scheduling in smart manufacturing Kongzhi yu Juece/Control and Decision, 2020, 35 (03): : 523 - 535