High-Precision Power Modelling of the Tegra K1 Variable SMP Processor Architecture | IEEE Conference Publication | IEEE Xplore