355 search results - page 26 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
ECRTS
2007
IEEE
14 years 1 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
RTAS
2002
IEEE
14 years 9 days ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...
ECRTS
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose a hybrid approach for scheduling real-time tasks on large-scale multicore platforms with hierarchical shared caches. In this approach, a multicore platform is partition...
ECRTS
2003
IEEE
14 years 20 days ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
DATE
2003
IEEE
14 years 20 days ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...