1246 search results - page 62 / 250 » Recursive Timed Automata |
87
Voted
CORR
2010
Springer
15 years 26 days 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.
37
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
38
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
FUIN
2006
15 years 22 days ago
2006
81
Voted
GEOINFORMATICA
2006
15 years 22 days 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...