364 search results - page 15 / 73 » On Tools for Modeling High-Performance Embedded Systems |
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
LCTRTS
2010
Springer
14 years 7 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
IESS
2007
Springer
15 years 3 months ago
2007
Springer
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
ISLPED
2000
ACM
15 years 2 months ago
2000
ACM
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...