A Stochastic Knapsack Model for Energy Efficient Management of Multi-Server Queues | IEEE Conference Publication | IEEE Xplore