Centre/Institute
Instituto de Tecnología del Conocimiento (ITC)
Publications (6) Publications in which a researcher has participated
1991
-
A hardware allocator guided by cost functions
Microprocessing and Microprogramming, Vol. 32, Núm. 1-5, pp. 185-192
-
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
-
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
-
From petri nets to linear logic
Mathematical Structures in Computer Science, Vol. 1, Núm. 1, pp. 69-101
-
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