Crown scheduling: Energy-efficient resource allocation, mapping and discrete frequency scaling for collections of malleable streaming tasks | IEEE Conference Publication | IEEE Xplore