Browsing by Subject "Time sharing systems"
Now showing items 1-2 of 2
-
Article
Modeling and analysis of power-aware systems
(2003)The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...
-
Article
A process algebraic framework for modeling resource demand and supply
(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 ...