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 [...]