Sciweavers

1040 search results - page 57 / 208
» Resource Usage Verification
Sort
View
CLUSTER
2003
IEEE
15 years 3 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
14 years 11 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...
90
Voted
PCM
2005
Springer
136views Multimedia» more  PCM 2005»
15 years 3 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 days 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 1 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