953 search results - page 149 / 191 » Constraint Based Transformation Theory |
111
Voted
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
Power control is becoming a key challenge for effectively operating a modern data center. In addition to reducing operating costs, precisely controlling power consumption is an es...
144
Voted
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
We consider the problem of designing distributed mechanisms for joint congestion control and resource allocation in spatial-reuse TDMA wireless networks. The design problem is pos...
105
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
99
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
156
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...