Sciweavers

2960 search results - page 62 / 592
» A vision for embedded software
Sort
View
125
Voted
SFM
2004
Springer
15 years 8 months ago
Embedded Software Analysis with MOTOR
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...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
137
Voted
DATE
2003
IEEE
115views Hardware» more  DATE 2003»
15 years 8 months ago
Embedded Software in Digital AM-FM Chipset
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...
Michel Sarlotte, Bernard Candaele, J. Quevremont, ...
53
Voted
IPPS
2003
IEEE
15 years 8 months ago
FORGE: A Framework for Optimization of Distributed Embedded Systems Software
Radu Cornea, Nikil D. Dutt, Rajesh K. Gupta, Ingol...
142
Voted
DATE
2000
IEEE
113views Hardware» more  DATE 2000»
15 years 8 months ago
Static Timing Analysis of Embedded Software on Advanced Processor Architectures
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...
André Hergenhan, Wolfgang Rosenstiel