218 search results - page 10 / 44 » A Symbolic Approach for the Combined Solution of Scheduling ... |
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—We examine signaling strategies for wireless MIMO networks with interference. Previous approaches have focused on maximizing either individual or total throughput, resulting in ...
TPHOL
1999
IEEE
14 years 3 days ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper considers distributed protocol design for joint sub-carrier, transmission scheduling and power management in uplink/downlink multi-cellular OFDMA wireless networks. T...
GRID
2000
Springer
13 years 11 months ago
2000
Springer
Resource management in the typical Grid environment based on multi-MPP systems or clusters today still is one of the challenging problems. We will present MeSch, a solution for the...
AI
2006
Springer
13 years 11 months ago
2006
Springer
We are interested in contributing to solving effectively a particular type of real-time stochastic resource allocation problem. Firstly, one distinction is that certain tasks may c...