Browsing by Subject "Formal analysis"
Now showing items 1-2 of 2
(1993)Implementing counting networks on shared-memory multiprocessor machines often incurs a performance penalty proportional to the depth of the networks and the extent to which concurrent processors access the same memory ...
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 ...