Scalable Multi-core Architectures Design Methodologies and Tools (Springer New York, 2012)