Facultad
Informática
Aportaciones congreso (8) Publicaciones en las que ha participado algún/a investigador/a
1991
-
A transputer-based architecture to exploit the restricted-and- parallelism of Prolog
Melecon
-
ACCEPTANCE AUTOMATA - A FRAMEWORK FOR SPECIFYING AND VERIFYING TCSP PARALLEL SYSTEMS
PARLE 91 : PARALLEL ARCHITECTURES AND LANGUAGES EUROPE, VOL 2
-
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)
-
Bounding the design space in hardware allocation
China 1991 International Conference on Circuits and Systems
-
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
-
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
-
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
-
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