162 search results - page 32 / 33 » Modelling the Live Migration Time of Virtual Machines |
ENTCS
2007
13 years 5 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
OOPSLA
1998
Springer
13 years 9 months ago
1998
Springer
With the spread of the Internet the computing model on server systems is undergoing several important changes. Recent research ideas concerning dynamic operating system extensibil...
NIME
2004
Springer
13 years 10 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
JIT
2004
Springer
13 years 10 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
HPDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...