Informática

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