| Energy consumption analysis of programs based on XMOS ISA-level models U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2013 | 71 | 2013 |
| Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P López-García, JP Gallagher, ... International Workshop on Foundational and Practical Aspects of Resource …, 2015 | 30 | 2015 |
| A transformational approach to parametric accumulated-cost static profiling R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ... International Symposium on Functional and Logic Programming, 163-180, 2016 | 15 | 2016 |
| A general framework for static profiling of parametric resource usage P Lopez-Garcia, M Klemen, U Liqat, MV Hermenegildo arXiv preprint arXiv:1608.02780, 2016 | 11 | 2016 |
| Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption P Lopez-Garcia, L Darmawan, M Klemen, U Liqat, F Bueno, ... arXiv preprint arXiv:1803.04451, 2018 | 10 | 2018 |
| ENTRA: Whole-systems energy transparency K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, ... Microprocessors and Microsystems 47, 278-286, 2016 | 10 | 2016 |
| Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks U Liqat, Z Bankovic, P Lopez-Garcia, MV Hermenegildo Proceedings of the Workshop on High Performance Energy Efficient Embedded …, 2016 | 10 | 2016 |
| Towards Energy Consumption Verification via Static Analysis P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo Proceedings of the Workshop on High Performance Energy Efficient Embedded …, 2015 | 7 | 2015 |
| A practical approach for energy efficient scheduling in multicore environments by combining evolutionary and YDS algorithms with faster energy estimation Z Banković, U Liqat, P López-García IFIP International Conference on Artificial Intelligence Applications and …, 2015 | 7 | 2015 |
| Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks U Liqat, Z Banković, P Lopez-Garcia, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2017 | 5 | 2017 |
| Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling Z Banković, U Liqat, P López-García International Conference on Hybrid Artificial Intelligence Systems, 690-701, 2015 | 5 | 2015 |
| Inferring energy consumption at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, MV Hermenegildo, ... Proc. of the Foundational and Practical Aspects of Resource Analysis …, 2015 | 4 | 2015 |
| A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms. Z BANKOVIĆ, U Liqat, P Lopez-Garcia Journal of Multiple-Valued Logic & Soft Computing 32, 2019 | 1 | 2019 |
| An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors U Liqat, Z Banković, P Lopez-Garcia, MV Hermenegildo Logic Journal of the IGPL 25 (6), 1006-1019, 2017 | 1 | 2017 |
| A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development U Liqat Universidad Politécnica de Madrid, 2018 | | 2018 |
| Energy Consumption Analysis and Verification by Transformation into Horn Clauses and Abstract Interpretation MV Hermenegildo, M Klemen, U Liqat, PL Garcia ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 4-+, 2017 | | 2017 |
| Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015 F Corbera, A Rodríguez, R Asenjo, A Navarro, A Vilches, M Garzaran, ... arXiv preprint arXiv:1501.03064, 2015 | | 2015 |
| Towards LLVM Based Energy Consumption Analysis of Programs K Georgiou, U Liqat ICT Energy Letters, 16--17, 2014 | | 2014 |
| A general framework for static profiling of parametric resource usage–CORRIGENDUM P LOPEZ-GARCIA, M KLEMEN, U LIQAT, MV HERMENEGILDO Theory and Practice of Logic Programming, 1-1, 0 | | |
| ENTRA: Whole-systems energy transparency Z Bankoviéc, K Georgiou, R Haemmerléc, MV Hermenegildac, B Kafle, ... | | |
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software InstituteVahvistettu sähköpostiosoite verkkotunnuksessa imdea.org
