2116 search results - page 4 / 424 » Resource Analysis by Sup-interpretation |
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we first attempt to formally define the resource control framework that adjusts the resource provisioning at the hotspot during congestion. In an effort to find ...
ICCD
1995
IEEE
13 years 11 months ago
1995
IEEE
Optimization of hardware resources for conditional data-flow graph behavior is particularly important when conditional behavior occurs in cyclic loops and maximization of through...
POPL
2002
ACM
14 years 8 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
LION
2009
Springer
14 years 2 months ago
2009
Springer
The fitness landscape of the resource constrained project scheduling problem is investigated by examining the search space position type distribution and the correlation between t...