Ara mostrant els elements 1-3 de 3
Yannuzzi, Marcelo (Data de defensa: 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 (Data de defensa: 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 ...
Peña Basurto, Marco A. (Marco Antonio) (Data de defensa: 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 ...