Tesinas

Cálculo de Programas con Functores Aplicativos
Germán Andrés Delbianco - 03/12/2010
Modelo y simulación de Redes de Petri con el formalismo DEVS
Taihú A. N. Pire - 19/11/2010
Sobre el papel de la acetilcolina en la memoria operativa
Enrique C. A. Hansen - 12/11/2010
Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado
Pablo D. Coca - 02/09/2010
Un Framework en GPU para representar y renderizar materiales en tiempo real
Rodrigo G. Baravalle - 04/08/2010
Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle
Hernán P. Vanzetto - 18/06/2010
Tokeneer en Fastest: Derivación automática de casos de prueba a partir de la especificación formal de un sistema seguro
Brenda Lieber - 22/12/2009
Almacenamiento, recuperación y ordenamiento de cursos de acuerdo a las características del usuario sobre la plataforma Moodle
Matías Asás - 17/12/2009
Un Sistema Inteligente para Asistir la Búsqueda Personalizada de Objetos de Aprendizaje
Valeria Bibiana Gerling - 16/12/2009
Verificación Estática de Propiedades en Bases de Datos
Damián Soriano - 16/10/2009
Selección dinámica de pivotes que se adaptan a las búsquedas en Espacios Métricos
Mariano Salvetti - 16/09/2009
Hacia una verificación automática de protocolos criptográficos
Guillermo Caminer - 21/05/2009
Preservación de Obligaciones de Prueba en Entornos Híbridos de Verificación
Julián Samborski-Forlese - 12/05/2009
Identificación de estados y detección de fallas en modelos DEVS
Diego Llarrull - 04/05/2009
Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
Juan Manuel Crespo - 20/04/2009
Especificación Formal en Coq del Módulo de Control de Acceso de MIDP 2.0 para Dispositivos Móviles Interactivos
Ramín Roushani Oskui - 20/04/2009
Entrenamiento eficiente de redes neuronales en espacios de alta dimensionalidad
Juan Iriarte - 17/04/2009
Selección de variables en problemas multiclase
Andrés Burgos - 27/03/2009
Verificación formal de desigualdades reales usando programación semidefinida
Eric Javier Biagioli - 26/03/2009
Fastest: Automatizando el testing de software
Pablo Rodríguez Monetti - 23/03/2009

Pages