Sciweavers

697 search results - page 50 / 140
» On Composable System Timing, Task Timing, and WCET Analysis
Sort
View
RTCSA
2006
IEEE
15 years 6 months ago
Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez...
107
Voted
DAC
2010
ACM
15 years 4 months ago
Performance yield-driven task allocation and scheduling for MPSoCs under process variation
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...
Lin Huang, Qiang Xu
95
Voted
ICRA
2002
IEEE
90views Robotics» more  ICRA 2002»
15 years 5 months ago
Distributed Goal Recognition Algorithms for Modular Robots
Modular robots are systems composed of a number of independent units that can be reconfigured to fit the task at hand. When the modules are computationally independent, they for...
Zack J. Butler, Robert Fitch, Daniela Rus, Yuhang ...
166
Voted
SIGADA
2007
Springer
15 years 6 months ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec
RTS
2008
131views more  RTS 2008»
15 years 1 days ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek