3169 search results - page 54 / 634 » Robust Timed Automata |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
CORR
2010
Springer
13 years 8 months ago
2010
Springer
CORR
2010
Springer
13 years 8 months ago
2010
Springer
FUIN
2006
13 years 8 months ago
2006
GEOINFORMATICA
2006
13 years 8 months ago
2006
This paper investigates how portability of a model between different computer operating systems can lead to increased efficiency in code execution. The portability problem is not a...