Título: Ready Abstraction: una heurística para la técnica de síntesis On-The-Fly de directores Non-Blocking
Director: Sebastián Uchitel
Jurados: Victor Braberman y Hernán Gagliardi

Resumen:
El algoritmo OTF-DCS es una técnica de síntesis de directores Non-Blocking
para sistemas de eventos discretos expresados como composiciones paralelas de
varios componentes. La eficiencia de OTF-DCS está directamente ligada a las
recomendaciones que una heurística complementaria le provee durante su
ejecución. La «Ready Abstraction» es una de estas heurísticas. Esta heurística
estima distancias a estados marcados del sistema, y aprovecha su expresión
modular para reducir el espacio de búsqueda y obtener estimaciones rápidas.
Esta tesis presenta una revisión completa de la «Ready Abstraction», que incluye
múltiples correcciones, una completa reformulación para mayor claridad, y
cambios adicionales que mejoran su rendimiento de forma significativa.