Browsing Facultad de Matemática, Astronomía, Física y Computación by Author "Barsotti, Damián"
Now showing items 1-4 of 4
-
Exploración y visualización de redes de músicos
Zapata, Illak (2018)Se presenta la elaboración completa de un sistema de visualización interactiva de redes de músicos con el fin de comunicar relaciones y afinidades entre los mismos, sumado a sus datos biográficos y producción artística. ... -
Implementación eficiente de construcciones de alto nivel para la programación concurrente
Barsotti, Damián (2011)El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT ... -
PEF: Python Error Finder
Bordese, Andrés Matías; Hayes, Tomás (2014-12)La verificación del correcto funcionamiento de los sistemas es uno de los aspectos más importante del desarrollo de software, y a su vez, uno de los más costosos de llevar a cabo. El testing tradicional y la verificación ... -
Verificación formal de código binario
Arch, David Daniel (2015)Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ...