326 search results - page 6 / 66 » Embedding Real Time in Stochastic Process Algebras |
143
click to vote
RTCSA
2008
IEEE
15 years 11 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...
153
click to vote
ECRTS
2006
IEEE
15 years 10 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...
111
Voted
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
153
Voted
RTAS
2006
IEEE
15 years 10 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...
125
Voted
QEST
2008
IEEE
15 years 11 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...