Browsing by Subject "Ordering relations"
Now showing items 1-1 of 1
-
Article
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
(2012)As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...