Sciweavers

5239 search results - page 240 / 1048
» Model-Integrated Embedded Systems
Sort
View
LCTRTS
2009
Springer
16 years 1 months ago
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice
Jia Zou, Joshua S. Auerbach, David F. Bacon, Edwar...
CASES
2004
ACM
16 years 1 days ago
LNS architectures for embedded model predictive control processors
Jesus Garcia, Mark G. Arnold, Leonidas G. Bleris, ...
SFM
2004
Springer
15 years 12 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...