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

   From Specification to Embedded Systems Application

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

   Lecture Notes in Computer Science

6. 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

7. 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

8. 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)

9. A tutorial on specifying data structures in Maude

   Electronic Notes in Theoretical Computer Science

10. Abstraction carrying code and resource-awareness

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

11. Abstraction-carrying code

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

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

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

13. Agent-based simulation replication: A model driven architecture approach

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

14. An Abstract Interpretation-based Approach to Mobile Code Safety

    Electronic Notes in Theoretical Computer Science

15. An evaluation methodology for computational grids

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

16. An evolutionary approach to referring expression generation and aggregation

    Proceedings of the 10th European Workshop on Natural Language Generation, ENLG-05

17. Analysis of the wavelet transform parameters in images processing

    INTERNATIONAL E-CONFERENCE ON COMPUTER SCIENCE 2005

18. Application of intelligent classification techniques to the TJ-II thomson scattering diagnostic

    32nd EPS Conference on Plasma Physics 2005, EPS 2005, Held with the 8th International Workshop on Fast Ignition of Fusion Targets - Europhysics Conference Abstracts

19. Automatización y robotización de operaciones coordinadas en medio marino

    XXVI Jornadas de Automática: 7-10 de septiembre de 2005, Alicante-Elche

20. Balancing the computation effort in genetic algorithms

    2005 IEEE Congress on Evolutionary Computation, IEEE CEC 2005. Proceedings