OctaLynx D: RISC microprocessor dedicated for dynamic thermal management | IEEE Conference Publication | IEEE Xplore