14360 search results - page 355 / 2872 » Time Modeling in MARTE |
106
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
MICCAI
2007
Springer
16 years 1 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
101
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
101
Voted
ICNC
2009
Springer
15 years 7 months ago
2009
Springer
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...
136
Voted
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— This paper proposes a combination of methodologies based on a recent development –called Extreme Learning Machine (ELM)– decreasing drastically the training time of...