Sciweavers

178 search results - page 2 / 36
» Controlling and Optimizing the Usage of One Resource
Sort
View
FM
2009
Springer
123views Formal Methods» more  FM 2009»
13 years 11 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
ARCS
2010
Springer
13 years 8 months ago
A Hierarchical Distributed Control for Power and Performances Optimization of Embedded Systems
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
Patrick Bellasi, William Fornaciari, David Siorpae...
ICAS
2009
IEEE
126views Robotics» more  ICAS 2009»
13 years 8 months ago
Heterogeneous QoS Resource Manager with Prediction
As long as computers continue to get more CPU processing power, data centers need to optimize their power usage. We can do this and maintain the same complexity level as before by...
Ramon Nou, Jordi Torres
IOR
2010
94views more  IOR 2010»
13 years 1 months ago
Utility-Maximizing Resource Control: Diffusion Limit and Asymptotic Optimality for a Two-Bottleneck Model
We study a stochastic network that consists of two servers shared by two classes of jobs. Class 1 jobs require a concurrent occupancy of both servers while class 2 jobs use one se...
Heng-Qing Ye, David D. Yao
WMPI
2004
ACM
13 years 10 months ago
Compiler-optimized usage of partitioned memories
In order to meet the requirements concerning both performance and energy consumption in embedded systems, new memory architectures are being introduced. Beside the well-known use o...
Lars Wehmeyer, Urs Helmig, Peter Marwedel