365 search results - page 12 / 73 » Semi-automatic derivation of timing models for WCET analysis |
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...
89
Voted
DSD
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
DSRT
2005
IEEE
15 years 3 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
JPDC
2011
14 years 4 months ago
2011
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper analyzes a single server queueing system in which service is alternated between two queues and the server requires a (finite) switchover time to switch from one queue ...