1161 search results - page 38 / 233 » Resource Modeling for Timed Creol Models |
141
click to vote
RTS
2006
15 years 3 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
134
Voted
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
This paper addresses the issue of how to meet the strict timing constraints of (soft) real-time virtualized applications while the Virtual Machine (VM) hosting them is undergoing a...
156
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
132
click to vote
LCTRTS
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
119
Voted
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...