Invited talk at the EACO Workshop 7 on “Analysis Techniques for Energy Aware COmputing”, Bristol, UK. 10-11 September 2014. Manuel Hermenegildo. Energy Analysis, Debugging, and Verification (with the CiaoPP system).
Invited talk at the EACO Workshop 7 on “Analysis Techniques for Energy Aware COmputing”, Bristol, UK. 10-11 September 2014. Manuel Hermenegildo. Energy Analysis, Debugging, and Verification (with the CiaoPP system).