Sciweavers

1040 search results - page 57 / 208
» Resource Usage Verification
Sort
View
CLUSTER
2003
IEEE
15 years 11 months ago
A General Self-Adaptive Task Scheduling System for Non-Dedicated Heterogeneous Computing
— The efforts to construct a national scale Grid computing environment have brought unprecedented computing capacity and complicacy. Exploiting this complex infrastructure requir...
Ming Wu, Xian-He Sun
ATAL
2010
Springer
15 years 7 months ago
Resource-bounded alternating-time temporal logic
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
PCM
2005
Springer
136views Multimedia» more  PCM 2005»
15 years 11 months ago
Using Bitstream Structure Descriptions for the Exploitation of Multi-layered Temporal Scalability in H.264/AVC's Base Specificat
In this paper, attention is paid to the automatic generation of XML-based descriptions containing information about the high-level structure of binary multimedia resources. These s...
Wesley De Neve, Davy Van Deursen, Davy De Schrijve...
SIGMOD
2012
ACM
267views Database» more  SIGMOD 2012»
13 years 8 months ago
CloudAlloc: a monitoring and reservation system for compute clusters
Cloud computing has emerged as a promising environment capable of providing flexibility, scalability, elasticity, failover mechanisms, high availability, and other important feat...
Enrico Iori, Alkis Simitsis, Themis Palpanas, Kevi...
ICSE
2011
IEEE-ACM
14 years 9 months ago
Predictable dynamic deployment of components in embedded systems
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
Ana Petricic