14360 search results - page 351 / 2872 » Time Modeling in MARTE |
121
Voted
LFCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
104
Voted
ICAS
2005
IEEE
15 years 6 months ago
2005
IEEE
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
112
Voted
ICPADS
2005
IEEE
15 years 6 months ago
2005
IEEE
Future large-scale sensor networks may comprise thousands of wirelessly connected sensor nodes that could provide an unimaginable opportunity to interact with physical phenomena i...
IICS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
97
Voted
EMSOFT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...