M. Kirkeby, Mads Rosendahl. Probabilistic Resource Analysis by Program Transformation. Proc. of the Foundational and Practical Aspects of Resource Analysis, LNCS, Springer, 2015. To appear.
Probabilistic Output Analysis by Program Manipulation
Mads Rosendahl, Maja Hanne Kirkeby. Probabilistic Output Analysis by Program Manipulation. Quantitative Aspects of Programming Languages, EPTCS, 2015.
A Practical Approach for Energy Efficient Scheduling in Multicore Environments by combining Evolutionary and YDS Algorithms with Faster Energy Estimation
Zorana Bankovic, Umer Liqat, Pedro Lopez-Garcia. A Practical Approach for Energy Efficient Scheduling in Multicore Environments by combining Evolutionary and YDS Algorithms with Faster Energy Estimation. The 11th International Conference on Artificial Intelligence Applications and Innovations (AIAI’15), IFIP Advances in Information and Communication Technology, Vol. 458, pages 478–493, Springer International Publishing, 2015.
Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm
Zorana Bankovic, Pedro Lopez-Garcia. Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. Genetic and Evolutionary Computation Conference, GECCO 2015, Companion Material Proceedings, pages 1353–1354, ACM, 2015.
Improved Energy-aware Stochastic Scheduling based on Evolutionary Algorithms via Copula-based Modeling of Task Dependences
Zorana Bankovic, Pedro Lopez-Garcia. Improved Energy-aware Stochastic Scheduling based on Evolutionary Algorithms via Copula-based Modeling of Task Dependences. International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2015), Advances in Intelligent Systems and Computing, Vol. 368, pages 153–163, Springer International Publishing, 2015.
Trading-off Accuracy vs. Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-based Scheduling
Zorana Bankovic, Umer Liqat, Pedro Lopez-Garcia. Trading-off Accuracy vs. Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-based Scheduling. Hybrid Artificial Intelligent Systems (HAIS 2015), Lecture Notes in Computer Science, Vol. 9121, pages 690–701, Springer International Publishing, 2015.
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder. Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. arXiv preprint arXiv:1505.03374, 2015.
Towards Energy Consumption Verification via Static Analysis
Pedro Lopez-Garcia, Rémy Haemmerlé, M. Klemen, Umer Liqat, Manuel Hermenegildo. Towards Energy Consumption Verification via Static Analysis. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES), arXiv:1501.03064, pages 11, 2015. arXiv:1512.09369.
Pre-Indexed Terms for Prolog
J.F. Morales, Manuel Hermenegildo. Pre-Indexed Terms for Prolog. Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR’14), LNCS, Vol. 8981, pages 317–331, Springer, 2015.
A Multi-level Worst Case Energy Consumption Static Analysis for Single and Multi-threaded Embedded Programs
Kyriakos Georgiou, Steve Kerrison, Kerstin Eder. A Multi-level Worst Case Energy Consumption Static Analysis for Single and Multi-threaded Embedded Programs . Num. CSTR-14-003, University of Bristol, December 2014.
