Instituto de Tecnología del Conocimiento (ITC)

2005

1. A Grid-oriented genetic algorithm

   Lecture Notes in Computer Science

2. A Per-Module adaptive fetch mechanism

   Actas de las XVI Jornadas de Paralelismo. [JP'2005]

3. A categorical approach to simulations

   Lecture Notes in Computer Science

4. A formal methodology to test complex embedded systems: Application to interactive driving system

   IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

5. A formal methodology to test complex embedded systems: Application to interactive driving system

   From Specification to Embedded Systems Application

6. A framework for protein structure prediction on the grid

   New Generation Computing, Vol. 23, Núm. 4, pp. 277-290

7. A generic framework for the analysis and specialization of logic programs

   Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005

8. A generic framework for the analysis and specialization of logic programs

   Lecture Notes in Computer Science

9. A hybrid prefetch scheduling heuristic to minimize at run-time the reconfiguration overhead of dynamically reconfigurable hardware

   Proceedings -Design, Automation and Test in Europe, DATE '05

10. A loosely coupled vision for computational Grids

    IEEE Distributed Systems Online, Vol. 6, Núm. 5

11. A passive testing approach based on invariants: Application to the WAP

    Computer Networks, Vol. 48, Núm. 2, pp. 247-266

12. A power-efficient and scalable load-store queue design

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

13. A reconfiguration manager for dynamically reconfigurable hardware

    IEEE Design and Test of Computers, Vol. 22, Núm. 5, pp. 452-460

14. A tutorial on specifying data structures in Maude

    Electronic Notes in Theoretical Computer Science

15. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352

16. AWeSOMe 2005 PC co-chairs' message

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

17. Abstraction carrying code and resource-awareness

    PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

18. Abstraction-carrying code

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

19. Actas del II Taller en Desarrollo de Sistemas Multiagente

    Thomson-Paraninfo

20. Adaptación de un simulador de potencia para unidades funcionales en procesadores de alto rendimiento

    Actas de las XVI Jornadas de Paralelismo. [JP'2005]