| Energy consumption analysis of programs based on XMOS ISA-level models U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ... Logic-Based Program Synthesis and Transformation: 23rd International …, 2014 | 90 | 2014 |
| Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ... International Workshop on Foundational and Practical Aspects of Resource …, 2015 | 43 | 2015 |
| 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, ... Theory and Practice of Logic Programming 18 (2), 167-223, 2018 | 34 | 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 | 25 | 2016 |
| A general framework for static profiling of parametric resource usage P Lopez-Garcia, M Klemen, U Liqat, MV Hermenegildo Theory and Practice of Logic Programming 16 (5-6), 849-865, 2016 | 18 | 2016 |
| A transformational approach to parametric accumulated-cost static profiling R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ... Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016 | 16 | 2016 |
| Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks U Liqat, Z Banković, P Lopez-Garcia, MV Hermenegildo Logic-Based Program Synthesis and Transformation: 27th International …, 2018 | 12 | 2018 |
| 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 | 9 | 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 Artificial Intelligence Applications and Innovations: 11th IFIP WG 12.5 …, 2015 | 6 | 2015 |
| 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 Hybrid Artificial Intelligent Systems: 10th International Conference, HAIS …, 2015 | 5 | 2015 |
| Inferring Energy Consumption at Different Software Levels: ISA vs U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, MV Hermenegildo, ... LLVM IR. Technical report, FET 318337 ENTRA Project, 2014 | 4 | 2014 |
| 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 | 3 | 2017 |
| 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 | 2 | 2019 |
| A general framework for static profiling of parametric resource usage–CORRIGENDUM P López-García, M Klemen, U Liqat, MV Hermenegildo Theory and Practice of Logic Programming 21 (2), 291-291, 2021 | | 2021 |
| 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 using CiaoPP P López García, MV Hermenegildo, M Klemen, U Liqat The ALP Newsletter 30 (3), 1-6, 2017 | | 2017 |
| Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation MV Hermenegildo, M Klemen, U Liqat, P López García Open Publishing Association 253, 4-6, 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 |
Pedro Lopez-GarciaSpanish Research Council (CSIC) and The IMDEA Software Institute在 imdea.org 的电子邮件经过验证
