A general framework for static profiling of parametric resource usage – CORRIGENDUM
LOPEZ-GARCIA, P., KLEMEN, M., LIQAT, U., HERMENEGILDO, M. V.
Published in Theory and practice of logic programming (01.03.2021)
Published in Theory and practice of logic programming (01.03.2021)
Get full text
Journal Article
An overview of Ciao and its design philosophy
HERMENEGILDO, M. V., BUENO, F., CARRO, M., LÓPEZ-GARCÍA, P., MERA, E., MORALES, J. F., PUEBLA, G.
Published in Theory and practice of logic programming (01.01.2012)
Published in Theory and practice of logic programming (01.01.2012)
Get full text
Journal Article
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
SERRANO, A., LOPEZ-GARCIA, P., HERMENEGILDO, M. V.
Published in Theory and practice of logic programming (01.07.2014)
Published in Theory and practice of logic programming (01.07.2014)
Get full text
Journal Article
A general framework for static profiling of parametric resource usage
LOPEZ-GARCIA, P., KLEMEN, M., LIQAT, U., HERMENEGILDO, M. V.
Published in Theory and practice of logic programming (01.09.2016)
Published in Theory and practice of logic programming (01.09.2016)
Get full text
Journal Article
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
Liqat, U, Banković, Z, Lopez-Garcia, P, Hermenegildo, M V
Published in Logic journal of the IGPL (01.12.2017)
Published in Logic journal of the IGPL (01.12.2017)
Get full text
Journal Article
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Liqat, U., Georgiou, K., Kerrison, S., Lopez-Garcia, P., Gallagher, John P., Hermenegildo, M. V., Eder, K.
Published in Foundational and Practical Aspects of Resource Analysis (2016)
Published in Foundational and Practical Aspects of Resource Analysis (2016)
Get full text
Book Chapter
Global flow analysis as a practical compilation tool
Hermenegildo, M.V, Warren, R, Debray, S.K
Published in The journal of logic programming (01.08.1992)
Published in The journal of logic programming (01.08.1992)
Get full text
Journal Article
An overview of Ciao and its design philosophy
Hermenegildo, M. V, Bueno, F, Carro, M, López-García, P, Mera, E, Morales, J. F, Puebla, G
Year of Publication 27.02.2011
Year of Publication 27.02.2011
Get full text
Journal Article
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization
Morales, José F., Carro, Manuel, Puebla, Germán, Hermenegildo, Manuel V.
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
An overview of Ciao and its design philosophy
Hermenegildo, M V, Bueno, F, Carro, M, López-García, P, Mera, E, Morales, J F, Puebla, G
Published in arXiv.org (27.02.2011)
Get full text
Published in arXiv.org (27.02.2011)
Paper