364 search results - page 31 / 73 » On Tools for Modeling High-Performance Embedded Systems |
103
click to vote
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
106
click to vote
FM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
CSCW
2002
ACM
14 years 9 months ago
2002
ACM
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
79
Voted
SIGSOFT
2010
ACM
14 years 4 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...