Search
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 ...