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

Ding, W

Ding, W (corresponding author), Zhejiang Univ Water Resources & Elect Power, Hangzhou 310018, Zhejiang, Peoples R China.

REAL-TIME SYSTEMS, 2020; 56 (3): 293

Abstract

Given an n-dimensional integer vector v = (nu(1), nu(2),., nu(n)) with nu(1) <= nu(2) <= ... <= nu(n), a pinwheel schedule for v is an infini......

Full Text Link