416 search results - page 71 / 84 » Modeling and analysis of dynamic coscheduling in parallel an... |
HPDC
2010
IEEE
13 years 9 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...
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
REX
1991
14 years 8 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
CLUSTER
2008
IEEE
13 years 8 months ago
2008
IEEE
Service providers and their customers agree on certain quality of service guarantees through Service Level Agreements (SLA). An SLA contains one or more Service Level Objectives (S...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
Grid computing is becoming the natural way to aggregate and share large sets of heterogeneous resources. With the infrastructure becoming ready for the challenge, current grid dev...