Aportacions a congrés (27) Publicacions en què ha participat algun/a investigador/a

1998

  1. A grouping partitioning technique with automatic criterion selection for the Codesign process.

    24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2

  2. A grouping partitioning technique with automatic criterion selection for the codesign process

    Proceedings - 24th EUROMICRO Conference, EURMIC 1998

  3. A macroscopic time and cost estimation model allowing task parallelism and hardware sharing for the codesign partitioning process

    Proceedings -Design, Automation and Test in Europe, DATE

  4. A set of pseudorandom sequences cryptographically equivalent

    Proceedings of the Joint Conference on Information Sciences

  5. A set of pseudorandom sequences cryptographically equivalent

    Proceedings of the Joint Conference on Information Sciences

  6. Correct high-level synthesis: A formal perspective

    Proceedings -Design, Automation and Test in Europe, DATE

  7. DREAM: The distributed Eden abstract machine

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

  8. Declarative mark-up languages as a tool for developing educational hypermedia

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

  9. Embedding multiset constraints into a lazy functional logic language

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

  10. Free variable tableaux for a logic with term declarations

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

  11. Frequency agile CO2-TEA laser based dial-lidar system for range-resolved urban pollution monitoring

    Conference on Lasers and Electro-Optics Europe - Technical Digest

  12. Funciones 2k-distantes: filtros criptográficamente iguales

    XIII Simposium Nacional de la Unión Científica Internacional de Radio: Pamplona 16, 17 y 18 de septiembre de 1998. Libro de actas

  13. Grupos operativos en la enseñanza

    Globalización y trabajo social

  14. Improving control in functional logic program specialization

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

  15. Integration of formal concept analysis in a knowledge-based assistant

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

  16. Managing the usage experience in a library of software components

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

  17. Maude as a metalanguage

    Electronic Notes in Theoretical Computer Science

  18. Metalevel computation in maude

    Electronic Notes in Theoretical Computer Science

  19. Numerical solution for Fokker-Planck equations in accelerators

    PROCEEDINGS OF THE 1997 PARTICLE ACCELERATOR CONFERENCE, VOLS 1-3

  20. Parallel evolutionary optimisation with constraint propagation

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