A Coverage Model to Capture the Communication Behaviour of Multi-Threaded Message-Passing Programs by K. Georgiou, M. Bartley, and K. Eder. Submitted to the International Conference on Software Testing (ICST 2014).
Genetic Algorithm-based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips
Z. Banković and P. López-García. Published at Hybrid Artificial Intelligent Systems (HAIS 2013), Lecture Notes in Computer Science Volume 8073, September 2013.
Abstract & Download
Sized Type Analysis for Logic Programs
Sized Type Analysis for Logic Programs by A. Serrano, P. Lopez-Garcia, F. Bueno, and M.V. Hermenegildo. Published as a technical communication in Theory and Practice of Logic Programming, 29th Int’l. Conference on Logic Programming (ICLP’13) Special Issue, TPLP 13 (4-5): Online Supplement, July 2013.
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models by S. Kerrison, U. Liqat, K. Georgiou, A. Serrano, N. Grech, P. López-García, K. Eder and M.V. Hermenegildo. Published in Proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR’13), September 2013.
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types by A. Serrano, P. López-García, and M.V. Hermenegildo. Published in the Proceedings of the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013) edited by R. Haemmerlé, J. Morales, August 2013.
