{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:40:49Z","timestamp":1762875649785,"version":"3.40.5"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319141244"},{"type":"electronic","value":"9783319141251"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14125-1_5","type":"book-chapter","created":{"date-parts":[[2014,12,10]],"date-time":"2014-12-10T12:03:10Z","timestamp":1418212990000},"page":"72-90","source":"Crossref","is-referenced-by-count":22,"title":["Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models"],"prefix":"10.1007","author":[{"given":"Umer","family":"Liqat","sequence":"first","affiliation":[]},{"given":"Steve","family":"Kerrison","sequence":"additional","affiliation":[]},{"given":"Alejandro","family":"Serrano","sequence":"additional","affiliation":[]},{"given":"Kyriakos","family":"Georgiou","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Lopez-Garcia","sequence":"additional","affiliation":[]},{"given":"Neville","family":"Grech","sequence":"additional","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,11]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-71316-6_12","volume-title":"Programming Languages and Systems","author":"E Albert","year":"2007","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Cost Analysis of Java Bytecode. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 157\u2013172. Springer, Heidelberg (2007)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Debray, S.K., Lin, N.-W., Hermenegildo, M.: Task Granularity Analysis in Logic Programs. In: Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, pp. 174\u2013188. ACM Press (June 1990)","DOI":"10.1145\/93548.93564"},{"key":"5_CR3","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Lin, N.-W.: Lower Bound Cost Estimation for Logic Programs. In: 1997 International Logic Programming Symposium, pp. 291\u2013305. MIT Press, Cambridge (October 1997)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., et al.: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3) (2008)","DOI":"10.1145\/1347375.1347389"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Henriksen, K.S., Gallagher, J.P.: Abstract interpretation of PIC programs through logic programming. In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), pp. 184\u2013196. IEEE Computer Society (2006)","DOI":"10.1109\/SCAM.2006.1"},{"issue":"1\u20132","key":"5_CR6","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M Hermenegildo","year":"2005","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming 58(1\u20132), 115\u2013140 (2005)","journal-title":"Science of Computer Programming"},{"issue":"1\u20132","key":"5_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S1471068411000457","volume":"12","author":"MV Hermenegildo","year":"2012","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez, P., Mera, E., Morales, J.F., Puebla, G.: An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming 12(1\u20132), 219\u2013252 (2012)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3","key":"5_CR8","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/2362389.2362393","volume":"34","author":"J Hoffmann","year":"2012","unstructured":"Hoffmann, J., Aehlig, K., Hofmann, M.: Multivariate amortized resource analysis. ACM Trans. Program. Lang. Syst. 34(3), 14 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Jayaseelan, R., Mitra, T., Li, X.: Estimating the worst-case energy consumption of embedded software. In: IEEE Real Time Technology and Applications Symposium, pp. 81\u201390. IEEE Computer Society (2006)","DOI":"10.1109\/RTAS.2006.17"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Kerrison, S., Eder, K.: Energy modelling and optimisation of software for a hardware multi-threaded embedded microprocessor. ACM Transactions on Embedded Computing Systems (TECS) (to appear, 2015)","DOI":"10.1145\/2700104"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.S.: LLVM: A compilation framework for lifelong program analysis and transformation. In: Proc. of the 2004 International Symposium on Code Generation and Optimization (CGO), pp. 75\u201388. IEEE Computer Society (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"5_CR12","unstructured":"Lee, J.H., Avgerinos, T., Brumley, D.: TIE: Principled Reverse Engineering of Types in Binary Programs. In: Proceedings of the Network and Distributed System Security Symposium, NDSS 2011. The Internet Society (February 2011)"},{"key":"5_CR13","unstructured":"May, D.: The XMOS XS1 architecture (2013). http:\/\/www.xmos.com\/published\/xmos-xs1-architecture"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-78769-3_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M M\u00e9ndez-Lojo","year":"2008","unstructured":"M\u00e9ndez-Lojo, M., Navas, J., Hermenegildo, M.V.: A flexible, (C)LP-based approach to the analysis of object-oriented programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol. 4915, pp. 154\u2013168. Springer, Heidelberg (2008)"},{"key":"5_CR15","unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. In: The Sixth NASA Langley Formal Methods Workshop (LFM 2008) (April 2008) (Extended Abstract)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: User-Definable Resource Usage Bounds Analysis for Java Bytecode. In: Proceedings of BYTECODE. Electronic Notes in Theoretical Computer Science, vol. 253, pp. 65\u201382. Elsevier - North Holland (March 2009)","DOI":"10.1016\/j.entcs.2009.11.015"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-540-74610-2_24","volume-title":"Logic Programming","author":"J Navas","year":"2007","unstructured":"Navas, J., Mera, E., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.V.: User-Definable Resource Bounds Analysis for Logic Programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 348\u2013363. Springer, Heidelberg (2007)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer (1999)","DOI":"10.1007\/978-3-662-03811-6"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Rosendahl, M.: Automatic Complexity Analysis. In: 4th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA 1989). ACM Press (1989)","DOI":"10.1145\/99370.99381"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Russell, J.T., Jacome, M.F.: Software power estimation and optimization for high performance, 32-bit embedded processors. In: ICCD, pp. 328\u2013333 (1998)","DOI":"10.1109\/ICCD.1998.727070"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Serrano, A., Lopez-Garcia, P., Hermenegildo, M.: Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. In: Theory and Practice of Logic Programming, 30th Int\u2019l. Conference on Logic Programming (ICLP 2014) Special Issue, vol. 14(4\u20135), pp. 739\u2013754 (2014)","DOI":"10.1017\/S147106841400057X"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Tiwari, V., Malik, S., Wolfe, A., Lee, M.T.C. Instruction level power analysis and optimization of software. In: Proceedings of VLSI Design, pp. 326\u2013328 (1996)","DOI":"10.1007\/978-1-4613-1453-0_9"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-27861-0_6","volume-title":"Implementation of Functional Languages","author":"PB Vasconcelos","year":"2005","unstructured":"Vasconcelos, P.B., Hammond, K.: Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol. 3145, pp. 86\u2013101. Springer, Heidelberg (2005)"},{"key":"5_CR24","unstructured":"Watt, D.: Programming XC on XMOS Devices. XMOS Limited (2009)"},{"issue":"9","key":"5_CR25","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/361002.361016","volume":"18","author":"B Wegbreit","year":"1975","unstructured":"Wegbreit, B.: Mechanical program analysis. Commun. ACM 18(9), 528\u2013539 (1975)","journal-title":"Commun. ACM"},{"key":"5_CR26","unstructured":"Xu, L., Sun, F., Su, Z.: Constructing Precise Control Flow Graphs from Binaries. University of California, Davis, Tech. Rep (2009)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14125-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:20:59Z","timestamp":1747182059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14125-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319141244","9783319141251"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14125-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}