1161 search results - page 38 / 233 » Resource Modeling for Timed Creol Models |
159
click to vote
RTS
2006
15 years 5 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...
150
click to vote
EUROPAR
2009
Springer
15 years 9 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...
180
click to vote
RTCSA
2008
IEEE
15 years 11 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...
150
Voted
LCTRTS
2001
Springer
15 years 9 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-...
134
click to vote
FORMATS
2009
Springer
15 years 11 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...