BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240911T080000
DTEND;TZID=America/Sao_Paulo:20240911T170000
DTSTAMP:20260405T070039
CREATED:20240911T150525Z
LAST-MODIFIED:20240911T150525Z
UID:9403-1726041600-1726074000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Pablo Lebón
DESCRIPTION:Título: Algoritmos basados en programación lineal entera para el Survivable Routing and Spectrum Assignment Problem \nDirector: Javier Marenco \nJurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala \nResumen: \nLas redes de fibra óptica utilizan la luz\, transportada por un cable\, como un medio de comunicación entre dos nodos de la red. En respuesta al crecimiento sostenido del tráfico en este tipo de redes\, en los últimos años se ha propuesto una nueva generación de redes de fibra óptica\, llamada flexgrid elastic optical networks (EONs) con el objetivo de mejorar la eficiencia en el uso del espectro electromagnético y aumentar así la capacidad de las redes. \nEn las EONs\, el espectro de frecuencias de una fibra óptica se divide en slots de frecuencias relativamente pequeños\, cada uno con un ancho de banda fijo. Se puede utilizar cualquier secuencia de slots consecutivos para formar un canal\, que a su vez puede ser ruteado por la red para crear lo que se conoce como un lightpath. \nDada la estructura de una red y un conjunto de demandas\, el routing and spectrum assignment (RSA) problem consiste en establecer los lightpaths para un conjunto de demandas de tráfico\, cada una de las cuales está expresada en términos de un nodo de origen\, un nodo de destino y una cantidad de slots. Dado que cada lightpath está determinado por una ruta y un canal\, el RSA consiste en encontrar una ruta y asignar un intervalo de slots para cada demanda. \nEl survivable RSA with path protection es una variante de RSA\, que corresponde a solicitar dos lightpaths para cada demanda: un camino titular y un camino de backup\, y ambos deben respetar las restricciones de RSA. Este problema es NP-hard y ha recibido atención por parte de la comunidad especializada en los últimos años. \nEn este trabajo se proponen distintos modelos de programación lineal entera para este problema\, y se estudia su performance en la práctica sobre topologías reales. Se presentan además heurísticas para optimizar los modelos\, buscando acelerar la obtención de soluciones factibles iniciales. Notando que el problema se puede descomponer en una fase de ruteo y una fase de asignación\, se estudian esquemas de descomposición basados en la descomposición combinatoria de Benders para obtener soluciones a estos modelos mucho más rápidamente.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-pablo-lebon/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240911T160000
DTEND;TZID=America/Sao_Paulo:20240911T170000
DTSTAMP:20260405T070039
CREATED:20240909T143850Z
LAST-MODIFIED:20240909T143850Z
UID:9392-1726070400-1726074000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Cruz Basso
DESCRIPTION:Título: Automatizando tests en Go con EvoMaster\nDirector: Juan P. Galeotti\nJurados: Diego Garbervetsky\, Hernán Melgratti \nResumen:\nEn este trabajo se introduce un nuevo Driver de EvoMaster\, una herramienta open source para generación automática de testeos impulsada por un algoritmo evolutivo\, para aplicaciones web REST implementadas en el lenguaje de programación Go. Esta herramienta cuenta con dos componentes principales: un Core\, encargado de llevar a cabo el algoritmo de búsqueda denominado MIO que aplica heurísticas para la optimización de testeos maximizando\nla cobertura de líneas y branches sobre el código de la aplicación a testear; y un Driver o controlador\, encargado de alimentar al Core con las métricas necesarias para la evolución del algoritmo. Se describe el diseño e implementación de un controlador exclusivo para Go encargado de la comunicación con el Core bajo un protocolo ya establecido y la instrumentación de código mediante la aplicación de transformaciones sobre el árbol AST del código fuente original y la inyección del mismo al binario final en compilación.\nAdemás\, como parte de este trabajo se extiende el core para soportar la escritura de los tests en lenguaje Go y se provee un paquete de Go para la distribución y testeo del nuevo controlador. Por último\, se reportan y analizan métricas de cobertura de líneas obtenidas a partir de tests generados automáticamente para casos de prueba diferentes\, tanto artificiales y como originales de terceros\, disponibles públicamente en GitHub.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-cruz-basso/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR