Combinatorial Auctions for Temperature-Constrained Resource Management in Manycores | IEEE Journals & Magazine | IEEE Xplore