2615 search results - page 49 / 523 » Analysis of Real Time Operating System Based Applications |
166
click to vote
DATE
2008
IEEE
16 years 13 days ago
2008
IEEE
—Increasing integrated circuit (IC) power densities and temperatures may hamper multiprocessor system-on-chip (MPSoC) use in hard real-time systems. This article formalizes the t...
172
click to vote
RTAS
2000
IEEE
15 years 10 months ago
2000
IEEE
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
166
click to vote
ISORC
2008
IEEE
16 years 11 days ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
160
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
195
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...