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:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231201T140000
DTEND;TZID=America/Sao_Paulo:20231201T150000
DTSTAMP:20260406T140628
CREATED:20231127T171435Z
LAST-MODIFIED:20231128T124821Z
UID:8791-1701439200-1701442800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nico Pazos
DESCRIPTION:Título: Ready Abstraction: una heurística para la técnica de síntesis On-The-Fly de directores Non-Blocking\nDirector: Sebastián Uchitel\nJurados: Victor Braberman y Hernán Gagliardi \nResumen:\nEl algoritmo OTF-DCS es una técnica de síntesis de directores Non-Blocking\npara sistemas de eventos discretos expresados como composiciones paralelas de\nvarios componentes. La eficiencia de OTF-DCS está directamente ligada a las\nrecomendaciones que una heurística complementaria le provee durante su\nejecución. La «Ready Abstraction» es una de estas heurísticas. Esta heurística\nestima distancias a estados marcados del sistema\, y aprovecha su expresión\nmodular para reducir el espacio de búsqueda y obtener estimaciones rápidas.\nEsta tesis presenta una revisión completa de la «Ready Abstraction»\, que incluye\nmúltiples correcciones\, una completa reformulación para mayor claridad\, y\ncambios adicionales que mejoran su rendimiento de forma significativa.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nico-pazos/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR