Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models

Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder. Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. In Gopal Gupta, Ricardo Peña, editors, Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Volume 8901 of Lecture Notes in Computer Science, pages 72-90, Springer, 2013. [doi]

Authors

Umer Liqat

This author has not been identified. Look up 'Umer Liqat' in Google

Steve Kerrison

This author has not been identified. Look up 'Steve Kerrison' in Google

Alejandro Serrano

This author has not been identified. Look up 'Alejandro Serrano' in Google

Kyriakos Georgiou

This author has not been identified. Look up 'Kyriakos Georgiou' in Google

Pedro López-García

This author has not been identified. Look up 'Pedro López-García' in Google

Neville Grech

This author has not been identified. It may be one of the following persons: Look up 'Neville Grech' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google

Kerstin Eder

This author has not been identified. Look up 'Kerstin Eder' in Google