326 search results - page 6 / 66 » Embedding Real Time in Stochastic Process Algebras |
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
Energy-efficient real-time task scheduling has been actively explored in the past decade. Different from the past work, this paper considers schedulability conditions for stochas...
ECRTS
2006
IEEE
14 years 2 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...