Kongressbeiträge (8) Publikationen, an denen Forscher/innen teilgenommen haben

1991

  1. A transputer-based architecture to exploit the restricted-and- parallelism of Prolog

    Melecon

  2. ACCEPTANCE AUTOMATA - A FRAMEWORK FOR SPECIFYING AND VERIFYING TCSP PARALLEL SYSTEMS

    PARLE 91 : PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, VOL 2

  3. Acceptance automata: A framework for specifying and verifying TCSP parallel systems

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

  4. Bounding the design space in hardware allocation

    China 1991 International Conference on Circuits and Systems

  5. Control del diseño en un sistema de síntesis de alto nivel

    Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991

  6. Diseño e implementación de los elementos básicos de un dispositivo lógico programable

    Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991

  7. Familias de operadores asociadas a las ecuaciones de la Magnetohidrodinámica

    Actas del XII C.E.D.Y.A. : (Congreso de Ecuaciones Diferenciales y Aplicaciones) : II Congreso de Matemática Aplicada : septiembre 1991

  8. Un sistema flexible de síntesis de alto nivel

    Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991