854 search results - page 53 / 171 » Timing coverification of concurrent embedded real-time syste... |
125
click to vote
ECRTS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
RTCSA
2000
IEEE
15 years 2 months ago
2000
IEEE
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to ...
116
click to vote
RTAS
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
Energy consumption is an important performance parameter for portable and wireless embedded systems. However, energy consumption must be carefully balanced with real-time responsi...