Achegas congreso (37) Publicacións nas que participase algún/ha investigador/a

1999

  1. A Framework for Scheduling and Context Allocation in Reconfigurable Computing

    Proceedings of the International Symposium on System Synthesis

  2. A fully syntactic AC-RPO

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

  3. A functional-logic perspective of parsing

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

  4. A method for model parameter identification using parallel genetic algorithms

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

  5. A parallel robust multigrid algorithm based on semi-coarsening

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

  6. A partial evaluation framework for curry programs

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

  7. A reusable inner product unit for DSP applications

    Conference Proceedings of the EUROMICRO

  8. A unified algorithm for mutual exclusiveness identification

    Conference Proceedings of the EUROMICRO

  9. An axiomatization of probabilistic testing

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

  10. Aportaciones de la contabilidad al cumplimiento de los objetivos de los sistemas de gestión ambiental

    Lecturas de economía y medio ambiente

  11. Conocimiento y sentido en las ciencias y en las religiones

    El sentido del hombre en el universo

  12. Denotational semantics for probabilistic refusal testing

    Electronic Notes in Theoretical Computer Science

  13. Functional plus logic programming with built-in and symbolic constraints

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

  14. Generation of binary sequences for cryptographic applications

    IEEE Annual International Carnahan Conference on Security Technology, Proceedings

  15. Hardware implementation using DSP's of the neurocontrol of a wheelchair

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

  16. Implementation of hybrid context based value predictors using value sequence classification

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

  17. Implementing Eden - Or: Dreams become reality?

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

  18. Inner ear hair cell parametrizable implementation

    Midwest Symposium on Circuits and Systems

  19. Kernel scheduling in reconfigurable computing

    Proceedings -Design, Automation and Test in Europe, DATE

  20. La consideración de cuestiones medioambientales en la auditoría de estados financieros (IAPS 1010)

    Desarrollo del mercado interior de los servicios de auditoría en España