Sciweavers

854 search results - page 71 / 171
» Timing coverification of concurrent embedded real-time syste...
Sort
View
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
15 years 10 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
RTAS
1997
IEEE
15 years 10 months ago
QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
Tarek F. Abdelzaher, Ella M. Atkins, Kang G. Shin
WORDS
2002
IEEE
15 years 11 months ago
Service Differentiation of Communication-bound Processes in a Real-Time Operating System
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
Domenico Cotroneo, Massimo Ficco, Mauro Gargiulo, ...
ECRTS
2004
IEEE
15 years 10 months ago
On Energy-Constrained Real-Time Scheduling
In this paper, we explore the feasibility and performance optimization problems for real-time systems that must remain functional during an operation/mission with a fixed, initial...
Tarek A. AlEnawy, Hakan Aydin
RTAS
2006
IEEE
16 years 9 days ago
FSF: A Real-Time Scheduling Architecture Framework
M. Aldea, Guillem Bernat, Ian Broster, Alan Burns,...