1040 search results - page 60 / 208 » Resource Usage Verification |
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
CN
2006
14 years 9 months ago
2006
In this paper, network hosted transcoding is studied for the optimization of resources in multicast applications. The configuration is as follows: one source node is sending a sig...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
: The consolidation of multiple servers and their workloads aims to minimize the number of servers needed thereby enabling the efficient use of server and power resources. At the s...
102
click to vote
MP
2007
14 years 9 months ago
2007
We consider machine scheduling on unrelated parallel machines with the objective to minimize the schedule makespan. We assume that, in addition to its machine dependence, the proce...