Browsing by Author "Choi, J. -Y"
Now showing items 1-1 of 1
-
Article
A process algebraic framework for modeling resource demand and supply
Philippou, Anna; Lee, I.; Sokolsky, O.; Choi, J. -Y (2010)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 ...