1022 search results - page 49 / 205 » The Modelling of Embedded Systems Using HASoC |
POLICY
2005
Springer
14 years 3 months ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
CODES
1996
IEEE
14 years 2 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
MOMPES
2008
IEEE
14 years 4 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...