2615 search results - page 49 / 523 » Analysis of Real Time Operating System Based Applications |
130
Voted
DATE
2008
IEEE
15 years 9 months 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...
129
Voted
RTAS
2000
IEEE
15 years 7 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...
126
Voted
ISORC
2008
IEEE
15 years 9 months 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...
126
Voted
FATES
2004
Springer
15 years 8 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...
149
click to vote
ADAEUROPE
2004
Springer
15 years 8 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...