COLORIS: A dynamic cache partitioning system using page coloring | IEEE Conference Publication | IEEE Xplore