Acknowledgements

Research in these areas is performed using Simics, running on an academic site license kindly provided by Virtutech. Intel Hellas has generously contributed to the infrastructure of our group.