Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Monitor"
Now showing items 1-1 of 1
-
Implementación eficiente de construcciones de alto nivel para la programación concurrente
(2011)El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT ...