2960 search results - page 62 / 592 » A vision for embedded software |
SFM
2004
Springer
14 years 3 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
The new standard DRM for digital radio broadcast in AM band requires integrated devices for radio receivers at low cost and very low power consumption. A chipset is currently desi...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...