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:20240531T110000
DTEND;TZID=America/Sao_Paulo:20240531T120000
DTSTAMP:20260425T013142
CREATED:20240527T124316Z
LAST-MODIFIED:20240527T124316Z
UID:9133-1717153200-1717156800@www.dc.uba.ar
SUMMARY:Defenda Tesis Licenciatura Julian Braier
DESCRIPTION:Título: Reducción de Simetrías para la versión modular de Non-blocking\nDirector: Sebastián Uchitel\nJurados: Victor Braberman y Hernán Gagliardi \nResumen:\nEn esta tesis tratamos con el problema de control dirigido con objetivos Safe y Non-blocking\, más precisamente\, con su versión modular. En esta versión\, el input es una especificación representada con varios autómatas\, y se quiere resolver el problema de control en la composición paralela de estos. En la composición\, se genera una explosión exponencial de la cantidad de estados. Observamos que\, en algunas especificaciones\, hay autómatas que son isomorfos entre sí\, lo cual puede causar que la planta compuesta presente simetrías. Se decide explorar si hay alguna posibilidad de mejora\, sacando provecho de estas simetrías para atenuar la explosión de estados. Siguiendo este enfoque\, se propone e implementa un nuevo algoritmo. En los casos en los que estas simetrías se presentan\, este logra una mejor performance que los algoritmos preexistentes.
URL:https://www.dc.uba.ar/event/defenda-tesis-licenciatura-julian-braier/
LOCATION:Aula 1206
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR