A branch-and-cut approach to examining the maximum density guarantee for pinwheel schedulability of low-dimensional vectors

Wei Ding 0006. A branch-and-cut approach to examining the maximum density guarantee for pinwheel schedulability of low-dimensional vectors. Real-Time Systems, 56(3):293-314, 2020. [doi]

Bibliographies