RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
To achieve better throughput, many hard drive manufacturers use internal queues and scheduling to take advantage of vendor-specific characteristics and knowledge. While this tren...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order ...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
Dynamic Power Management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications ...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able t...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper tackles the problem of defining an appropriate access control model for multi-user systems providing adaptive resource reservations to unprivileged users. Security req...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
Large- and small-scale storage systems frequently serve a mixture of workloads, an increasing number of which require some form of performance guarantee. Providing guaranteed disk...