1329 search results - page 77 / 266 » Models and solution techniques for frequency assignment prob... |
117
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Deploying multiple supply voltages (multi-Vdds) on one chip is an important technique to reduce dynamic power consumption. In this work we present an optimality study for resource...
112
click to vote
FORTE
2008
15 years 4 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
135
click to vote
CP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In distributed resource allocation a set of agents must assign their resources to a set of tasks. This problem arises in many real-world domains such as disaster rescue, ...
116
click to vote
ICARCV
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
148
click to vote
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...