364 search results - page 19 / 73 » On Tools for Modeling High-Performance Embedded Systems |
67
Voted
AINA
2006
IEEE
15 years 3 months ago
2006
IEEE
The automatic integration of devices into dynamic, automatically configured networks alone does not take advantage of the entire potential of Service Oriented Architectures (SOA)...
RTAS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
CSREAESA
2006
14 years 11 months ago
2006
Traditional simulation-based energy estimation is not practical because the simulation time has increased from minutes and hours and weeks. Therefore, simulation assisted by speci...
SFM
2004
Springer
15 years 3 months ago
2004
Springer
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...
APSEC
1999
IEEE
15 years 1 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...