Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Title

Now showing items 150-155 of 155

    • Verificación de lógicas modales dinámicas en Coq 

      Trucco, Francisco Carlos (2019-03)
      Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...

    • Verificación en tiempo de ejecución con Streams 

      Romero, Santiago Gabriel (2010)
      La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ...

    • 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 ...

    • Verificación formal de protocolos distribuidos 

      Naser Pastoriza, Alejandro José (2019)
      En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...

    • Visión artificial para el reconocimiento automático, en tiempo real, de líneas urbanas de autobuses 

      Maina, Hernán Javier (2019)
      En el presente trabajo, se aborda el problema de la detección y el reconocimiento de números de líneas de autobuses del transporte público de pasajeros de la ciudad de Córdoba, empleando imágenes obtenidas mediante ...

    • Watershed topológico concurrente 

      Montenegro, Damian (2015-05)
      La Transformación Watershed Topológico es un procedimiento de la morfología matemática, basado en la popular Transformación Watershed, cuyo fin es la segmentación de una imagen. Si bien existen algoritmos secuenciales ...