Reducción del desaprovechamiento de hardware en la síntesis de alto nivel de especificaciones heterogéneas
Tesis doctoral de M. Carmen Molina Prego La síntesis de alto nivel (san) parte de una descripción conductual de un […]
Tesis doctoral de Mendias Cuadros José Manuel
Información academica Mendias Cuadros José Manuel. Tesis donde Mendias Cuadros José Manuel ha sido autor, director o parte del tribunal.
Optimización del uso compartido de recursos durante la síntesis conductual de sistemas con modelo de ejecución condicional
Tesis doctoral de Olga Peñalba Rodríguez El objetivo de la investigación recogida en esta memoria de tesis es la aplicación
Metodología multinivel de refinamiento del subsistema de memoria dinámica para los sistemas empotrados multimedia de altas prestaciones
Tesis doctoral de David Atienza Alonso El objetivo de la investigación aquí propuesta es la creación de una metodología completa
Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos.
Tesis doctoral de Mendias Cuadros José Manuel El objetivo de esta investigación es, por un lado, desarrollar las bases teóricas