Yannuzzi, Marcelo (Date of defense: 2007-12-19)
Uno de los problemas más complejos en redes de computadores es el de proporcionar garantías de calidad y confiabilidad a las comunicaciones de datos entre entidades que se encuentran en dominios distintos. ...
Parcerisa Bundó, Joan Manuel (Date of defense: 2004-06-17)
L'objectiu d'aquesta tesi és proposar noves tècniques per al disseny de microarquitectures clúster superescalars eficients. Les microarquitectures clúster particionen el disseny de diversos components ...
Guitart Fernández, Jordi (Date of defense: 2005-11-02)
El disseny del llenguatge Java, que inclou aspectes importants com són la seva portabilitat i neutralitat envers l'arquitectura, les seves capacitats multithreading, la seva familiaritat (degut a la ...
Canal Corretger, Ramon (Date of defense: 2004-06-14)
The scaling of silicon technology has been ongoing for over forty years. We are on the way to commercializing devices having a minimum feature size of one-tenth of a micron. The push for miniaturization ...
García Almiñana, Jordi (Date of defense: 1997-04-16)
Massively Parallel Processor systems provide the required computational power to solve most large scale High Performance Computing applications. Machines with physically distributed memory allow a ...
Fernández Gómez, Manuel (Date of defense: 2005-04-13)
Dos de las limitaciones de rendimiento más importantes en los procesadores de hoy en día provienen de las operaciones de memoria y de las dependencias de control. Para resolver estos problemas, las ...
Peña Basurto, Marco A. (Marco Antonio) (Date of defense: 2003-04-29)
La tesi presenta una nova teoria i una metodologia per a la verificació formal de propietats de seguretat en sistemes temporitzats. El correcte funcionament d'aquests sistemes no només depèn d'un conjunt ...