Aportaciones congreso (12) Publicaciones en las que ha participado algún/a investigador/a

1994

  1. Ac-superposition with constraints: No AC-unifiers needed

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

  2. Application of TINA-C architecture to management services

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

  3. Application of artificial neural networks to the robot path planning problem

    Applications of Artificial Intelligence in Engineering

  4. Combining lazy narrowing with disequality constraints

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

  5. Compiling rewriting onto SIMD and MIMD/SIMD machines

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

  6. Especificaciones de alto nivel usando VHDL

    Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria

  7. Integración del análisis y mejora de la testabilidad en una herramienta de SAN

    Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria

  8. Introducing fairness in CSP systems specified with state variables

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

  9. Minimización de área de circuitos lógicos multinivel utilizando algoritmos genéticos

    Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria

  10. NUMERICAL SIMULATIONS AND PARALLEL IMPLEMENTATION OF SOME NONLINEAR SCHRODINGER SYSTEMS

    NONLINEAR COHERENT STRUCTURES IN PHYSICS AND BIOLOGY

  11. Un método de estimación de área en síntesis de alto nivel

    Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria

  12. Un método para optimización de área de circuitos lógicos multinivel

    Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria