Publicaciones en colaboración con investigadores/as de KU Leuven (15)

2014

  1. Configuration mapping algorithms to reduce energy and time reconfiguration overheads in reconfigurable systems

    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 22, Núm. 6, pp. 1248-1261

2013

  1. Introduction to the thematic issue

    Journal of Ambient Intelligence and Smart Environments

2012

  1. The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems

    International Journal on Software Tools for Technology Transfer, Vol. 14, Núm. 5, pp. 567-588

2008

  1. Efficiently scheduling runtime reconfigurations

    ACM Transactions on Design Automation of Electronic Systems, Vol. 13, Núm. 4

2007

  1. Memory hierarchy for high-performance and energy-aware reconfigurable systems

    IET Computers and Digital Techniques, Vol. 1, Núm. 5, pp. 565-571

  2. Optimization of dynamic data structures in multimedia embedded systems using evolutionary computation

    ACM International Conference Proceeding Series

  3. Termination analysis of logic programs through combination of type-based norms

    ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2

2006

  1. A configuration memory hierarchy for fast reconfiguration with reduced energy consumption overhead

    20th International Parallel and Distributed Processing Symposium, IPDPS 2006

2003

  1. Application of task concurrency management on dynamically reconfigurable hardware platforms

    IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings

  2. Run-time minimization of reconfiguration overhead in dynamically reconfigurable systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2778, pp. 585-594

2002

  1. Reuse of results in termination analysis of typed logic programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)