Tesis Licenciatura

Trabajo de Grado. Andrés Bordese y Tomás Hayes

El miércoles 17 de diciembre de 2014 a las 18:00 hs. en el auditorio de la FaMAF, Andrés Bordese y Tomás Hayes defenderán su trabajo de grado para obtener el título de Licenciado en Ciencias de la Computación.

A continuación pueden encontrar el título y resumen del trabajo de grado.

Título: PEF (Python Error Finder): Una herramienta para la detección de errores en Python
Alumnoa: Andrés Bordese y Tomás Hayes
Director: Damián Barsotti

Trabajo de Grado - Gastón Ingaramo y Matías Tealdi

El martes 17 de diciembre de 2013 a las 10:00 hs. en el auditorio de la FaMAF, Matías Tealdi y Gastón Ingaramo defenderán sus respectivos trabajos de grado.

Ambos trabajos implementan versiones paralelizadas masivamente sobre GPGPU de los algoritmos numéricos Jacobi y Gauss-Seidel que se ejecutan en el back-end de la herramienta de verificación PRISM.

Debajo pueden encontrar los resúmenes de los respectivos trabajos.

Trabajo de grado - Eric A. Destefanis

Trabajo final: Semánticas de Procesos para Sistemas Interactivos
Autor: Eric Destefanis
Directores: Matias David Lee, Pedro D'Argenio.

Resumen:

Un sistema interactivo es un sistema dónde coexisten dos tipos de eventos: los que se ejecutan en el entorno del sistema y producen alguna reacción en el sistema; los que ejecuta el sistema y producen una reacción en el entorno.

Trabajo de Grado - Raúl E. Monti

Alumno: Raúl E. Monti
Título: Falluto2.0: Un Model Checker para la verificación automática de sistemas tolerantes a fallas
Fecha: Lunes 11 de marzo de 2013 a las 14:30 hs. Auditorio FaMAF.

Resumen:

Subscribe to Tesis Licenciatura
Powered by Drupal